I joined Axiomise as a formal verification engineer. Excited to see formal verification being applied to industrial-grade designs.