Silicon Formal Verification - Intern

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