formal methods Jobs - April 2026

Sort by

Search

Location

Has Compensation Summary

Has Contact Info

Remote

Onsite

Tech Stack

Title

Reset

Common Prefix

Posted 3 weeks, 2 days ago

Common Prefix is a science-first blockchain consulting company (30-person team) focused on usability, scalability, and interoperability of blockchains. Hiring software engineers, auditors (low-level cryptographic implementation, consensus, smart con…

Roles
Support Engineer Software Engineer Auditor Formal Verification Engineer

Tech Stack
consensus (PoW smart contracts zero-knowledge monitoring Rust signature schemes cryptography formal methods machine-checked proofs production support PoS)

Locations

Athens, Greece, Remote
Basis

Posted 6 years, 1 month ago

This is a project on commercializing an MIT research project, synthesizing probabilistic programming, databases, and spreadsheets.

Roles
Research Engineer

Tech Stack
machine learning elm MCMC Stan statistics compilers variational inference HMC deep learning formal methods probabilistic programming causal inference numerical simulation React Julia Bayesian deep learning databases C++

Locations

Remote
Synthetic Minds

Posted 6 years, 6 months ago

Synthetic Minds builds program synthesizers, i.e., automation that can write code. There is two decades of research that forms the backbone of this tech. The founder has a PhD in the domain, and the CTO is an ACM Fellow with 20+ years of work in Pro…

Roles
Engineer

Tech Stack
compilers SMT solving (Z3) formal methods programming languages

Locations

SF, Seattle