More jobs:
Lean Formal Proof Researcher — Remote
Remote / Online - Candidates ideally in
Boston, Suffolk County, Massachusetts, 02298, USA
Listed on 2026-01-05
Boston, Suffolk County, Massachusetts, 02298, USA
Listing for:
Alignerr
Remote/Work from Home
position Listed on 2026-01-05
Job specializations:
-
Business
Data Scientist
Job Description & How to Apply Below
A tech-forward company is seeking a Researcher skilled in Lean 4 and formal proof systems. The role involves translating informal mathematical arguments into machine-verifiable forms, emphasizing clarity and correctness. Candidates should possess a Master's degree in Mathematics or related fields with a strong background in rigorous proof writing and Lean. This position offers competitive hourly pay, remote flexibility, and the opportunity to work on cutting-edge AI projects with potential for contract extension.
#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:
×