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
Onsite position; candidates must work in one of the specified locations.
You match the following Rivos's candidate preferences
Employers are more likely to interview you if you match these preferences:
- 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.
- Involved in the formal verification of the architecture and microarchitecture of a high-performance RISC-V core, a coherent fabric, and an accelerator design.
- 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, cost-effective server products and related services that enhance performance and integration within clients' IT infrastructures.
Company Size
201-500
Company Stage
Series A
Total Funding
$243.2M
Headquarters
Santa Clara, California
Founded
2021
Simplify's Take
What believers are saying
- Growing interest in RISC-V boosts Rivos' market potential in AI and data analytics.
- Energy-efficient computing trends align with Rivos' power-efficient server solutions.
- Rivos' recent $250M funding supports expansion into AI and data analytics markets.
What critics are saying
- Potential legal challenges from established chip manufacturers like Intel and AMD.
- Pressure from investors for quick returns may affect long-term strategies.
- Geopolitical risks from international expansion, such as opening an office in Taiwan.
What makes Rivos unique
- Rivos leverages RISC-V for customizable, open-source server solutions.
- Focus on power-efficient, high-performance servers sets Rivos apart in the data center market.
- Rivos' development of an open software stack enhances its competitive edge.
Help us improve and share your feedback! Did you find this helpful?
Benefits
Flexible Work Hours
Growth & Insights and Company News
6 month growth
↑ 0%1 year growth
↓ -1%2 year growth
↓ -1%Rivos opened up another office in Taiwan last year.
Rivos, a startup that designs RISC-V-based processors, recently raised over 235 million euros ($250 million) to develop its own AI accelerator.
Rivos, a RISC-V accelerated platform company targeting data analytics and Generative AI, announced it has raised more than $250M in its oversubscribed
Additionally, Rivos is working on an open software stack to support development of its RISC-V based compute platform.
Startup Rivos raises $250 million to develop RISC-V AI chips.