Formal Verification Engineer

We are Reilabs - a research & development agency focused on zero-knowledge cryptography and its applications.

We are hiring a Formal Verification Engineer who has strong foundations in mathematics and computer science to implement formal verification frameworks to verify ZK and programming language semantics.

Responsibilities

• Design, develop, and maintain formal verification frameworks
• Develop and verify formal specifications for smart contracts and protocols
• Keep current with the developing research in formal verification and ZK
• Collaborate with security researchers and cryptographers
• Independently drive projects
• Contribute high quality open source code
• Collaborate with a fully distributed team

Requirements

• Experience with interactive theorem provers like Lean, Roq, Isabelle, or ACL2
• Knowledge of formal methods and verification techniques
• Interest in cryptography and the zero knowledge ecosystem
• Excellent problem-solving and analytical skills

Our Offer

• $40-$70 per hour (depends on experience) on a B2B contract
• Fully remote position within GMT-8 to GMT+2 timezones (Americas, Europe, Africa)
• Complete autonomy in your time management
• Part-time engagements possible (at least 30 hours per week)

Apply now

Email your CV and a short intro to hi@reilabs.io