Formal Methods Engineer - Fresno California

Company: VirtualVocations
Location: Fresno, California
Posted On: 02/04/2025

A company is looking for a Formal Methods Engineer in Innovation R&D.



Key Responsibilities

Develop formal artifacts based on research, architecture, and business requirements
Model performance of formally specified systems and produce prototypes and simulations
Act as a bridge between researchers and developers, providing feedback and assisting in implementation


Required Qualifications

A higher degree in Computer Science or a related field
A minimum of 2-3 years of experience in a functional language, preferably Haskell
Experience working with Git and formal methods
Experience in networking, distributed systems, programming language design, or blockchain applications is a bonus
Demonstrated ability to work independently on complex problems More...

Register an account with us and set up job agents! We'll email you immediately when jobs like this are posted on our site.