More jobs:
Senior Software Engineer - Formal Verification & Proofs
Job in
New York, New York County, New York, 10261, USA
Listed on 2026-06-25
Listing for:
Monad Foundation
Full Time
position Listed on 2026-06-25
Job specializations:
-
Software Development
Senior Developer
Job Description & How to Apply Below
Monad Foundation is seeking a Senior Software Engineer in Formal Verification to enhance the correctness of the Monad implementation. This role involves writing machine-checked proofs about production C++ code and ensuring the accuracy of high-risk components.
As part of a high-performing team, you will receive competitive compensation within the range of $180,000 to $250,000, and enjoy various benefits including health insurance and flexible paid time off.
#J-18808-LjbffrPosition Requirements
10+ Years
work experience
To View & Apply for jobs on this site that accept applications from your location or country, tap the button below to make a Search.
(If this job is in fact in your jurisdiction, then you may be using a Proxy or VPN to access this site, and to progress further, you should change your connectivity to another mobile device or PC).
(If this job is in fact in your jurisdiction, then you may be using a Proxy or VPN to access this site, and to progress further, you should change your connectivity to another mobile device or PC).
Search for further Jobs Here:
×