A Start-up is a pioneering force in the realm of semiconductor design, renowned for its innovative solutions and groundbreaking technologies. As a leading player in the industry, they stand at the forefront of revolutionizing circuit performance and power optimization. With a commitment to pushing the boundaries of what's possible, they offer a dynamic and forward-thinking environment where talented individuals can thrive and make a significant impact.
Join a dynamic team where you'll play a crucial role in verifying the architecture and microarchitecture of a high-performance RISC-V core, coherent fabric, and accelerator design.
Requirements:
- Understanding of temporal assertion properties.
- Experience with model checking tools.
- Bonus: Familiarity with interactive theorem provers.
- Strong problem-solving, communication, and organizational skills.
Responsibilities:
- Collaborate with architects and RTL design engineers.
- Validate functional and security properties.
- Develop formal abstract models.
- Innovate bug detection techniques.
- Create scalable proof methodologies.
Education and Experience:
- Master’s or Bachelor’s Degree with 2 years+ of relevant experience
Apply now as interviews are already being scheduled!
