Silicon Formal Verification - Intern

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

Education and Experience

PhD, Master's Degree, or Bachelor's Degree in a technical subject area.

We may use artificial intelligence (AI) tools to support parts of the hiring process, such as reviewing applications, analyzing resumes, or assessing responses. These tools assist our recruitment team but do not replace human judgment. Final hiring decisions are ultimately made by humans. If you would like more information about how your data is processed, please contact us.