Full-Time
Silicon Logic Formal Verification
Full Time
Posted on 4/27/2024
High performance RISC-V computing solutions
Hardware
Senior
Fort Collins, CO, USA
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.
- Develop sound formal abstract models for verifying system-level properties like deadlock freedom and non-starvation using formal methods.
- Develop innovative flows using formal methods in conjunction with simulation-based techniques for effective bug hunting.
- Develop reusable and scalable proof techniques.
Rivos Inc. is ideal for professionals keen on contributing to the frontier of computing technology, specifically within the RISC-V architecture. Emphasizing high-performance systems for the enterprise sector, the company not only offers the opportunity to work on groundbreaking projects but also to grow in a field that demands constant innovation and offers substantial industry impact.
Company Stage
Series A
Total Funding
$370M
Headquarters
Santa Clara, California
Founded
2021
Growth & Insights
Headcount