Internship
Silicon Formal Verification – Intern
Confirmed live in the last 24 hours
Rivos
201-500 employees
Develops custom RISC-V server solutions
Austin, TX, USA + 3 more
More locations: Santa Clara, CA, USA | Fort Collins, CO, USA | Portland, OR, USA
All locations require onsite presence.
- Understanding of formally specifying and analyzing temporal assertion properties.
- Experience with model checking/interactive theorem provers.
- PhD, Master’s Degree, or Bachelor’s Degree in a technical subject area.
- As a Formal Verification Engineer, 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:
- 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 develops high-performance and power-efficient server solutions using RISC-V, an open-source hardware instruction set architecture. Their custom hardware is designed to meet the specific needs of enterprise clients, including data centers and cloud service providers, who require reliable systems for extensive data processing and storage. Rivos stands out from competitors by utilizing RISC-V technology, which allows for greater flexibility and customization compared to traditional proprietary solutions. The company's goal is to provide tailored and cost-effective server products while also offering support and consulting services to ensure optimal integration within clients' systems.
Company Stage
Series A
Total Funding
$243.2M
Headquarters
Santa Clara, California
Founded
2021
6 month growth
↑ 11%1 year growth
↑ 14%2 year growth
↑ 14%
Simplify's Take
What believers are saying
- RISC-V's growing traction in AI expands Rivos' market beyond traditional servers.
- Increased demand for power-efficient solutions aligns with Rivos' technology offerings.
- Partnerships with cloud providers offer growth opportunities for Rivos.
What critics are saying
- Legal challenges from established chip manufacturers could impact Rivos' operations.
- Rapid tech advancements in AI may outpace Rivos' development capabilities.
- Competitive AI chip market could pressure Rivos' pricing and margins.
What makes Rivos unique
- Rivos leverages RISC-V for customizable, open-source server solutions.
- Focus on power-efficient, high-performance computing sets Rivos apart in the server market.
- Rivos targets enterprise clients with tailored hardware for specific workloads.
Help us improve and share your feedback! Did you find this helpful?