RISC-V Formal Model Developer

3 weeks ago


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

We 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 programming language.

Your primary responsibilities will include:

  • Collaborating with the RISC-V Staff, Task Groups, Development Partners, and Cambridge Sail staff to develop the RISC-V Sail Formal Model.
  • Developing assembly language tests to demonstrate proper Sail implementation of extensions and features.
  • Maintaining the RISC-V Sail Formal Model community, including mailing lists, informational meetings, and developer training.

Requirements:

  • 5+ years of software or hardware development 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.
  • History of successful completion and maintenance of software projects.
  • Experience with a scripting language (preferably Python) is required.
  • Experience with measuring coverage (functional and code) of a software application.

What We Offer:

  • A dynamic and collaborative work environment.
  • The opportunity to contribute to the development of the RISC-V ISA.
  • A competitive salary and benefits package.

How to Apply:

Please submit your application, including your resume and a cover letter, to [insert contact information]. We look forward to hearing from you



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


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


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

    Job OpportunityRISC-V International is seeking a highly skilled Community Marketing Manager to support the growth and influence of the RISC-V community. This role will play a key part in developing and executing a global community marketing strategy, working closely with the RISC-V team and partners to drive engagement and adoption of the RISC-V...


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

    RISC-V Community Marketing ManagerThe RISC-V Community Marketing Manager will play a key role in supporting community events, groups, alliances, and partnerships to grow RISC-V influence and support in local and regional endeavors with measurable impact.This role will be responsible for developing and executing a comprehensive marketing strategy to promote...


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

    RISC-V Content Marketing Manager Job DescriptionThe RISC-V Content Marketing Manager is a key role within RISC-V International, responsible for developing and executing a comprehensive content marketing strategy to promote the RISC-V ecosystem and drive engagement with developers, partners, and stakeholders.Key Responsibilities:Content Strategy and Creation:...


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

    RISC-V Community Marketing ManagerThe RISC-V Community Marketing Manager is a key role within RISC-V and the broader RISC-V community, responsible for supporting community events, groups, alliances, and partnerships to grow RISC-V influence and support in local and regional endeavors with measurable impact.This role will play a key part in developing and...


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

    RISC-V Community Marketing Manager Job DescriptionAs a RISC-V Community Marketing Manager, you will play a key role in supporting community events, groups, alliances, and partnerships to grow RISC-V influence and support in local and regional endeavors with measurable impact. This role will be fully dedicated to RISC-V International and will work closely...


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

    RISC-V Content Marketing ManagerDevelop and execute a comprehensive content marketing strategy to promote RISC-V and its ecosystem. This includes creating engaging content, managing editorial calendars, and amplifying RISC-V's presence on social media.Key ResponsibilitiesContent Strategy and CreationSocial Media Amplification and EngagementPerformance...


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

    RISC-V Community Marketing ManagerWe are seeking a highly skilled Community Marketing Manager to join our team at RISC-V International. This is a full-time role, dedicated 100% to RISC-V International, employed by the Linux Foundation.Key Responsibilities:Develop and execute a comprehensive community marketing strategy to grow RISC-V influence and support in...


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

    RISC-V Content Marketing ManagerThe RISC-V Content Marketing Manager is a key role within RISC-V International, responsible for developing and implementing a strategic content marketing plan to promote RISC-V and its ecosystem. This includes creating and curating high-quality content, managing editorial calendars, and leveraging social media and influencer...


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

    RISC-V Content Marketing Manager Job DescriptionThe RISC-V Content Marketing Manager will be responsible for developing and implementing a comprehensive content marketing strategy to promote RISC-V and its ecosystem. This includes creating and curating high-quality content, managing the editorial calendar, and leveraging marketing technology software to...


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

    RISC-V Community Marketing ManagerThe RISC-V Community Marketing Manager will play a key role in supporting community events, groups, alliances, and partnerships to grow RISC-V influence and support in local and regional endeavors with measurable impact.The ideal candidate will have experience in vision and hands-on execution, across multiple domains of...


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

    RISC-V Senior Technical Product Marketing ManagerWe are seeking a highly skilled Senior Technical Product Marketing Manager to join our team at RISC-V International. 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...


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

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


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

    At Cadence Design Systems, Inc., we're seeking a talented Software Development Leader to join our team. This role involves designing and implementing software tool chains, particularly the instruction set simulator (ISS) for RISC-V processors.Key Responsibilities:Develop software models for RISC-V processor features for functional, cycle-accurate, and HW/SW...


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

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


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

    Job SummaryCadence Design Systems, Inc. is seeking a highly skilled Senior Software Architect to join our team. As a key member of our software development team, you will be responsible for designing and implementing software tools for RISC-V processors.Key ResponsibilitiesDesign and implementation of Tensilica software tool chain, including the instruction...

  • Systems Architect

    3 weeks ago


    San Jose, California, United States MIPS Technologies Full time

    Job DescriptionMIPS Technologies is seeking a highly skilled Systems Engineer to join our team. As a key member of our engineering team, you will be responsible for designing and developing cutting-edge RISC-V processors for high-performance applications.Key Responsibilities:Interface with key stakeholders to negotiate specifications and develop detailed...


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


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

    As a Product Marketing Specialist at MIPS Technologies, you will play a pivotal role in driving the success of our product lines across the Automotive, Embedded, and Industrial sectors.You will be responsible for defining the product value proposition, conducting comprehensive market analysis, and actively engaging with silicon vendors, Tier 1 suppliers,...