Lean Proof Architect Formal Verification
Job in
Atlanta, Fulton County, Georgia, 30383, USA
Listed on 2026-01-12
Listing for:
Labelbox
Full Time
position Listed on 2026-01-12
Job specializations:
-
Engineering
Job Description & How to Apply Below
A leading AI company is seeking a Mathematical Formalization Specialist to translate informal mathematical proofs into Lean. The role requires a Master's degree in Mathematics or a related field and strong expertise in rigorous proof writing. The ideal candidate will enhance AI reliability and formal verification, helping to advance the field through collaboration and innovative proof strategies. Compensation ranges from $50 to $150 per hour.
#J-18808-Ljbffr
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:
×