The Role
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.
Similar Jobs
.jpeg)
Get Personalized Job Insights.
Our AI-powered fit analysis compares your resume with a job listing so you know if your skills & experience align.
Success! Refresh the page to see how your skills align with this role.
The Company
What We Do
Rivos, a high performance RISC-V System Startup targeting integrated system solutions for Enterprise
