Current jobs related to RISC-V Formal Verification Engineer - San Francisco, California - Linux Foundation
-
RISC-V Formal Verification Engineer Contractor
4 weeks ago
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
4 weeks 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...
-
RISC-V Formal Model Developer
3 weeks ago
San Francisco, California, United States Linux Foundation Full timeRISC-V Formal Model DeveloperWe are seeking a skilled developer to join our team at RISC-V International, a non-profit organization dedicated to the development and adoption of the RISC-V Instruction Set Architecture (ISA). As a RISC-V Formal Model Developer, you will play a crucial role in the development of the RISC-V Formal Model codebase using the Sail...
-
Senior Staff Design Verification Engineer
3 weeks ago
San Jose, California, United States MIPS Technologies Full timeJob DescriptionWe are seeking an experienced Senior Staff Verification Engineer to join our team at MIPS Technologies.This position involves extensive hands-on experience with CPU verification using industry-standard functional verification methodologies, formal verification, and constrained random generators, and reference model-based checkers.The candidate...
-
Senior Design Verification Engineer
4 weeks 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...
-
San Francisco, California, United States Linux Foundation Full timeRISC-V Senior Technical Product Marketing ManagerJoin the Linux Foundation as a full-time Senior Technical Product Marketing Manager for RISC-V International. This role is dedicated 100% to RISC-V International, with the Linux Foundation providing general management and operational services to enable best-in-class operations and leadership support.Key...
-
Senior ASIC Verification Engineer
4 weeks ago
San Jose, California, United States USA Tech Recruit Full timeUnlock the Future of Autonomous DrivingAre you a seasoned ASIC Verification Engineer looking for a new challenge at a pioneering startup? We're working with a highly funded and expanding company, backed by Bosch, Continental, and BMW, to find a senior ASIC verification engineer to join their team.Key Responsibilities:Ensure the pre-silicon correctness and...
-
Senior ASIC Verification Engineer
4 weeks ago
San Jose, California, United States USA Tech Recruit Full timeJob Title: Senior ASIC Verification EngineerAre you a seasoned ASIC Verification Engineer looking for a new challenge in a highly funded and expanding startup? We are seeking a senior-level ASIC verification engineer to join our team and contribute to cutting-edge projects in autonomous driving and AI.Key Responsibilities:Ensure the pre-silicon correctness...
-
Senior ASIC Verification Engineer
3 weeks ago
San Jose, California, United States European Tech Recruit Full timeWe are seeking a Senior ASIC Verification Engineer to join our team in California. This role will involve ensuring the pre-silicon correctness and quality of a multi-million gate ASIC that integrates computational accelerators and 3rd-party SoC IP blocks.Key Responsibilities:SoC/Subsystem verification of embedded CPUs such as ARM/RISC-V and interconnect...
-
GPU Formal Verification Engineer
4 weeks ago
San Diego, California, United States Qualcomm Full timeJob SummaryQualcomm is seeking a highly skilled GPU Formal Verification Engineer to join our team. As a key member of our Digital ASIC design team, you will be responsible for developing high-quality formal verification test benches to verify complex designs in GPU.Key Responsibilities:Develop formal verification test benches to verify complex designs in...
-
Senior ASIC Verification Engineer
3 weeks ago
San Jose, California, United States European Tech Recruit Full timeSenior ASIC Verification Engineer - System VerilogWe are seeking a highly skilled Senior ASIC Verification Engineer to join our team in California. As a key member of our design team, you will be responsible for ensuring the pre-silicon correctness and quality of a multi-million gate ASIC that integrates computational accelerators and 3rd-party SoC IP...
-
San Francisco, California, United States Siemens Digital Industries Software Full timeJob Family:SalesReq ID: 435981Siemens Digital Industries Software is a global technology leader in electronic design automation software.Our software tools enable companies around the globe to develop new and highly innovative electronic products faster and more cost-effectively.Our customers use our tools to push the boundaries of technology and physics to...
-
Senior ASIC Verification Engineer
2 weeks ago
San Jose, California, United States European Tech Recruit Full timeWe are seeking a highly skilled Senior ASIC Verification Engineer to join our team in California on a remote basis. The ideal candidate will have a strong background in System Verilog and experience with UVM.Responsibilities:Ensure the pre-silicon correctness and quality of a multi-million gate ASIC that integrates computational accelerators and 3rd-party...
-
Senior ASIC Verification Engineer
4 weeks ago
San Jose, California, United States European Tech Recruit Full timeSenior ASIC Verification Engineer - AI and Data CenterWe are partnering with a leading Semiconductor organization to accelerate AI computing in data centers and HPC. As a Senior ASIC Verification Engineer, you will play a critical role in ensuring the pre-silicon correctness and quality of a multi-million gate ASIC that integrates computational accelerators...
-
Senior ASIC Verification Engineer
3 weeks ago
San Jose, California, United States USA Tech Recruit Full timeJob Title: Senior ASIC Verification EngineerJob Summary: We are seeking a highly skilled Senior ASIC Verification Engineer to join our team at USA Tech Recruit. As a Senior ASIC Verification Engineer, you will be responsible for ensuring the pre-silicon correctness and quality of a multi-million gate ASIC that integrates computational accelerators and...
-
San Francisco, California, United States Siemens Digital Industries Software Full timeJob SummarySales professionals at Siemens Digital Industries Software are responsible for driving business growth and adoption of our electronic design automation software. As a Product Focused Application Engineer for Formal Verification, you will play a key role in developing and executing strategies to increase formal verification business across the...
-
San Jose, California, United States USA Tech Recruit Full timeAre you a seasoned ASIC Verification Engineer looking for a new challenge in the field of autonomous driving and AI?We are working alongside a highly funded and expanding startup to help them bring on board a senior ASIC verification engineer to work on cutting-edge projects at the forefront of autonomous driving and AI as a whole.Key Responsibilities:Ensure...
-
San Jose, California, United States Siemens Digital Industries Software Full timeJob Family:SalesReq ID:435981Siemens Digital Industries Software is a global technology leader in electronic design automation software. Our software tools enable companies around the globe to develop new and highly innovative electronic products faster and more cost-effectively.Position Overview:The Product Focused Application Engineer for Formal...
-
Senior ASIC Verification Engineer
2 weeks ago
San Jose, California, United States Recogni Full timeAbout RecogniAt Recogni, we're pushing the boundaries of artificial intelligence (AI) to transform industries and improve lives. Our mission is to enable multimodal Generative AI inference acceleration at scale, providing safe, sustainable, high-performance AI-driven solutions for various markets. We're a well-funded, fast-paced startup with headquarters in...
-
Senior ASIC Verification Engineer
3 weeks ago
San Jose, California, United States Recogni Full timeAbout Recogni:At Recogni, we're revolutionizing the world of artificial intelligence (AI) with our cutting-edge high-performance, low-power AI inferencing solutions. Our mission is to enable multimodal Generative AI inference acceleration at scale by providing safe, sustainable, high-performance AI-driven solutions for various markets.We're a well-funded,...
RISC-V Formal Verification Engineer
2 months ago
RISC-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 verification and Sail programming language expertise.
Key Responsibilities- Develop Sail Formal Model code for RISC-V ISA 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
- Collaborate 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
- Maintain the RISC-V Sail Formal Model community, including mailing lists, informational meetings, and developer training
- 5+ years software or hardware development experience
- BS/BA in 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 with a scripting language (preferably Python) is required
- Experience with SW development tools and processes (assemblers, compilers, revision control systems)
- Experience with measuring coverage (functional and code) of a software application
- 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
RISC-V International is an equal opportunity employer and welcomes applications from diverse candidates. The expected salary range for this position is $12,000 to $15,000 per month based on experience.
