More jobs:
Lean Proof Engineer — Remote
Remote / Online - Candidates ideally in
Chicago, Cook County, Illinois, 60290, USA
Listed on 2025-12-20
Chicago, Cook County, Illinois, 60290, USA
Listing for:
Alignerr
Contract, Remote/Work from Home
position Listed on 2025-12-20
Job specializations:
-
Engineering
Mathematics
Job Description & How to Apply Below
A leading technology firm seeks a Mathematical Formalization Specialist to work remotely. The role involves translating informal mathematical proofs into machine-verifiable formalizations using Lean and related systems. Candidates should possess a Master's degree in Mathematics or a closely related field, along with a strong foundation in rigorous proof writing. This position is perfect for someone deeply enthusiastic about formal verification and the future of mechanized mathematics.
An excellent opportunity to shape the landscape of mathematical reasoning.
#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:
×