Remote Lean Formalization Specialist — Proof Systems
Spokane, Spokane County, Washington, 99201, USA
Listed on 2026-10-20
-
Research/Development
IT Specialist
Alignerr seeks a Mathematical Formalization Specialist to translate informal proofs into Lean and related proof systems, focusing on precision and structure. You will analyze proofs, identify gaps, and construct formalizations that test proof assistants’ limits, collaborating with researchers to improve verification pipelines.
The role is a fully remote, hourly contract with flexible, task-based commitment, offering autonomy on challenging formalization projects and opportunities for ongoing
For the Remote Lean Formalization Specialist — Proof Systems position at Alignerr Corp., we are reviewing applications now.
We would love to welcome a new Remote Lean Formalization Specialist — Proof Systems to our organisation in Seattle, WA, United States.
Step into the Remote Lean Formalization Specialist — Proof Systems role at Alignerr Corp. in Seattle, WA, United States and grow with us.
Please review the full job details above before applying.
(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).