Silicon Formal Verification - Intern
(US) Santa Clara CA , Austin TX, Portland OR, Fort Collins CO
Engineering – Silicon Engineering /
Intern /
On-site
Positions are open for full-time and co-op/internship roles in the areas of formal verification of CPU, Fabric, and Accelerator design.
Responsibilities
- As a Formal Verification Intern, you will be involved in the formal verification of the architecture and microarchitecture of a high-performance RISC-V core, a coherent fabric, and an accelerator design. In this position, you will:
- Prove functional and security properties of the design, find design bugs
- Develop reusable and scalable proof techniques.
Requirements
- Experience with model checking/interactive theorem provers
- Coursework or experience in formal methods
- Knowledge of declarative programming language
Education and Experience
PhD, Master’s Degree, or Bachelor’s Degree in a technical subject area.