12 Oct
|
Alignerr
|
Brisbane City
12 Oct
Alignerr
Brisbane City
Alignerr is seeking Lean 4 Proof Engineers to translate informal mathematical arguments into machine-verifiable Lean formalizations. You will analyze proofs, identify gaps, and construct formalizations that push the boundaries of automated provers while collaborating with AI researchers on verification strategies.
The role emphasizes precision, readability, and compatibility with Lean idioms, with remote, hourly arrangements and 10–40 hours per week commitment.
#J-18808-Ljbffr
📌 Remote Lean 4 Proof Engineer — Mathematical Formalization (Brisbane City)
🏢 Alignerr
📍 Brisbane City