Formal Verification Engineer Jobs - May 2026
Search by company, role, stack, location, salary signal, source, and work setup.
Save this search
Turn the current filters into an email alert.
Log in to save filtered searches as alerts.
-
Formal Stack
Software Engineer
Posted 1 month, 3 weeks ago
Building a new computing stack with formally verified data, memory, and resource isolation between executions for instant, truly elastic global compute. Designing and building a production programming language with complete mechanized formal specifications an…
Roles
Tech stack
Compensation
$100k - $250k + Equity (overall range listed). Specific ranges: Staff Software Engineer $175k - $250k + ≥0.4% equity; Formal Verification Engineer $120k - $200k + ≥0.2% equity; Software Engineer $100k - $175k + ≥0.1% equity; Formal Methods PhD Intern $10k/month.
-
Common Prefix
Support Engineer
Posted 2 months, 2 weeks 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 contracts), s…
Tech stack
Location
Athens, Greece, Remote
Compensation
$80,000–$171,000 per year (cash); conference participation 2-3x per year; opportunity to work with world-class scientists and attend scientific/engineering venues
-
Formal
Software Engineer
Posted 6 months, 3 weeks ago
Formal is a VC-funded 5-person team building a new serverless computing stack using formal methods to create low-overhead OS interfaces and formally verified isolation without containers or VMs. They are hiring multiple remote, full-time positions focused on …
Roles
Tech stack
Location
Remote
Compensation
$100k - $250k base ranges by role plus equity; specific role ranges: Staff Software Engineer $175k-$250k + >=0.4% equity, Formal Verification Engineer $120k-$200k + >=0.2% equity, Software Engineer $100k-$175k + >=0.1% equity, Formal Methods PhD Intern $10k/month
-
Formal
Software Engineer
Posted 9 months, 3 weeks ago
At Formal, we’re rethinking serverless from scratch: we’re building a new computing stack for instant, globally available, truly elastic, soundly isolated execution. We leverage formal methods and languages to build OS interfaces with low overhead, formally v…
Roles
Tech stack
Location
REMOTE
Compensation
$100k - $250k + Equity
-
Formal
Formal Verification Engineer
Posted 1 year, 1 month ago
We're building a new computing stack for instant, globally available, truly elastic, soundly isolated execution. We’re building low overhead, formally verified isolation primitives, without containers or VMs. We're taking all of this to the network …
Tech stack
Location
REMOTE
Compensation
>= $150k - $200k + 0.5% equity