Full-Time
Silicon Logic Formal Verification
Confirmed live in the last 24 hours
Rivos
201-500 employees
Develops custom high-performance server solutions
Junior, Mid
Santa Clara, CA, USA
This position is hybrid, requiring in-office work.
You match the following Rivos's candidate preferences
Employers are more likely to interview you if you match these preferences:
- 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 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 Stage
Series A
Total Funding
$243.2M
Headquarters
Santa Clara, California
Founded
2021
6 month growth
↑ 1%1 year growth
↓ -1%2 year growth
↓ -1%
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