Senior Software Engineer in Formal Verification (C++)

Location: Remote; New York hybrid. Employees outside the US may be hired through an EOR, with compensation adjusted for geographic considerations.

Base salary: $180,000–$250,000 per year, excluding benefits, tokens, and equity.

Company

hirify.global builds Monad, a high-performance, EVM-compatible Layer 1 blockchain, including its parallel-execution EVM and custom state database.

What you will do

• Formally verify high-risk parts of the Monad implementation, including concurrent and parallel execution logic.
• Build Rocq models of system designs and prove their equivalence to production C++ implementations.
• Develop specifications and weakest-precondition proofs using BRiCk and Iris separation logic.
• Strengthen theorem statements and proof automation to scale verification across a fast-moving codebase.

Requirements

• At least five years of software engineering experience in C++.
• Experience building performant systems from scratch, such as databases, device drivers, or embedded systems.
• Hands-on experience with an interactive theorem prover, ideally Rocq or Coq, including machine-checked proofs about running code.
• Strong understanding of concurrency, memory management, software architecture, and performance profiling.
• Bachelor’s, Master’s, or PhD in Computer Science, or equivalent experience.
• Clear communication skills and the ability to take ownership in a small team.

Nice to have

• Experience with Rocq, Iris separation logic, and BRiCk formal semantics for C++.

Culture & Benefits

• Small team of engineers and researchers working on challenging blockchain systems problems.
• Open-source development with core software published on GitHub.
• Collaborative, low-ego culture focused on high-quality output.
• Private health insurance options, flexible paid time off, monthly wellness reimbursement, and paid parental leave.
• US employees receive medical, dental, and vision coverage, HSA and FSA options, a 401(k) match, and NYC office meal stipends.
• Employees hired through an EOR receive benefits based on local EOR offerings and country-specific requirements.