top of page
Principal Formal Verification Engineer
​
Location:  Portland, OR or Austin, TX
 
​Job Description​
​​​​

We are seeking a Principal Formal Verification Engineer to establish and drive our formal verification team. In this role, you will define and execute the formal strategy to validate data path and control path components, collaborating closely with architects, RTL engineers, and verification teams.

This position offers a unique opportunity to build a team from the ground up, define best practices, and influence verification methodologies for next-generation RISC-V processors. You will be responsible for developing scalable and reusable proof techniques, integrating formal methods into our overall verification strategy, and ensuring correctness in key CPU design areas.

​​

Responsibilities
​
  • Establish and lead the formal verification team, developing methodologies for verifying high-performance CPU designs.

  • Define the formal verification strategy for validating data path and control path operations.

  • Collaborate with architects and RTL engineers to identify, specify, and prove key design properties.

  • Develop scalable and reusable formal verification frameworks to ensure correctness, deadlock freedom, and non-starvation.

  • Integrate formal techniques with simulation-based verification for comprehensive coverage.

  • Mentor and guide design and verification engineers in formal verification methodologies and best practices.​

​

Minimum Qualifications:​
​
  • Expertise with model checking tools (such as JasperGold, Questa Formal, Cadence IEV) or theorem proving techniques (such as Coq, ACL2, or HOL).

  • Hands-on experience with data path and control path verification.

  • Strong problem-solving and analytical skills with excellent communication abilities.

​​​​

Preferred Qualifications:​

​​​​

  • Ability to lead a team and define verification methodologies from scratch.

  • Proven track record in formal verification of CPU architectures.

  • Familiarity with the RISC-V specification

  • Bachelor’s degree in Electrical/Computer Engineering, Computer Science, or a related field with 4+ years of experience; OR a Master’s degree with 3+ years of experience; OR a PhD with 1+ years of experience. 

 

 

 

​​​​​​​​

​​

Back to Careers

​

​

bottom of page