Join our dynamic verification team as an AI Formal Verification Engineer, where analytical thinkers tackle complex system proofs. If you have a background in mathematics or physics, we want your skills.

We seek exceptional minds who excel in precise reasoning and constructing rigorous arguments. This role is perfect for candidates experienced in formal methods or those from quantitative fields eager to learn high-impact engineering tasks. You will develop verification environments and enhance methodologies while applying your mathematical prowess.

Key Responsibilities: • Develop formal verification environments for sophisticated systems • Translate specifications into rigorous formal properties • Debug and root-cause counterexamples through automated proofs • Enhance verification processes and methodologies • Create scripts to boost verification productivity

Requirements: • BS, MS, or Ph.D. in a quantitative field • Proven strength in mathematical reasoning •...