Remote Lean 4 Formal Verification Scientist (Melbourne)

Remote Lean 4 Formal Verification Scientist (Melbourne)

02 Aug
|
Alignerr
|
Melbourne

02 Aug

Alignerr

Melbourne

Alignerr is seeking mathematicians and formal verification specialists to translate advanced mathematical arguments into machine-verifiable Lean 4 proofs.
This fully remote, hourly contract role targets precision and the structural elegance of formal mathematics, with no AI background required beyond mastery of rigorous proof and hands-on experience with proof assistants.
You will translate informal proofs into Lean 4 formalizations, analyze proofs for gaps, and collaborate with AI researchers
#J-*****-Ljbffr

📌 Remote Lean 4 Formal Verification Scientist (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.

Asset Management Planning Specialist (Australia)

Asset Management Planning Specialist (Australia)

06 Aug
|
Nameless
|
Australia
  • 06 Aug
  • Nameless
  • Australia

- Work with a global ASX100 industry leader focused on safety, inclusion and high performance - Play a key role in asset lifecycle optimisation and equipment strategy across Asia Pacific - [...]

Medical Product Specialist Queensland (Brisbane)

Medical Product Specialist Queensland (Brisbane)

06 Aug
|
Nameless
|
Brisbane
  • 06 Aug
  • Nameless
  • Brisbane

Medical Product Specialist QLD Are you an experienced sales professional with a passion for building meaningful relationships in the healthcare sector? Join Ego Pharmaceuticals, where we focus on sci [...]

Subscribe to this job alert:

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

Department of Defence Security Officers, South Australia

Department of Defence Security Officers, South Australia

06 Aug
|
Important Company of the Sector
|
Australia
  • 06 Aug
  • Important Company of the Sector
  • Australia

Department of Defence Security Officers, South Australia - Australian Citizens only As one of the largest providers of security services in Australia and New Zealand, our valued employees are support [...]

Natural Hazards, Catastrophe Response Manager (Brisbane)

Natural Hazards, Catastrophe Response Manager (Brisbane)

06 Aug
|
Important Business
|
Brisbane
  • 06 Aug
  • Important Business
  • Brisbane

A new transformational adventure awaits you… How does 5 weeks of annual leave, a fulfilling career you'll genuinely enjoy, and working for a reputable organization that promotes wellbeing and drive [...]

Subscribe to this job alert:

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