Formal Verification Engineer
10 hours ago
We 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 that enables the development and adoption of the RISC-V Instruction Set Architecture (ISA). We are looking for a talented Formal Verification Engineer to help us develop and maintain the RISC-V Formal Model codebase.
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 to support the RISC-V Formal Model
- Collaborate with the RISC-V Sail ecosystem, including the RISC-V Sail maintainer, Cambridge Sail staff, and RISC-V Task Groups
- 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
We offer a competitive salary range of $12,000 to $15,000 per month based on experience. If you are a motivated and experienced Formal Verification Engineer looking for a new challenge, please submit your application.
-
RISC-V Formal Verification Engineer
7 hours 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...
-
Formal Verification Engineer
1 week ago
San Jose, California, United States LeadStack Inc. Full timeJob Title: Formal Verification EngineerLeadStack Inc. is a leading provider of contingent workforce solutions, partnering with top Fortune 500 brands. As a Formal Verification Engineer, you will play a critical role in ensuring the quality and reliability of our clients' products.Key Responsibilities:Add constraints, assertions, and coverage points to new...
-
ASIC Design Verification Specialist
3 days ago
San Francisco, California, United States IC Resources Full timeSenior Verification Engineer for AI IntegrationThis is an exciting opportunity for a skilled Engineer to join IC Resources in Greece and contribute to the development of AI integration from cloud to edge and GPU solutions.As a Senior Verification Engineer, you will be responsible for planning and verifying complex graphics and machine learning IP using...
-
Digital Verification Engineer
5 days ago
San Diego, California, United States Amazon Full timeProject Kuiper: A Groundbreaking Wireless SolutionAmazon is seeking a highly skilled Digital Verification Engineer to join its Project Kuiper team. This is a unique opportunity to define a state-of-the-art wireless solution with few legacy constraints.Key Responsibilities:Implement a cutting-edge verification environment to facilitate testing of the RTL...
-
Digital Verification Engineer
1 week ago
San Diego, California, United States Amazon Full timeProject Kuiper: A Groundbreaking Wireless SolutionAmazon is seeking a highly skilled Digital Verification Engineer to join its Project Kuiper team. As a key member of this sub-team, you will play a crucial role in defining and implementing the digital chip SOCs for communications via Low Earth Orbit satellites and Amazon gateways.Key...
-
ASIC Design Verification Engineer
2 days ago
San Diego, California, United States Qualcomm Full timeJob SummaryQualcomm is seeking a highly skilled ASIC Design Verification Engineer to join our team. As a key member of our Engineering Group, you will be responsible for the complete verification lifecycle, from system-level concept to tape out and post-silicon support.Key ResponsibilitiesComprehensive pre-silicon test planning for digital power...
-
Verification Engineer Lead
1 week ago
San Jose, California, United States Intel Full timeIntel is seeking a highly qualified Verification Engineer Lead to join our Altera - Platform Solutions Group (PSG) team. As a key member of our team, you will be responsible for developing and executing verification strategies for complex ASICs and SoCs. Your expertise in System Verilog, OVM/UVM, and scripting languages will be essential in driving the...
-
Data Security Solutions Specialist
1 week ago
San Francisco, California, United States Formal Inc Full timeAbout the RoleAs a Solutions Engineer at Formal Inc, you will play a crucial role in bridging the gap between our innovative product and our customers' needs. Your primary focus will be on helping customers successfully deploy our product and ensuring the closure of deals. You'll work closely with the sales team, product team, and customers to drive adoption...
-
Senior ASIC Verification Engineer
1 week ago
San Jose, California, United States Bright Vision Technologies Full timeJob Title: ASIC Verification EngineerBright Vision Technologies is seeking a skilled ASIC Verification Engineer to join our team in San Jose, CA.About the RoleThis is an exciting opportunity to work on the development of Smart Edge SoCs for network/systems control, management security systems, and IIoT. As an ASIC Verification Engineer, you will be...
-
Lead Design Verification Engineer
2 weeks ago
San Jose, California, United States Sql Pager LLC Full timeJob Title: Lead Design Verification EngineerJob Summary:We are seeking a highly skilled Lead Design Verification Engineer to join our team at Sql Pager LLC. As a key member of our engineering team, you will be responsible for leading the design verification efforts on complex semiconductor products.Key Responsibilities:Lead the verification efforts on PCIe...
-
Senior ASIC Verification Engineer
4 days ago
San Jose, California, United States Bright Vision Technologies Full timeJob Title: ASIC Verification EngineerBright Vision Technologies is seeking a skilled ASIC Verification Engineer to join our team in San Jose, CA.About the RoleThis is an exciting opportunity to work on the verification of ARM-based SoCs, utilizing industry-standard verification methodologies like UVM, Portable Stimulus, and Formal verification flows.Key...
-
San Diego, California, United States Amazon Full timeAbout the RoleWe are seeking a highly skilled Digital Verification Engineer to join our team at Amazon, working on the Project Kuiper initiative. As a key member of our sub-team, you will be responsible for defining and implementing the digital chip SOCs for communications via Low Earth Orbit satellites and Amazon gateways.Key ResponsibilitiesImplement a...
-
Senior ASIC Verification Engineer
1 week ago
San Jose, California, United States Yoh Full time{"title": "ASIC Verification Engineer", "description": "Job SummaryWe are seeking an experienced ASIC Verification Engineer to join our team at Yoh, a Day & Zimmermann company. As an ASIC Verification Engineer, you will be responsible for designing and implementing verification methodologies for complex digital circuits.Key ResponsibilitiesReview product...
-
Senior ASIC Verification Engineer
2 weeks ago
San Jose, California, United States Fidus Systems Full timeAbout the RoleFidus Systems is a leading provider of embedded software design, system, and hardware solutions. We are seeking a highly skilled Senior ASIC Verification Engineer to join our team in San Jose, United States.Key ResponsibilitiesPlan and execute complex verification projects for ASICs and FPGAsDevelop verification test plans, verification...
-
Senior Design Verification Engineer
2 weeks ago
San Jose, California, United States Mirafra Technologies Full timeJob DescriptionMirafra Technologies is seeking a highly skilled Senior Design Verification Engineer to join our team. As a key member of our design verification team, you will be responsible for driving the verification process from architecture and design specification to production silicon.Key Responsibilities:Verification Methodology: Contribute to the...
-
Senior Systems Verification Engineer
1 week ago
San Jose, California, United States MILLENNIUMSOFT Full timeJob Title: Senior Systems Verification EngineerMillenniumSoft is seeking a highly skilled Senior Systems Verification Engineer to join our team. As a key member of our engineering team, you will play a critical role in the development of life science technology in cellular analysis and corresponding automation systems.Key Responsibilities:Support Systems...
-
Senior ASIC Verification Engineer
7 days ago
San Jose, California, United States Axiado Full timeAxiado is a leading company in Smart Edge SoCs for network/systems control, management security systems, and IIoT. We are seeking a skilled Verification Engineer to join our team. The ideal candidate will have experience in UVM verification and UVM environment development, as well as proficiency in test plan definition and testcase development in...
-
Lead MTS Verification Engineering Specialist
5 days ago
San Jose, California, United States Rambus Full timeAbout the RoleRambus is seeking a highly skilled Lead MTS Verification Engineer to join our Security team in San Jose/San Francisco, US. As a key member of our team, you will be responsible for the verification of secure ASIC cores developed by Rambus Security Division (RSD).Key ResponsibilitiesPartner closely with architecture and design teams to review...
-
Senior SOC Verification Engineer
2 weeks ago
San Diego, California, United States Apple Full timeJob SummaryApple is seeking a highly skilled Senior SOC Verification Engineer to join our growing wireless silicon development team. As a key member of our organization, you will be responsible for pre-silicon RTL verification of block and top-level SOC.Key ResponsibilitiesDevelop reusable testbench and verification environment deploying the latest...
-
Senior Systems Verification Engineer
2 days ago
San Jose, California, United States MILLENNIUMSOFT Full timeJob Title: Senior Systems Verification EngineerMillenniumSoft is seeking a highly skilled Senior Systems Verification Engineer to play a critical role in the development of life science technology in cellular analysis and corresponding automation systems.Key Responsibilities:Support Systems Engineering activities and deliverables, including driving...