top of page
Senior Formal Verification Engineer
​Location: Portland, OR or Austin, TX
 
Type: Full-Time
​​

​We are seeking an experienced Senior Formal Verification Engineer to join our team. In this role, you will leverage advanced formal verification techniques to ensure the correctness and performance of high-end RISC-V cores. You will collaborate closely with architects and RTL engineers, employing cutting-edge formal tools and methodologies to build innovative verification solutions. This position offers a unique opportunity to shape the development of high-quality CPU designs and optimize the CPU verification process through rigorous formal analysis and bug detection methods.

​​
Responsibilities

  • Engage in formal verification of architecture and microarchitecture for high-performance RISC-V core.

  • Collaborate with architects and RTL design engineers to identify, specify, and verify components suitable for formal analysis.

  • Use formal tools and methodologies focused on ensuring the correctness of arithmetic, logical, and data transfer operations.

  • Develop formal abstract models to verify system-level properties such as deadlock freedom and non-starvation.

  • Create innovative verification flows, integrating formal techniques with simulation-based methods for effective bug detection.

  • Build reusable and scalable proof techniques to enhance the formal verification process.

​​

Qualifications & Skills:​

  • Education:

    • Bachelor’s (BS) or Master’s (MS) degree in Computer Engineering, Computer Science, Electrical Engineering, or a related field.

  • Experience:

    • Hands-on experience with data path and control path formal techniques.

    • Familiarity with model checking tools for formal verification.

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

    • Exceptional organizational skills and high self-motivation.

    • Proven ability to collaborate effectively with diverse design teams.

​​

What We Offer:

  • Competitive salary and benefits package.

  • Opportunities for professional growth in an innovative startup environment.

  • Collaboration with talented engineers passionate about cutting-edge CPU technologies.

  • A flexible and inclusive work culture based in Portland, OR or Austin, TX.

​

​​​

​​​

​

​

Back to Careers

bottom of page