Lean Formalization Engineer — Remote
-
Business
Job Description & How to Apply Below
Alignerr Corp. seeks a Mathematical Formalization Specialist to translate informal proofs into Lean and related systems, advancing machine-verifiable mathematics.
This remote hourly contract roles involves analyzing proofs, constructing formalizations, and collaborating with AI research teams to improve verification pipelines. The role emphasizes clarity, structure, and machine-verifiability, with strong Lean experience and a deep foundation in mathematics.
This is a strong position to take on the Lean Formalization Engineer — Remote & Flexible Contract role at Alignerr Corp.
The position is based in New York, NY, United States.
This opportunity is part of our work in IT & Technology.
The advertised compensation is 165..
We aim to respond to suitable candidates as soon as possible.
Full responsibilities and requirements are described in the listing above.
Learn more about the Lean Formalization Engineer — Remote & Flexible Contract role in the description above.
(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).
View / Apply for Jobs
Matching My Jurisdiction