Common Prefix is seeking a full-time Formal Verification Engineer.
Applying
Please submit your application here.
Location
Remote worldwide or on-site in Athens, Greece
Common Prefix is a blockchain research & development company. Blockchain technologies enable large-scale economic coordination through shared, programmable ledgers. Our mission is to solve the foundational scientific and engineering challenges standing in the way of mainstream adoption, particularly around interoperability, scalability, and usability.
We combine formal scientific research with production-grade engineering. Our team publishes in top-tier peer-reviewed venues and builds open-source infrastructure used across major blockchain ecosystems. We have contributed to advanced systems including Axelar, XRPL, Sui, and Flashbots, and are trusted partners to protocols building critical infrastructure.
You can learn more about our company on our website.
This is a full-time position for a Formal Verification Engineer with hands-on experience in functional and formal verification, ideally with blockchain software experience.
You will work on formally verifying complex financial blockchain systems and protocols. You will reason about blockchain protocols and implementations using mathematical specifications, invariants, and machine-checked proofs, and connect these analyses to production code and protocol behavior. Your work will directly contribute to the correctness and security of systems that secure and move billions.
In this role you will collaborate with researchers and engineers to specify system behavior, verify critical components, and identify subtle design or implementation flaws. Depending on the project, your work may involve protocol logic, state machines, distributed components, or cryptographic and economic mechanisms.
The role combines independent technical work and direct interaction with partners to explain assumptions, limitations, and results.
In this role, you will work across the following areas: