Alignerr is seeking a Mathematical Formalization Specialist to convert informal proofs into Lean and related proof systems, helping advance machine-verifiable mathematics within AI research. This is a fully remote, hourly contract role collaborating with leading researchers.
You will develop rigorous proof scripts, analyze gaps, and design strategies to push the limits of proof automation while maintaining clear, reproducible work and flexible scheduling.
#J-18808-LjbffrLean Formalization Architect for AI Proofs (Remote) in austin at Unknown Company
This position is listed as contract and able to be worked remotely.