Systems Software V&V Test Engineer

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

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

RISC-V Content Marketing Manager Job DescriptionThe RISC-V Content Marketing Manager is a key role within RISC-V International, responsible for developing and implementing a comprehensive content marketing strategy to promote RISC-V and its ecosystem. This position will work closely with the RISC-V community, stakeholders, and external agencies to create...

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 work closely with peers across RISC-V and The Linux Foundation to achieve this goal.Key...

RISC-V Community Marketing ManagerWe are seeking a highly skilled Community 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 a comprehensive community marketing strategy to grow RISC-V influence and support in local and regional endeavors.Key...

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

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

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

Job SummaryWe are seeking a highly skilled Engineering Technician V to join our team at Centurum. As a key member of our engineering team, you will be responsible for providing technical support and expertise in the design, development, and testing of complex systems and equipment.Key ResponsibilitiesDesign and develop technical solutions to complex...

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

Job SummaryWe are seeking a highly skilled Engineering Technician V to support our Navy CETS program at Miramar, CA. As a technical expert, you will provide advice and assistance on the acceptance, installation, operation, repair, and maintenance of assigned weapons systems and associated support equipment for V-22 and H-1.Key ResponsibilitiesProvide...

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

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