Principal Formal Verification Engineer

A leading automotive technology company is seeking a Principal Formal Verification Engineer to define and lead formal verification strategies across complex microcontroller platforms. This role provides the opportunity to drive innovation in verification methodologies and influence best practices across the organisation.

• Lead and implement formal verification strategies for IP and SoC designs.
• Establish formal verification as a standard method and guide teams on best practices.
• Mentor engineers and build a formal verification community.
• Explore advanced approaches, including AI-assisted verification and hybrid formal-simulation workflows.

• STEM degree or equivalent technical background.
• Strong expertise in formal verification techniques, engines, and their application to IP, algorithms, and SoCs.
• Demonstrated ability to influence verification practices and promote adoption of formal methods.
• Leadership and collaboration skills to guide cross-functional teams effectively. xcfaprz

This is a unique opportunity to join our client’s team as a Principal Formal Verification Engineer and help shape next-generation automotive platforms.

Tel -

LinkedIn - J-18808-Ljbffr