Formal Methods Engineer

Job is Expired

Location: Remote

Compensation: To Be Discussed

Reviewed: Wed, Jul 02, 2025

Job Category: Information Technology

Weekly Hours: Full Time

Employer Type: Employer

Career Level: Experienced

Job Summary

A company is looking for a Formal Methods Engineer.

Key Responsibilities

Develop formal artifacts and specifications throughout the project lifecycle
Produce prototypes, simulations, and verify production-ready code
Contribute to the development and maintenance of formal verification tools

Required Qualifications

Higher degree in Computer Science or a related field
2-3 years of experience in a functional programming language, preferably Haskell
Experience with formal verification tools and methodologies
Familiarity with Lean4, SMT solvers, and automated theorem proving
Experience in relevant domains such as blockchain applications or distributed systems is a plus

COMPLETE JOB DESCRIPTION

The job description is available to subscribers. Subscribe today to get the full benefits of a premium membership with Virtual Vocations. We offer the largest remote database online...

Job is Expired

Company Overview

Company Company Name

Headquarters Headquarters

Founded Founded

Website

The company description is available to subscribers. Subscribe today to get the full benefits of a premium membership with Virtual Vocations. We offer the largest remote database online...