Senior Software Engineer, Formal Verification
Category LabsLayer-1 Blockchain company
Remote$180,000 - $250,000Senior
Paradigm
Dragonfly Capital
Electric Capital
Greenoaks
Coinbase Ventures
OKX
Software Engineering
About the role
TL;DR
Senior Software Engineer to formally verify Monad implementation correctness using machine-checked proofs.
Required skills
C++GitLinux
Domain expertise
cryptodeveloper-toolsai
Benefits & perks
Private health insurance options, Flexible paid time off, Monthly wellness reimbursement, Paid parental leave, World-class benefits package with 100% paid medical, dental, and vision insurance including 75% coverage for dependents and HSA + FSA options, 401(k) with company match, Lunch and dinner stipend (in-office NYC)
Tech stack
C++GitLinux