Formal methods jobs
Recent jobs where this technology appears in the post.
-
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
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 1 month, 3 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