How does a Mathematics degree lead to a career in Formal Verification?
Robert Simpson shares how a passion for logic and problem-solving took him from Cambridge to Axiomise, where rigorous reasoning helps ensure the correctness of the hardware powering modern technology.




