Remote Lean 4 Formal Methods Researcher for AI Proofs (Adelaide)

Remote Lean 4 Formal Methods Researcher for AI Proofs (Adelaide)

12 Oct
|
Alignerr
|
Adelaide

12 Oct

Alignerr

Adelaide

Alignerr is seeking Applied Formal Methods Researchers to convert rigorous mathematics into Lean 4 proofs, at the frontier of formal verification and AI reasoning. This is a fully remote, hourly contract designed for mathematicians who value precision and elegant formal arguments.

You will translate informal math into machine-verifiable proofs, analyze gaps, and collaborate on strategies to enhance verification pipelines. Prior Lean/Coq experience is strongly preferred.

#J-18808-Ljbffr

📌 Remote Lean 4 Formal Methods Researcher for AI Proofs (Adelaide)
🏢 Alignerr
📍 Adelaide

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.

Project Engineer (Melbourne)

Project Engineer (Melbourne)

13 Oct
|
Motion Recruitment
|
Melbourne
  • 13 Oct
  • Motion Recruitment
  • Melbourne

About the opportunity A well-established electronic security integrator is looking for a Project Engineer to join its team, based in Melbourne, with Sydney-based candidates also being considered. [...]

Safety Officer - Pilings (Western Australia)

Safety Officer - Pilings (Western Australia)

13 Oct
|
Design & Build
|
Western Australia
  • 13 Oct
  • Design & Build
  • Western Australia

Safety Advisor | Piling | Commercial & Mining | $150K–$170K + Super + Vehicle Our client is a well-established specialist piling contractor delivering concrete piling projects across the commercial [...]

Subscribe to this job alert:

Get the latest job offers by email for: remote lean 4 formal methods researcher for ai proofs (adelaide) / adelaide

HR Coordinator (Mulgrave)

HR Coordinator (Mulgrave)

13 Oct
|
Veritas
|
Mulgrave
  • 13 Oct
  • Veritas
  • Mulgrave

About the Role: Expand your HR experience and broaden your corporate HR skillset within a prestige global brand. We’re looking for a motivated HR professional with 1-2 years’ experience, inc [...]

Emergency FACEM - Locum (Victoria)

Emergency FACEM - Locum (Victoria)

13 Oct
|
CC Medical
|
Victoria
  • 13 Oct
  • CC Medical
  • Victoria

If these dates or rates don’t match you are looking for, please reach out to your consultant as we have many unadvertised positions - 8 November until 1 December - Accommodation provided, travel ki [...]

Subscribe to this job alert:

Get the latest job offers by email for: remote lean 4 formal methods researcher for ai proofs (adelaide) / adelaide