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

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

03 Aug
|
Alignerr
|
Brisbane City

03 Aug

Alignerr

Brisbane City

Alignerr is seeking a Lean 4 Proof Engineer to formalize rigorous mathematical arguments into machine-verifiable proofs. You will translate informal proofs into Lean 4 formalizations, work with experts to push the boundaries of automated provers, and design verification strategies for AI research teams.

Required are a Master’s degree or higher and solid experience with Lean (3/4) plus Coq/Isabelle/HOL/Agda.

#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