Bringing mathematical rigour in the world of hardware – a journey into Formal Verification

Bringing mathematical rigour in the world of hardware – a journey into Formal Verification

This interview presents the first steps of Robert Simpson, a Maths graduate who found an unexpected, but natural home in Formal Verification (FV) at Axiomise. Drawn by a desire to apply rigorous logic to real-world problems, he shares how abstract mathematical thinking translates into ensuring hardware correctness at the silicon level. From the excitement of spotting elusive bugs missed by traditional methods to collaborating with experts on complex designs, Robert reflects on the mindset, surprises, and rewards of working in a field that blends philosophy, engineering, and detective work—revealing how precise reasoning can have a tangible impact on the technology that shapes our world. Read more

From Academic Researcher to Biotech Founder: Building a Career Beyond the Lab

Dr Marloes Tijssen shares her journey from academic research to co-founding New Platelet Company, with a clear mission: to manufacture blood platelets and help address the critical gap in donor supply. From PhD research and postdoctoral fellowships to coaching scientists and launching startups, her story is a candid reflection on career reinvention, the power of transferable skills, and the value of networking and support within the Cambridge innovation ecosystem. Read more

Concrete Solutions: Pioneering Sustainability in Engineering Liz’s Journey from Cambridge PhD to Founder of a Climate-Tech Startup

Dr. Liz Zijing Li shares her journey from academic research at Cambridge to founding Mimicrete, a startup transforming concrete with self-healing technology. She reflects on sustainability, leadership, and innovation in infrastructure.

Read more

The Accidental Technical Architect: Veronika on her squiggly career

Veronika Suhaj is 33 and currently works for Salesforce, a CRM technology company as a pre-sales Technical Architect. She started her career after graduating from University of Cambridge with a Master’s degree in Applied Mathematics and has worked for several IT consultancies such as PwC, PolSource or Persistent Systems until her career and network led her to Salesforce. Read more

Subscribe By Email

Get every new post delivered right to your inbox.

This form is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.