Rivos
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.
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.