Job Description
Alignerr is seeking a Lean 4 Proof Engineer to formally mechanize advanced mathematical arguments. This fully remote, hourly contract role suits mathematicians with a passion for precision, structure, and machine-verifiable reasoning. You will translate informal proofs into Lean 4, identify gaps, and collaborate with AI researchers to push verification pipelines forward. You should have a strong mathematical background, hands-on experience with Lean (3/4) and related proof systems, and enjoy #J-18808-Ljbffr
