More jobs:
Lean Formalization Architect (Remote Contract
Remote / Online - Candidates ideally in
Commerce City, Adams County, Colorado, 80022, USA
Listed on 2026-07-31
Commerce City, Adams County, Colorado, 80022, USA
Listing for:
Alignerr
Contract, Remote/Work from Home
position Listed on 2026-07-31
Job specializations:
-
Business
AI Business & Operations
Job Description & How to Apply Below
Alignerr seeks a Mathematical Formalization Specialist to translate informal proofs into Lean and related systems. This fully remote contract role focuses on advancing machine-verifiable mathematics and tackling proofs beyond current automation.
You will collaborate with AI research teams, draft readable proof scripts, and contribute to large formalization projects. A strong mathematical background and hands-on Lean experience are essential.
#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:
×