formal verification 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, 2 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.
-
ChainSecurity
Blockchain Security Engineer
Posted 4 years, 6 months ago
ChainSecurity is a young and innovative cybersecurity company that operates in the blockchain and cryptocurrency space. Our mission is to make the blockchain space secure and trustworthy for people, companies, and governments alike. ChainSecurity is proud of …
Tech stack
Location
Zurich
Compensation
Competitive pay and a very advantageous profit-sharing system
-
Galois
Cryptography and Secure Computation Researcher
Posted 6 years, 6 months ago
Galois is looking for software engineers, researchers, and software integration engineers that enjoy working on challenging problems in computer science. We collaborate with organizations like NASA, DARPA, and Amazon Web Services to explore blue sky ideas and…
Roles
Tech stack
reinforcement learning Formal methods domain specific languages DDoS defense autonomous systems assurance statistical anomaly detection provable hardware security communication security cyber-deception software correctness binary analysis abstract interpretation static analysis programming languages theory formal verification type theory cryptographic algorithmsLocation
Portland, OR, Arlington, VA, Dayton, OH
-
Galois
Cryptography and Secure Computation Researcher
Posted 6 years, 7 months ago
Galois is looking for software engineers, researchers, and software integration engineers that enjoy working on challenging problems in computer science. We collaborate with organizations like NASA, DARPA, and Amazon Web Services to explore blue sky ideas and…
Roles
Tech stack
reinforcement learning Formal methods domain specific languages DDoS defense autonomous systems assurance statistical anomaly detection provable hardware security communication security cyber-deception software correctness binary analysis abstract interpretation static analysis programming languages theory formal verification type theory cryptographic algorithmsLocation
Portland, OR, Arlington, VA, Dayton, OH
-
Interchain Foundation
Senior Distributed System Engineer
Posted 6 years, 8 months ago
The Interchain Foundation is promoting and advancing R&D in open, decentralized networks with a particular focus on the Cosmos Network. The Cosmos Network is a decentralized network of independent, scalable, and interoperable blockchains, creating the groundw…
Location
Toronto, Berlin, Lausanne
-
Interchain Foundation
Senior Distributed System Engineer
Posted 6 years, 9 months ago
The Interchain Foundation is promoting and advancing R&D in open, decentralized networks with a particular focus on the Cosmos Network. The Cosmos Network is a decentralized network of independent, scalable, and interoperable blockchains, creating the groundw…
Tech stack
Location
Toronto, Berlin, Lausanne