About this opportunity
Alignerr lists this Lean 4 Formal Verification Scientist - Remote opportunity in sheffield, Texas. Review the employer’s description below for duties, qualifications and application requirements.
Job description
Alignerr is seeking mathematicians with serious formal verification experience to translate advanced mathematical arguments into machine-verifiable Lean 4 proofs. This remote, hourly contract role targets proofs that push the current limits of automated proof assistants, collaborating with AI teams to understand where these tools struggle and how to improve them.
You will translate informal arguments into Lean 4 formalizations, analyze proofs across multiple domains, and develop reproducible
#J-18808-Ljbffr
Worksite address
sheffield, TX, 79781, US
Who can apply
Review the original listing for work authorization, qualifications and employer requirements.