Alignerr is seeking a Mathematical Formalization Specialist to translate informal proofs into Lean and related systems. You will work on machine-verifiable mathematics and contribute to parsing and structuring complex arguments for formal proof environments.
This is a fully remote hourly contract. You will collaborate with researchers, test proof strategies, and document clear, readable proof scripts while advancing the capabilities of formal verification pipelines.
#J-18808-LjbffrRemote Lean Formalization Specialist for Proof Systems in seattle at Unknown Company
This position is listed as contract and able to be worked remotely.