Jobs with formal verification

Formal Stack

Software Engineer

Posted 4 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

Software Engineer Staff Software Engineer Formal Verification Engineer Formal Methods PhD Intern

Tech stack

serverless networking compilers eBPF alternative formal methods mechanized formal specifications programming languages formal verification certifying compiler

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.
ChainSecurity

Blockchain Security Engineer

Posted 1 month, 3 weeks ago

ChainSecurity is a blockchain cybersecurity company focused on securing blockchain and cryptocurrency projects. The role involves auditing complex blockchain projects, working with developers of major blockchain teams, contributing to and creating security to…

Roles

Blockchain Security Engineer

Tech stack

Threat modeling Linux Blockchain Git Penetration testing Formal verification Security tools OOP (e.g. Java/C++/Python) Cryptography Consensus algorithms Vulnerability scanning

Location

Zurich, Switzerland, Hybrid/Remote