Formal Methods Engineer - Fresno California

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

A company is looking for a Formal Methods Engineer Verification.



Key Responsibilities

Develop and refine formal artifacts based on research, architecture, and business requirements
Model system performance and produce prototypes and simulations to assess design decisions
Communicate effectively with researchers and developers, providing feedback and assisting in the integration of specifications into production systems


Required Qualifications

A higher degree in Computer Science or a related field
A minimum of 2-3 years of experience in a functional programming language, preferably Haskell
Experience with formal methods and tools such as SAT/SMT, model checking, and interactive theorem proving
Experience collaborating with Git and working on complex problems independently
Domain experience in areas such as networking, distributed systems, or blockchain applications is a bonus 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.