Job Description
Alignerr is seeking Formal Verification Scientists to translate advanced mathematics into Lean 4 proofs, shaping how AI reasons about truth and knowledge. You will formalize informal arguments, analyze proof structures, and collaborate with AI researchers to design verification pipelines. This remote, hourly-contract role offers flexible hours (10-40 per week) and the opportunity to contribute to frontier automated reasoning, with ongoing project extensions possible. #J-18808-Ljbffr
