Remote Lean 4 Formal Methods Researcher Melbourne

Remote Lean 4 Formal Methods Researcher Melbourne

04 Nov
|
Alignerr
|
Melbourne

04 Nov

Alignerr

Melbourne

Alignerr is seeking mathematicians and formal methods specialists to formalize advanced proofs in Lean 4, working at the boundary of human intuition and machine-verifiable logic. This is a fully remote, hourly contract role for experts who enjoy rigorous proof work.

You'll translate informal arguments into Lean code, challenge assumptions, and collaborate with AI researchers to advance formal verification pipelines, with versatile schedule between 10 and 40 per week.

📌 Remote Lean 4 Formal Methods Researcher 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.

Veterinary Surgeon | Central Coast | $130000 - $150000 Per Year | Full Time (New South Wales)

Veterinary Surgeon | Central Coast | $130000 - $150000 Per Year | Full Time (New South Wales)

05 Nov
|
MedMatch Vets
|
New South Wales
  • 05 Nov
  • MedMatch Vets
  • New South Wales

Job Type: Full-time Explore a rewarding career path as a Veterinary Surgeon at a prestigious veterinary practice offering relocation opportunity near Central Coast, Australia.This is a unique opportu [...]

Hybrid Payroll Accountant: Accuracy & Compliance (Western Australia)

Hybrid Payroll Accountant: Accuracy & Compliance (Western Australia)

05 Nov
|
Placements24
|
Western Australia
  • 05 Nov
  • Placements24
  • Western Australia

Remote: Hybrid Placements24 is seeking a Payroll Accountant to join the finance team in Australia. The role focuses on accurate and timely payroll processing, data reconciliation, and compliance with [...]

Subscribe to this job alert:

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

Urgent Care Paramedic (Somerville)

Urgent Care Paramedic (Somerville)

05 Nov
|
ForHealth Group
|
Somerville
  • 05 Nov
  • ForHealth Group
  • Somerville

For Health Medical Centres is an industry leader in quality, accessible healthcare. We have a nationwide network of 95+ medical centres and 1500+ independent health practitioners. Our independent heal [...]

Trauma-informed Family Support Specialist (Campbelltown)

Trauma-informed Family Support Specialist (Campbelltown)

05 Nov
|
Catholiccare-Sydne
|
Campbelltown
  • 05 Nov
  • Catholiccare-Sydne
  • Campbelltown

Catholic Care Wollongong seeks a Family Strengthening Practitioner to deliver high-quality casework to families facing complex challenges, with trauma-informed, culturally responsive and child-centred [...]

Subscribe to this job alert:

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