Remote Lean 4 Formal Verification Scientist For Ai Proofs (Brisbane)

Remote Lean 4 Formal Verification Scientist For Ai Proofs (Brisbane)

01 Aug
|
Alignerr
|
Brisbane

01 Aug

Alignerr

Brisbane

Alignerr is seeking Formal Verification Scientists to translate advanced mathematics into Lean 4 formalizations, shaping what modern proof assistants can express, capture, and automate.
This fully remote, versatile hourly contract invites mathematicians with a Master's or higher in math-focused fields and hands-on experience with Lean, Coq, Isabelle/HOL, or Agda to collaborate with AI researchers and push the boundaries of mechanized mathematics.
#J-*****-Ljbffr

📌 Remote Lean 4 Formal Verification Scientist For Ai Proofs (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 formal verification scientist for ai proofs (brisbane) / brisbane

Subscribe to this job alert:

Get the latest job offers by email for: remote lean 4 formal verification scientist for ai proofs (brisbane) / brisbane