Remote Lean Proof Engineer: Formalize Advanced Math
Remote / Online - Candidates ideally in
Miami, Miami-Dade County, Florida, 33222, USA
Listed on 2026-02-28
Miami, Miami-Dade County, Florida, 33222, USA
Listing for:
Alignerr
Remote/Work from Home
position Listed on 2026-02-28
Job specializations:
-
Engineering
Job Description & How to Apply Below
A leading AI research company is seeking a Remote Lean 4 Proof Engineer to work on mathematical formalization. You will translate informal proofs into Lean, analyze structures, and collaborate with researchers to advance formal verification. The ideal candidate holds a Master’s degree or higher in Mathematics or a related field, has a solid background in proof writing, and hands-on experience with Lean.
This role offers competitive pay and a flexible remote work environment.
#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:
×