Formal Verification Jobs

Lead the digital front-end verification vertical at ChipAgents, driving AI-driven RCA and coverage products from problem definition to sales.

Join CertiK as a Solidity Compiler Frontend Engineer to develop and optimize blockchain compiler infrastructure and formal verification tools.

Join Cogent Security as an AI Research Engineer to innovate in automated reasoning and AI-driven code analysis for cybersecurity.

Drive high-impact research in automated reasoning and AI-driven security at a rapidly growing applied AI lab.

Join a small team to build a stablecoin clearinghouse as a Senior Platform Engineer focused on correctness and efficiency.