RISC-V Formal Verification Engineer
1 week ago
At Linux Foundation, we are seeking a highly skilled RISC-V Formal Model Developer to join our team. As a key member of our team, you will be responsible for developing the Sail formal model support for the RISC-V ISA extensions and augmenting the Sail infrastructure to support formal model development.
Key Responsibilities:- Develop Sail Formal Model code for extensions and upstream to the RISC-V Sail repository
- Develop assembly language tests to demonstrate proper Sail implementation of the extension and/or feature as compared to the text of the specification
- Enhance Sail infrastructure (e.g. simulator generator functionality) to support the RISC-V Formal Model
- Work with the RISC-V Sail ecosystem including: the RISC-V Sail maintainer, Cambridge Sail staff, RISC-V Architectural Tests efforts, RISC-V Task Groups, and RISC-V Development Partners to develop the RISC-V Sail Formal Model
- Work with the RISC-V Sail repository maintainer to provide priorities and oversight of RISC-V Sail development throughout the ecosystem
- Maintain the RISC-V Sail Formal Model community including mailing lists, informational meetings, and developer training
- Communicate status to the RISC-V Task Group Chairs and inform the greater RISC-V community of updates as appropriate
- 5+ years software or hardware development experience
- BS/BA in a Electrical or Computer Engineering or equivalent years of experience
- Understanding of computer architecture, privilege levels, virtual memory, formal verification, and design verification
- Experience with strongly typed programming languages, such as Rust, Haskell, OCaml, F#, Scala
- Experience developing open source code
- History of successful completion and maintenance of software projects
- Experience as a hardware or software products developer with knowledge of assembly language, HDL code, and RTL abstractions
- Experience with a scripting language (preferably Python) is required
- Experience with SW development tools and processes (assemblers, compilers, revision control systems). Experience with git and github is required
- Experience with measuring coverage (functional and code) of a software application
- The ability to respond and adapt to a highly interrupt driven environment while maintaining focus on long term objectives
- Effectively manages time, sets goals, and effectively communicates status in a remote team environment
- High level of written and verbal skills, must be concise, articulate and understandable
- High level of attention to detail, content, and form
- 10+ years software development experience
- 5+ years developing open source code
- Experience as an open source code base maintainer
- Experience with the Sail programming language (the ISA specification language)
- Advanced degree in CS / ECE / EE or equivalent
- Understanding of compilers
- Understanding of modern, automated, constrained random testing
- Understanding of modern verification tools like Z3
- Proficient with GitHub, Google/MSFT Suites, and Atlassian tools
- Experience with assertion-based verification methodologies (SystemVerilog Assertions etc.)
-
RISC-V Formal Verification Engineer
2 weeks ago
San Francisco, California, United States RISC-V Full timeRISC-V Formal Verification EngineerRISC-V International is seeking a skilled Formal Verification Engineer to join our team. As a key member of our Sail development team, you will be responsible for developing and maintaining the RISC-V Formal Model codebase.Key Responsibilities:Develop Sail Formal Model code for RISC-V ISA extensions and upstream to the...
-
San Francisco, California, United States RISC-V Full timeRISC-V Sail DeveloperRISC-V International is seeking a skilled Sail developer to contribute to the development of the RISC-V Formal Model codebase. The successful candidate will work closely with the RISC-V Sail maintainer, Cambridge Sail staff, and other stakeholders to develop and maintain the Sail formal model support for RISC-V ISA extensions.Key...
-
Formal Verification Engineer
23 hours ago
San Francisco, California, United States RISC-V Full timeRISC-V Formal Model DeveloperRISC-V International is seeking a skilled Formal Model Developer to join our team. As a key member of our organization, you will be responsible for developing and maintaining the RISC-V Formal Model codebase.Your primary focus will be on developing Sail Formal Model code for RISC-V ISA extensions and collaborating with the RISC-V...
-
Formal Verification Engineer
4 weeks ago
San Francisco, California, United States RISC-V Full timeJob Title: Formal Verification EngineerWe are seeking a highly skilled Formal Verification Engineer to join our team at RISC-V International. As a key member of our team, you will be responsible for developing and maintaining the RISC-V Formal Model codebase using the Sail programming language.Job DescriptionRISC-V International is a non-profit organization...
-
Formal Verification Engineer
3 weeks ago
San Francisco, California, United States RISC-V Full timeJob Title: Formal Verification EngineerWe are seeking a highly skilled Formal Verification Engineer to join our team at RISC-V International. As a key member of our team, you will be responsible for developing and maintaining the RISC-V Formal Model codebase using the Sail programming language.Job DescriptionRISC-V International is a non-profit organization...
-
RISC-V Formal Verification Engineer
1 week ago
San Francisco, California, United States Linux Foundation Full timeRISC-V Formal Verification EngineerWe are seeking a highly skilled RISC-V Formal Verification Engineer to join our team at RISC-V International. As a key member of our team, you will be responsible for developing and maintaining the RISC-V Sail formal model codebase.The successful candidate will have a strong background in computer architecture, formal...
-
RISC-V Formal Verification Engineer
1 week ago
San Francisco, California, United States Linux Foundation Full timeRISC-V Formal Verification and Sail Development OpportunityRISC-V International, a non-profit organization, is seeking a skilled Sail Developer to join their team. As a Sail Developer, you will play a crucial role in developing the RISC-V Formal Model codebase and augmenting the Sail infrastructure to support formal model development.Key...
-
RISC-V Formal Verification Engineer
4 weeks ago
San Francisco, California, United States Linux Foundation Full timeRISC-V Formal Verification and Sail Development OpportunityRISC-V International is seeking a skilled Sail Developer to join our team and contribute to the development of the RISC-V Formal Model codebase.About the RoleThis is a full-time contract opportunity that requires a strong background in software or hardware development, with a focus on formal...
-
RISC-V Formal Verification Engineer
3 weeks ago
San Francisco, California, United States Linux Foundation Full timeRISC-V Formal Model DeveloperWe are seeking a highly skilled RISC-V Formal Model Developer to join our team at Linux Foundation. As a key member of our team, you will be responsible for developing and maintaining the RISC-V Formal Model codebase, working closely with the RISC-V Sail maintainer, Cambridge Sail staff, and other stakeholders to ensure the...
-
RISC-V Formal Verification Engineer
2 weeks ago
San Francisco, California, United States Linux Foundation Full timeRISC-V Formal Verification and Sail Development OpportunityWe are seeking a highly skilled RISC-V Formal Verification and Sail Development Expert to join our team at RISC-V International. As a key member of our team, you will be responsible for developing the Sail formal model support for the RISC-V ISA extensions and augmenting the Sail infrastructure to...
-
RISC-V Formal Verification Engineer
3 weeks ago
San Francisco, California, United States Linux Foundation Full timeRISC-V Formal Model DeveloperJoin the Linux Foundation and contribute to the development of the RISC-V Formal Model codebase. As a RISC-V Formal Model Developer, you will be responsible for developing the Sail formal model support for the RISC-V ISA extensions and augmenting the Sail infrastructure to support formal model development.Key...
-
RISC-V Formal Verification Engineer
3 weeks ago
San Francisco, California, United States Linux Foundation Full timeRISC-V Formal Verification and Sail Development ExpertRISC-V International is seeking a highly skilled Formal Verification and Sail Development Expert to join our team. As a key member of our organization, you will be responsible for developing the Sail formal model support for RISC-V ISA extensions and augmenting the Sail infrastructure to support formal...
-
RISC-V Formal Verification Engineer
3 weeks ago
San Francisco, California, United States Linux Foundation Full timeRISC-V Formal Model DeveloperLinux Foundation is seeking a highly skilled RISC-V Formal Model Developer to join our team. As a key member of our team, you will be responsible for developing the Sail formal model support for the RISC-V ISA extensions and augmenting the Sail infrastructure to support formal model development.Key Responsibilities:Develop Sail...
-
Senior Technical Product Marketing Manager
2 weeks ago
San Francisco, California, United States RISC-V Full timeRISC-V Senior Technical Product Marketing ManagerRISC-V International is seeking a highly skilled Senior Technical Product Marketing Manager to join our team. As a key member of our marketing team, you will be responsible for developing and executing marketing strategies to promote RISC-V and its ecosystem.Key Responsibilities:Develop and execute...
-
RISC-V Content Marketing Specialist
2 weeks ago
San Francisco, California, United States Linux Foundation Full timeRISC-V Content Marketing Manager Job DescriptionRISC-V International is seeking a highly skilled Content Marketing Manager to join our team. As a key member of our marketing team, you will be responsible for developing and executing a comprehensive content marketing strategy to promote RISC-V and its ecosystem.Key Responsibilities:Develop and implement a...
-
Design Verification Manager
3 weeks ago
San Jose, California, United States MIPS Technologies Full timeDesign Verification ManagerWe are seeking an experienced Design Verification Manager to join our team at MIPS Technologies.This role requires a strong background in CPU verification using industry-standard functional verification methodologies, formal verification, constrained random generators, and reference model-based checkers.The ideal candidate will...
-
Design Verification Manager
2 weeks ago
San Jose, California, United States MIPS Technologies Full timeJob Title: Design Verification ManagerWe are seeking an experienced Design Verification Manager to join our team at MIPS Technologies.This role requires a strong background in CPU verification using industry-standard functional verification methodologies, formal verification, constrained random generators, and reference model-based checkers.The ideal...
-
Senior Design Verification Engineer
2 days ago
San Jose, California, United States Oho Group Ltd Full timeDesign Verification Engineer OpportunityWe are seeking a talented Design Verification Engineer with expertise in Ethernet to join our team at Oho Group Ltd. Our company is dedicated to revolutionizing the industry with innovative RISC-V based computing platforms.Key Responsibilities:Collaborate with a global team of passionate engineers to design and develop...
-
ASIC Design Verification Specialist
2 weeks ago
San Francisco, California, United States IC Resources Full timeSenior Verification Engineer for AI IntegrationIC Resources is seeking a highly skilled Senior Verification Engineer to join our team in Greece. As a key member of our AI integration team, you will play a crucial role in the planning and verification of RISC-V GPU designs.As a Senior Verification Engineer, you will be responsible for verifying complex...
-
Senior Design Verification Engineer
4 weeks ago
San Jose, California, United States Oho Group Ltd Full timeOho Group Ltd is seeking a talented Design Verification Engineer to join our team. We're a well-funded start-up revolutionizing the industry with RISC-V based computing platforms. As a key member of our team, you'll collaborate with passionate engineers to create innovative designs that push the boundaries of performance, energy efficiency, and...