AI-Focused Formal Verification Engineer

Cognichip; Redwood City (CA); On-site; USD 150,000 - 210,000; Full time

Benefits offered by this job

Mentorship program

Structured ramp-up

Culture of depth

Job summary

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

Qualifications

• BS, MS, or Ph.D. in Computer Science, Mathematics, Physics, or another rigorous quantitative field.
• Demonstrated strength in mathematical reasoning — through formal verification experience, research, competition mathematics, or comparable evidence of rigor.
• Solid programming skills (e.g., Python, C++) and the drive to rapidly master new tools and domains.

Responsibilities

• Develop and apply formal verification environments for complex systems.
• Translate specifications and design documents into rigorous formal properties.
• Perform property checking, model checking, and automated proof development; debug and root-cause counterexamples.
• Improve verification coverage, methodology, and reusability across projects.
• Develop scripts and utilities to support verification productivity.

Skills

Mathematical reasoning

Python

C++

Education

BS/MS/PhD in Computer Science/Mathematics/Physics or equivalent

Tools

Python

C++

Job description

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