RISC-V Formal Verification Engineer

1 week ago

San Francisco, United States Linux Foundation Full time
Company Description

RISC-V is an Instruction Set Architecture (ISA) standard enabling a new era of processor innovation through open collaboration. RISC-V International enables the community to share technical investment, contribute to the strategic future, create more rapidly, enjoy unprecedented design freedom, and substantially reduce the cost of innovation.

RISC-V International, a non-profit organization controlled by its members, directs the future development and drives the adoption of the RISC-V ISA. Members of RISC-V International have access to and participate in the development of the RISC-V ISA specifications and related ecosystem.

This role is a full-time contract opportunity, dedicated to RISC-V International, a stand alone open standards collaboration organization.

To learn more about RISC-V, please visit: www.riscv.org

Job Description

RISC-V International is looking for a Sail Developer to help develop the RISC-V Formal Model codebase. Part of the acceptance criteria for ratification of a RISC-V hardware specification includes the completion of the formal model deliverables for the extension seeking ratification. RISC-V has chosen Sail from the University of Cambridge as its formal modeling language. RISC-V Sail both uses and depends upon the associated tools including the simulator generator.

This role will develop the Sail formal model support for the RISC-V ISA extensions and augment the Sail infrastructure to support formal model development; work with the RISC-V ISA specification document creation so that the formal model is consistently integrated into the specification and in the formal model files. Collaborate with the RISC-V Staff, with the Task Groups, Development Partners, and Cambridge Sail staff.

The expected salary range will be $12,000 to $15,000 per month based on experience.

Key responsibilities include:
  • 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
Qualifications

The following qualifications are required for consideration:
  • 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
The following skills are preferred:
  • 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.)


Additional Information

All your information will be kept confidential according to EEO guidelines.

  • RISC-V Formal Verification Expert

    5 days ago

    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...

  • RISC-V Formal Verification Expert

    6 days ago

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

    Role SummaryWe are seeking a highly skilled RISC-V Formal Verification Engineer to join our team at Linux Foundation Co.About the RoleThis 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,...

  • RISC-V Formal Verification Engineer

    4 weeks ago

    San Francisco, United States Linux Foundation Co Full time

    ContractCompany DescriptionRISC-V is an Instruction Set Architecture (ISA) standard enabling a new era of processor innovation through open collaboration.RISC-V International enables the community to share technical investment, contribute to the strategic future, create more rapidly, enjoy unprecedented design freedom, and substantially reduce the cost of...

  • RISC-V Formal Verification Engineer

    2 weeks ago

    San Francisco, United States ZipRecruiter Full time

    Job DescriptionCompany DescriptionRISC-V is an Instruction Set Architecture (ISA) standard enabling a new era of processor innovation through open collaboration. RISC-V International enables the community to share technical investment, contribute to the strategic future, create more rapidly, enjoy unprecedented design freedom, and substantially reduce the...

  • RISC-V Formal Verification Engineer

    19 hours ago

    San Francisco, CA, United States Linux Foundation Co Full time

    Contract Company Description RISC-V is an Instruction Set Architecture (ISA) standard enabling a new era of processor innovation through open collaboration.RISC-V International enables the community to share technical investment, contribute to the strategic future, create more rapidly, enjoy unprecedented design freedom, and substantially reduce the cost of...

  • RISC-V Formal Verification Specialist

    6 days ago

    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...

  • RISC-V Formal Verification Engineer

    1 week ago

    San Francisco, United States CV Library Full time

    Job DescriptionRISC-V International is looking for a Sail Developer to help develop the RISC-V Formal Model codebase. Part of the acceptance criteria for ratification of a RISC-V hardware specification includes the completion of the formal model deliverables for the extension seeking ratification. RISC-V has chosen Sail from the University of Cambridge as...

  • RISC-V Formal Verification Engineer

    2 weeks ago

    San Francisco, United States CV Library Full time

    Job DescriptionRISC-V International is looking for a Sail Developer to help develop the RISC-V Formal Model codebase. Part of the acceptance criteria for ratification of a RISC-V hardware specification includes the completion of the formal model deliverables for the extension seeking ratification. RISC-V has chosen Sail from the University of Cambridge as...

  • Technical Marketing Strategist for RISC-V International

    6 days ago

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

    About the RoleWe are seeking an experienced Technical Marketing Strategist to join our team at RISC-V International.Job OverviewThis full-time role, employed by the Linux Foundation, will play a key part in driving the growth and proliferation of RISC-V. As a senior member of our marketing team, you will be responsible for crafting compelling campaigns that...

  • RISC-V Marketing Strategist

    6 days ago

    San Francisco, California, United States Linux Foundation Full time

    Job SummaryWe are seeking a skilled Senior Technical Product Marketing Manager to join our team at RISC-V International. As a key member of our marketing department, you will be responsible for driving the growth and proliferation of RISC-V globally.About RISC-V InternationalRISC-V International is a global non-profit organization that is home to the open...

  • RISC-V International Technical Marketing Strategist

    2 days ago

    San Francisco, California, United States The Linux Foundation Full time

    RISC-V Senior Technical Product Marketing Manager Job DescriptionThe Linux Foundation is seeking an experienced Senior Technical Product Marketing Manager for RISC-V International, a full-time remote position dedicated to promoting the growth and proliferation of RISC-V.Key Responsibilities:Develop and execute product positioning and messaging...

  • Senior CPU Verification Lead

    6 days ago

    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...

  • Design Verification Engineer

    1 month ago

    san jose, United States Oho Group Ltd Full time

    THIS IS NOT AN ENTRY LEVEL ROLE - PLEASE NO RECENT GRADUATESA $100m+ VC backed RISC-V scale up are looking for multiple Verification Engineers as they continue to accelerate their growth this year!They are at 400 people worldwide so have already been able to circumnavigate a lot of the typical speedbumps that effect early stage companies.They have in place...

  • Design Verification Engineer

    1 month ago

    San Jose, United States Oho Group Ltd Full time

    THIS IS NOT AN ENTRY LEVEL ROLE - PLEASE NO RECENT GRADUATESA $100m+ VC backed RISC-V scale up are looking for multiple Verification Engineers as they continue to accelerate their growth this year!They are at 400 people worldwide so have already been able to circumnavigate a lot of the typical speedbumps that effect early stage companies.They have in place...

  • Design Verification Engineer

    1 month ago

    san jose, United States Oho Group Ltd Full time

    THIS IS NOT AN ENTRY LEVEL ROLE - PLEASE NO RECENT GRADUATESA $100m+ VC backed RISC-V scale up are looking for multiple Verification Engineers as they continue to accelerate their growth this year!They are at 400 people worldwide so have already been able to circumnavigate a lot of the typical speedbumps that effect early stage companies.They have in place...

  • Design Verification Engineer

    4 weeks ago

    San Jose, CA, United States Oho Group Ltd Full time

    THIS IS NOT AN ENTRY LEVEL ROLE - PLEASE NO RECENT GRADUATESA $100m+ VC backed RISC-V scale up are looking for multiple Verification Engineers as they continue to accelerate their growth this year!They are at 400 people worldwide so have already been able to circumnavigate a lot of the typical speedbumps that effect early stage companies.They have in place...

  • GPU Formal Verification Engineer

    20 hours ago

    San Jose, CA, United States Samsung Electronics Perú Full time

    GPU Formal Verification Engineer Apply remote type: Hybrid locations: 3900 N Capital of Texas Hwy, Austin, TX, USA; 3655 N 1st St, San Jose, CA, USA time type: Full time posted on: Posted Today time left to apply: End Date: December 31, 2024 (30+ days left to apply) job requisition id: R97508 Position Summary Samsung, a world leader in advanced...

  • GPU Design Verification Engineer

    4 weeks ago

    San Diego, United States Advanced Micro Devices, Inc Full time

    WHAT YOU DO AT AMD CHANGES EVERYTHINGWe care deeply about transforming lives with AMD technology to enrich our industry, our communities, and the world. Our mission is to build great products that accelerate next-generation computing experiences – the building blocks for the data center, artificial intelligence, PCs, gaming and embedded. Underpinning our...

  • Verification Engineer

    2 weeks ago

    San Jose, United States Samsung Electronics Perú Full time

    GPU Formal Verification Engineer Apply remote type: Hybrid locations: 3900 N Capital of Texas Hwy, Austin, TX, USA; 3655 N 1st St, San Jose, CA, USA time type: Full time posted on: Posted Today time left to apply: End Date: December 31, 2024 (30+ days left to apply) job requisition id: R97508 Position Summary Samsung, a world leader in advanced semiconductor...

  • Verification Engineer

    2 weeks ago

    San Jose, United States Samsung Electronics Perú Full time

    GPU Formal Verification Engineer Apply remote type: Hybrid locations: 3900 N Capital of Texas Hwy, Austin, TX, USA; 3655 N 1st St, San Jose, CA, USA time type: Full time posted on: Posted Today time left to apply: End Date: December 31, 2024 (30+ days left to apply) job requisition id: R97508 Position Summary Samsung, a world leader in advanced semiconductor...