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
#J-18808-LjbffrRemote Lean Formalization Specialist — Proof Systems in seattle at Unknown Company
This position is listed as contract and able to be worked remotely.