Remote Lean 4 Proof Engineer — Mathematical Formalization (Brisbane City)

Remote Lean 4 Proof Engineer — Mathematical Formalization (Brisbane City)

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

Reply to this offer

Impress this employer describing Your skills and abilities, fill out the form below and leave Your personal touch in the presentation letter.

Subscribe to this job alert:

Get the latest job offers by email for: remote lean 4 proof engineer — mathematical formalization (brisbane city) / brisbane city

Subscribe to this job alert:

Get the latest job offers by email for: remote lean 4 proof engineer — mathematical formalization (brisbane city) / brisbane city