More jobs:
Remote Lean Proof Engineer AI Reasoning
Remote / Online - Candidates ideally in
Austin, Delta County, Colorado, 81410, USA
Listed on 2026-07-20
Austin, Delta County, Colorado, 81410, USA
Listing for:
Alignerr
Remote/Work from Home
position Listed on 2026-07-20
Job specializations:
-
Business
AI Business & Operations
Job Description & How to Apply Below
Location: Austin
Alignerr seeks a Mathematical Formalization Specialist to translate informal proofs into Lean and related proof systems, enabling machine‑verifiable mathematics.
This remote, flexible hourly contract role collaborates with AI research teams to push the boundaries of formal verification, drafting readable proof scripts and contributing to proof automation strategies.
Ideal candidates have a strong math background, Lean experience, and a genuine enthusiasm for formal proofs.
#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:
×