Common Prefix

Blockchain / Web3

Overview

Common Prefix is a scientific blockchain R&D firm that designs, audits, and implements cryptographic and consensus protocols for leading L1s, L2s, and DeFi systems, combining academic research with applied engineering.

Key Information

Central Office
Tallinn, Estonia
Founded
2021

Links

Latest Jobs

Formal Verification Engineer

🏠

Remote

Formal Verification Engineer verifying blockchain protocols and smart contracts. Lean4, Coq, F*, or TLA+ with functional and formal verification, focusing on invariants, safety properties, and distributed system correctness.

F*Lean4Rocq ProverTLA+
Verified Jun 7, 2026 View listing

Past Jobs

EXPIRED

Senior Software Engineer

Senior+
🏠

Remote

Senior Software Engineer building blockchain protocols and infrastructure, working primarily in Rust. Requires 5+ years software engineering experience with large-scale systems and network programming.

Rust
First seen Nov 9, 2025 Last seen May 9, 2026