More jobs:
Remote Lean 4 Formal Verification Expert
Remote / Online - Candidates ideally in
Binghamton, Broome County, New York, 13901, USA
Listed on 2026-08-03
Binghamton, Broome County, New York, 13901, USA
Listing for:
24-Mag Llc
Part Time, Remote/Work from Home
position Listed on 2026-08-03
Job specializations:
-
Business
Regulatory Compliance Specialist
Job Description & How to Apply Below
24‑MAG LLC offers a specialised part-time consulting opportunity for formal-methods professionals with hands-on Lean 4, interactive theorem proving, and mathematical formalisation expertise. You will develop rigorous formal problems, review peer tasks, and evaluate AI-generated proofs for correctness and rigor.
Ideal candidates have substantial experience in formal verification, Lean 4, and proof assistants, with a strong writing and reviewing track record.
#J-18808-LjbffrTo 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:
×