RISC-V Formal Verification Expert

5 days ago


San Francisco, California, United States Linux Foundation Co Full time
Role Summary

We are seeking a highly skilled RISC-V Formal Verification Engineer to join our team at Linux Foundation Co.

About the Role

This is a full-time contract opportunity, dedicated to developing and maintaining the RISC-V Sail formal model codebase. The successful candidate will work closely with the RISC-V Sail ecosystem, including the maintainer, Cambridge Sail staff, RISC-V Architectural Tests efforts, Task Groups, and Development Partners.

The key responsibilities include:

  • Developing Sail Formal Model code for extensions and upstreaming it to the RISC-V Sail repository.
  • Creating assembly language tests to demonstrate proper Sail implementation of the extension and/or feature as compared to the text of the specification.
  • Enhancing Sail infrastructure, such as the simulator generator functionality, to support the RISC-V Formal Model.
  • Collaborating with the RISC-V Sail ecosystem to develop the RISC-V Sail Formal Model.
Requirements

To be considered for this role, you must have:

  • 5+ years of software or hardware development experience.
  • A BS/BA in Electrical or Computer Engineering or equivalent years of experience.
  • An 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.
  • A 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 scripting languages, preferably Python, and SW development tools and processes.
  • The ability to respond and adapt to a highly interrupt-driven environment while maintaining focus on long-term objectives.
Preferred Qualifications

Prior experience as an open source code base maintainer, experience with the Sail programming language, advanced degrees in CS/ECE/EE or equivalent, and proficiency with GitHub, Google/MSFT Suites, and Atlassian tools are desired.

Compensation and Benefits

The estimated salary range for this position is $12,000 to $15,000 per month, based on experience. All information will be kept confidential according to EEO guidelines.



  • San Francisco, California, United States ZipRecruiter Full time

    RISC-V International seeks a skilled RISC-V Formal Verification Engineer to join our team. As a Sail Developer, you will be responsible for developing the RISC-V Formal Model codebase and augmenting the Sail infrastructure to support formal model development.This role involves working with the RISC-V ISA specification document creation to ensure the formal...


  • San Francisco, California, United States CV Library Full time

    RISC-V International is seeking a Sail Developer to contribute to the development of the RISC-V Formal Model codebase. The completion of formal model deliverables for hardware specification ratification is a key acceptance criterion. RISC-V has chosen Sail from the University of Cambridge as its formal modeling tool, utilizing and depending on associated...


  • San Francisco, California, United States RISC-V Full time

    Technical Community Architect Opportunity at RISC-VRISC-V International seeks an experienced Technical Community Architect to join its Technical Program team. This role will play a key part in guiding technical teams as they deliver clear, concise, and measurable results.Coach and assist RISC-V members through various organization lifecycles.Leverage and...


  • San Francisco, California, United States ZipRecruiter Full time

    About The JobWe are seeking a highly skilled RISC-V Technical Operations Specialist to join our team at ZipRecruiter. In this role, you will work closely with our technical program team to prioritize operational and technical needs and guide teams as they deliver clear, concise, and measurable results.Key ResponsibilitiesRISC-V Community SupportCultivate...


  • San Francisco, California, United States Linux Foundation Co Full time

    Senior Technical Product Marketing Manager, RISC-V Job DescriptionRISC-V International is the global non-profit organization behind the standard RISC-V Instruction Set Architecture (ISA) and related specifications. The organization brings together 4,500+ RISC-V members from 70 countries to define RISC-V open specifications, convene technical groups, and...


  • San Jose, California, United States MIPS Technologies Full time

    Unlock High-Performance RISC-V ArchitecturesMIPS Technologies is seeking an experienced Senior CPU Verification Lead to join our fast-growing team of technologists. As a key member, you will drive the verification efforts for high-performance RISC-V processors.About the RoleThis senior-level position requires extensive hands-on experience with CPU...


  • San Jose, California, United States Samsung Electronics Perú Full time

    Samsung Electronics Perú is a world leader in advanced semiconductor technology.Job Title: GPU Design Verification ExpertWe are looking for an experienced GPU Design Verification Expert to join our team at Samsung Austin Research and Development Center (SARC) and Advanced Computing Lab (ACL).Company Overview:Samsung, a global leader in innovation, is...


  • San Diego, California, United States Qualcomm Full time

    Job Description:At Qualcomm, we're pushing the boundaries of innovation in mobile technology.This role is part of our Digital ASIC design team, responsible for delivering cutting-edge hardware and software products that power advanced mobile devices.Key Responsibilities:Develop high-quality formal verification test benches to verify complex GPU designsWork...


  • San Jose, California, United States Chelsea Search Group Full time

    Job Title: Senior Technical Expert for Physical VerificationWe are seeking a skilled Senior Physical Verification Engineer to join our team at Chelsea Search Group.Salary: $90-$110 per hour (1099 or Corp-to-Corp)This is an onsite only position located in San Jose, CA. Candidates must be a US Citizen or Permanent Resident.Job Description:We have 1 opening...


  • San Jose, California, United States Broadcom Inc. Full time

    Job Title: Senior Verification Specialist">Broadcom Inc. is seeking a skilled Senior Verification Specialist to join our team in the USA.">About the Role:">This position will focus on formal verification of complex designs, specifically external interfacing IPs.">You will be responsible for identifying suitable designs for formal verification, applying...


  • San Jose, California, United States Broadcom Corporation Full time

    Job Overview:This role is responsible for the formal and functional verification of complex designs, focusing on external interfacing IPs.Key Responsibilities:Identify suitable designs for formal verification and apply formal verification techniques, achieving formal coverage closure.Develop and execute verification plans, create test benches, and perform...


  • San Francisco, California, United States Informal Systems Full time

    About Informal SystemsWe're a workers cooperative dedicated to making modern financial and Internet infrastructure more decentralized, secure, and accessible.Our team develops critical blockchain infrastructure and helps other organizations design secure and efficient blockchain systems.The RoleWe're seeking a skilled Senior Security Engineer to join our...


  • San Diego, California, United States Northrop Grumman Full time

    Unlock Your Potential in Digital Verification EngineeringWe are seeking a highly skilled Digital Verification Engineer to join our team at Northrop Grumman. As a Digital Verification Expert, you will play a critical role in the design and verification of wireless systems, leveraging your expertise in FPGA development, VHDL, and simulation tools.About the...


  • San Jose, California, United States Cisco Systems, Inc. Full time

    About the Role:Cisco Systems, Inc. is seeking an experienced Senior ASIC Design Verification Expert to join our team.Job Summary:We are looking for a highly skilled professional with expertise in ASIC design verification principles, system verilog, and HDL languages. The ideal candidate will have strong communication and teamwork skills, excellent...


  • San Jose, California, United States Bayone Full time

    OverviewBayone is seeking an experienced GPU Verification Engineer to join our team. This role offers a unique opportunity to contribute to the development of cutting-edge GPU subsystems.Salary RangeThe estimated salary for this position is $120,000 - $180,000 per annum, depending on experience and location. As a Bayone employee, you can expect a...


  • San Jose, California, United States Mastech Digital Full time

    About the RoleWe are seeking a highly experienced Senior Design Verification Engineer to lead our testbench development efforts.Key ResponsibilitiesLead Testbench Development: Develop and maintain complex testbenches for digital circuits, ensuring comprehensive verification coverage.Verification Expertise: Provide expert-level verification services at block...


  • San Diego, California, United States Chelsea Search Group, Inc. Full time

    Job Title: Senior Digital Verification Expert for Complex CircuitsAbout the Job:This challenging position requires a seasoned Senior Design Verification Engineer with expertise in Chip Level Verification, HDMI, and SystemVerilog/UVM to lead verification efforts for complex digital circuits. Located in the heart of California, this assignment offers a unique...


  • San Francisco, California, United States rippling- ATS Full time

    About the RoleWe are seeking a talented AI research engineer to complement our team's rich AI background and lend their domain expertise in building intelligent reasoning systems for chip verification.This is an excellent opportunity to work in a high-ownership, high-velocity environment and contribute to the development of AI silicon engineers that can...


  • San Diego, California, United States Qualcomm Full time

    Qualcomm is a leader in 5G innovation, shaping the future of connectivity and transforming industries. As an ASIC Design Verification Engineer, you will play a critical role in unlocking this potential.The team is responsible for comprehensive verification lifecycle, from system-level concept to tape out and post-silicon support. Key responsibilities include...


  • San Jose, California, United States Cisco Systems, Inc. Full time

    About the JobThe Common Hardware Group (CHG) at Cisco Systems, Inc. is seeking a skilled ASIC Design Verification Engineer to join our team. As a member of our team, you will play a critical role in designing, developing, and testing complex ASICs for our high-end switching products.Responsibilities:Participate in ASIC design verification for Cisco's...