Remote Formal Verification Scientist (Lean 4 & Mathlib) (Sydney)

Remote Formal Verification Scientist (Lean 4 & Mathlib) (Sydney)

12 Oct
|
Alignerr
|
Sydney

12 Oct

Alignerr

Sydney

Alignerr is seeking a Formal Verification Scientist to translate advanced mathematics into Lean 4 formalizations for AI systems. This fully remote, hourly contract invites mathematicians who relish formal proof work to contribute to frontier AI research.

You will translate informal arguments into machine-verifiable proofs, analyze across algebra, analysis, topology, and logic, and collaborate with AI researchers to improve verification pipelines.

#J-18808-Ljbffr

📌 Remote Formal Verification Scientist (Lean 4 & Mathlib) (Sydney)
🏢 Alignerr
📍 Sydney

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 formal verification scientist (lean 4 & mathlib) (sydney) / sydney

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 formal verification scientist (lean 4 & mathlib) (sydney) / sydney