Principal Formal Verification Engineer

Our client, 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 organization.

Key responsibilities:

• 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

Requirements:

• 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

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

Please contact Jordan Browne for more information.