RISC-V Formal Verification Engineer

1 week ago

San Francisco, California, United States Linux Foundation Full time
RISC-V Formal Model Developer

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
Qualifications:
  • 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
Preferred Skills:
  • 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 time

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

  • RISC-V Formal Verification Engineer Contractor

    1 day ago

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

    RISC-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 time

    RISC-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 time

    Job 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 time

    Job 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 time

    RISC-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 time

    RISC-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 time

    RISC-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 time

    RISC-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 time

    RISC-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 time

    RISC-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 time

    RISC-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 time

    RISC-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 time

    RISC-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 time

    RISC-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 time

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

  • Design Verification Manager

    2 weeks ago

    San Jose, California, United States MIPS Technologies Full time

    Job 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 time

    Design 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 time

    Senior 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 time

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