AI-Focused Formal Verification Engineer
Listed on 2026-10-06
-
Engineering
Test Engineer
Cognichip in Redwood City seeks a Formal Verification Engineer - AI to join our verification team. We focus on proving that complex systems behave exactly as specified, with no edge cases, and welcome candidates from formal methods, mathematics, physics, or other rigorous disciplines.
You will translate specifications into formal properties, develop verification environments, and contribute to tooling. We offer mentorship, a structured ramp-up, and a culture that values depth and
The AI-Focused Formal Verification Engineer role at Cognichip is now open for applications in Redwood City, CA, United States.
We have an opening for a AI-Focused Formal Verification Engineer in Redwood City, CA, United States within IT & Technology, Engineering.
This role, AI-Focused Formal Verification Engineer at Cognichip, could be your next move.
Are you ready to take on the AI-Focused Formal Verification Engineer role at Cognichip?
(If this job is in fact in your jurisdiction, then you may be using a Proxy or VPN to access this site, and to progress further, you should change your connectivity to another mobile device or PC).