Summary
Positions are open for full-time and co-op/internship roles in the areas of formal verification of CPU, Fabric, and Accelerator design.
Requirements
- Solid understanding of formally specifying and analyzing temporal assertion properties
- Hands-on experience using model checking tools
- Experience with interactive theorem provers is a plus
- Excellent problem-solving skills, along with strong written and verbal communication abilities
- Excellent organizational skills and high self-motivation
- Ability to communicate and work well with different design teams
- PhD, Master’s Degree, or Bachelor’s Degree in a technical subject area
Responsibilities
- Work with architects and RTL design engineers to identify, specify, and verify artifacts amenable to formal analysis
- Prove functional and security properties of the design, find design bugs, and work closely with design teams to deliver high-quality designs
