Formal Verification Engineer

Common Prefix | Software Engineers - Auditors - Support Engineers - Formal Verification Engineer | Greece - Remote – Full-Time Common Prefix is a science-first blockchain consulting company. Our vision is to make blockchains usable for mainstream users and everyday people – paying at the supermarket, remittances, moving money across borders, saving, investing – and solving the real problems of usability, scalability, and interoperability that come with it. We're a 30-person team, half scientists (cryptographer PhDs, post-docs, and professors) from renowned universities, half engineers with long web2 experience. A lot of our field is broken and we're trying to make a small contribution in fixing it, by introducing provable security and proper engineering practices across the board. What we're looking for: Software engineers who can solve problems, are smart, get things done, and enjoy working on the bleeding edge, learning about cryptography, and working from first-principles. Auditors who can write and read code, especially low-level cryptographic implementation code (zero knowledge verifiers, signature schemes, etc), consensus (PoW, PoS), or smart contracts (everything DeFi). Support engineers (junior to early-mid) who enjoy being on the front line of production support (monitor live systems, respond to partner/user issues, triage/debug, and escalate). Formal Verification Engineers with hands-on experience in formal methods to work on machine-checked proofs of blockchain protocols and smart contracts. Tech stack: Doesn't matter, we'll teach you. But we work mostly with Rust. Open roles: * Software Engineer, https://commonprefix.notion.site/sw-folk * Auditor, https://commonprefix.notion.site/auditing-folk * Support Engineer, https://commonprefix.notion.site/support-folk * Formal Verification Engineer, https://commonprefix.notion.site/fve-folk We offer: * $80,000–$171,000 / year cash * Local from Athens, Greece, or remote * Conference participation in exciting scientific and engineering venues, 2-3 times per year * The opportunity to work and learn from world-class scientists from major universities in the field of blockchains, cryptography, and consensus