About this opportunity
Alignerr Corp. lists this Lean Formalization Architect for AI Proofs (Remote) opportunity in austin, Colorado. Review the employer’s description below for duties, qualifications and application requirements.
Job description
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-Ljbffr
Worksite address
austin, CO, 81410, US
Who can apply
Review the original listing for work authorization, qualifications and employer requirements.