Remote Lean 4 Proof Engineer - Mathematical Formalization (Brisbane)

Remote Lean 4 Proof Engineer - Mathematical Formalization (Brisbane)

03 Aug
|
Alignerr
|
Brisbane

03 Aug

Alignerr

Brisbane

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 robust experience with Lean (3/4) plus Coq/Isabelle/HOL/Agda.
#J-*****-Ljbffr

📌 Remote Lean 4 Proof Engineer - Mathematical Formalization (Brisbane)
🏢 Alignerr
📍 Brisbane

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) / brisbane

Subscribe to this job alert:

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