Remote Lean 4 Formal Verification Scientist (Perth)

Remote Lean 4 Formal Verification Scientist (Perth)

08 Nov
|
Alignerr
|
Perth

08 Nov

Alignerr

Perth

Alignerr seeks Formal Verification Scientists to translate advanced mathematics into Lean 4 formalizations, shaping how AI understands formal proofs. This fully remote, hourly contract targets mathematicians passionate about formal verification and mechanized mathematics.

You'll translate informal proofs, analyze gaps, and build readable proof scripts while collaborating with AI researchers to improve verification pipelines. The role offers ongoing work and flexible schedule.

📌 Remote Lean 4 Formal Verification Scientist (Perth)
🏢 Alignerr
📍 Perth

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 (perth) / perth