Remote Lean 4 Formal Methods Researcher (Contract) (Melbourne)

Remote Lean 4 Formal Methods Researcher (Contract) (Melbourne)

15 Oct
|
Alignerr
|
Melbourne

15 Oct

Alignerr

Melbourne

Alignerr seeks Applied Formal Methods Researchers to formalize advanced mathematical proofs in Lean 4, working at the frontier of mechanized mathematics and AI research.

This fully remote, hourly contract role targets mathematicians who value precision, structure, and expressiveness in machine-verifiable reasoning. Expect collaboration with AI researchers and high-quality formalization work.

#J-18808-Ljbffr

📌 Remote Lean 4 Formal Methods Researcher (Contract) (Melbourne)
🏢 Alignerr
📍 Melbourne

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.

A-Grade Electrician – BMS & Mech-Elec (EBA) (Melbourne)

A-Grade Electrician – BMS & Mech-Elec (EBA) (Melbourne)

16 Oct
|
Spectrol
|
Melbourne
  • 16 Oct
  • Spectrol
  • Melbourne

Who we are We are a fast growing EBA company taking on a range of engaging projects and we need an electrician experienced in BMS and/or mechanical-electrical systems to help deliver these projects t [...]

2026 Christmas Casual - Jay Jays - Darwin (Northern Territory)

2026 Christmas Casual - Jay Jays - Darwin (Northern Territory)

16 Oct
|
Myer
|
Northern Territory
  • 16 Oct
  • Myer
  • Northern Territory

2026 Christmas Casual - Jay Jays - Darwin Job no: 945584 Work type: Casual Location: Darwin Do you LOVE Jay Jays? Then why not join us for the summer! Can you provide our customers with exception [...]

Subscribe to this job alert:

Get the latest job offers by email for: remote lean 4 formal methods researcher (contract) (melbourne) / melbourne

Aboriginal Mental Health and Wellbeing Peer Support Worker (Health Education Officer Graduate/Non Graduate) (Sydney)

Aboriginal Mental Health and Wellbeing Peer Support Worker (Health Education Officer Graduate/Non Graduate) (Sydney)

16 Oct
|
Sydney Local Health District
|
Sydney
  • 16 Oct
  • Sydney Local Health District
  • Sydney

Employment Type: Permanent Full Time or Part Time (minimum 24 Hours per week) Position Classification: Health Education Officer Graduate or Non Graduate Remuneration: $34.08 - $62.28 per hour Supera [...]

5 x Line Setter / Machine Setter - Pharmaceutical & Food Packaging Machines (City of Bayside)

5 x Line Setter / Machine Setter - Pharmaceutical & Food Packaging Machines (City of Bayside)

16 Oct
|
Good People HR
|
City of Bayside
  • 16 Oct
  • Good People HR
  • City of Bayside

5 x Machine Setter / Line Setter – Food & Pharmaceutical Manufacturing Permanent Full-Time | Immediate Start | Day & Afternoon Shift | South Eastern Suburbs 🚨 Immediate Start Available 🚨 Es [...]

Subscribe to this job alert:

Get the latest job offers by email for: remote lean 4 formal methods researcher (contract) (melbourne) / melbourne