Full-Time
Silicon Logic Formal Verification
Full Time
Posted on 8/19/2025
Rivos
201-500 employees
Custom RISC-V server hardware for enterprises
No salary listed
Bengaluru, Karnataka, India
Hybrid
 Hardware Engineering (1) |
|---|
- A 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.
- 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.
- 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 designs and manufactures custom high-performance server hardware based on the RISC-V open ISA for data centers and enterprise IT. Its products are purpose-built to deliver strong compute performance, energy efficiency, and security for demanding workloads, through hardware tailored to specific tasks rather than off-the-shelf designs. The company differentiates itself by leveraging the flexibility and cost advantages of RISC-V to create bespoke servers that meet enterprise needs, offering close collaboration and support to ensure seamless integration in large-scale infrastructure. Its goal is to serve cloud providers, data centers, and other large IT operators with tailored, dependable server solutions that optimize performance and total cost of ownership.
Company Size
201-500
Company Stage
Series A
Total Funding
$250M
Headquarters
Santa Clara, California
Founded
2021
Simplify's Take
What believers are saying
- Meta's $2B acquisition in September 2025 validates RISC-V for AI chips.
- Rivos raised $250M in April 2024 to scale AI inference GPUs.
- Canonical partnership enables Ubuntu on Rivos RISC-V data centers.
What critics are saying
- Meta redirects Rivos roadmap to internal AI by 2026, halting enterprise sales.
- Nvidia's 20-30% H100 price cuts in 2025 lock in CUDA ecosystems.
- RISC-V fragmentation demands proprietary optimizations, blocking portability.
What makes Rivos unique
- Rivos builds high-performance RISC-V SoCs with proprietary GPGPU accelerators.
- Rivos delivers CUDA-compatible software stacks for seamless AI transitions.
- Rivos taped out 3.1 GHz RISC-V processor for data center efficiency.
Help us improve and share your feedback! Did you find this helpful?
Benefits
Flexible Work Hours
Growth & Insights and Company News
6 month growth
↑ 50%1 year growth
↑ 53%2 year growth
↑ 51%Terms of the deal have not been disclosed
Meta Platforms (NASDAQ: META) has acquired chip startup Rivos to enhance its AI capabilities and reduce reliance on external suppliers. This move, announced on September 30, 2025, aims to integrate Rivos's RISC-V-based processors and GPUs, accelerating Meta's custom AI chip development. The acquisition reflects a broader trend of tech giants pursuing vertical integration in AI hardware, potentially impacting companies like Nvidia. Rivos was previously seeking funding at a $2 billion valuation.
Meta is acquiring chip startup Rivos Inc. for around $2 billion to enhance its AI hardware capabilities and reduce reliance on Nvidia GPUs. Rivos, known for its RISC-V–based AI GPU, raised $250 million in April 2024. This acquisition aligns with Meta's strategy to develop in-house AI chips by 2026, aiming to cut AI compute costs. The move is part of a broader trend among tech giants to control AI chip development, challenging Nvidia's market dominance.
U.S.-based semiconductor startup Rivos is aiming to raise between $400 million and $500 million to develop advanced graphics processing units (GPUs) designed to compete directly with NVIDIA in the fast-growing artificial intelligence (AI) chip market.
Santa Clara, California-based Rivos is reportedly developing a chip optimized for artificial intelligence inference.