Remote Formal Verification Scientist: Lean 4 & Mathlib Brisbane

Remote Formal Verification Scientist: Lean 4 & Mathlib Brisbane

26 Oct
|
Alignerr
|
Brisbane

26 Oct

Alignerr

Brisbane

Alignerr is seeking a Formal Verification Scientist to translate advanced mathematics into Lean 4 formalizations, pushing the frontiers of what proof assistants can express and automate. This fully remote, hourly contract invites mathematicians to shape mechanized mathematics and collaborate with AI researchers to improve formal verification pipelines.

The role requires a robust background in mathematics and practical experience with Lean/Coq/Isabelle; Lean 4 is strongly preferred.
J-18808-Ljbffr

📌 Remote Formal Verification Scientist: Lean 4 & Mathlib Brisbane
🏢 Alignerr
📍 Brisbane

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.

Gardener & Handyperson - Rydges Hobart

Gardener & Handyperson - Rydges Hobart

27 Oct
|
EVT - Entertainment | Ventures | Travel
|
Hobart
  • 27 Oct
  • EVT - Entertainment | Ventures | Travel
  • Hobart

About EVT: Rydges Hobart is part of EVT, one of Australasia's market-leading experience creators offering careers that can take you wherever you want to go across entertainment, ventures, and travel [...]

Versatile Sports Coach – Multi-Sport Specialist (Melbourne)

Versatile Sports Coach – Multi-Sport Specialist (Melbourne)

27 Oct
|
No Limits Sports
|
Melbourne
  • 27 Oct
  • No Limits Sports
  • Melbourne

No Limits Sports is seeking qualified coaches to join our Melbourne-based team for 2026 across diverse sports and activities. Experience in Athletics, Soccer, Gymnastics, Frisbee, Oz Tag, Dance, AFL, [...]

Subscribe to this job alert:

Get the latest job offers by email for: remote formal verification scientist: lean 4 & mathlib brisbane / brisbane

Front of House Dynamo — Fast-Paced Team Player (Sydney)

Front of House Dynamo — Fast-Paced Team Player (Sydney)

27 Oct
|
Chargrill Charlie's
|
Sydney
  • 27 Oct
  • Chargrill Charlie's
  • Sydney

Chargrill Charlie’s in Sydney is seeking Front of House team members to greet guests, take orders and ensure the best possible service. You’ll work with coworkers to keep the restaurant clean, saf [...]

Senior Colourist & Extensions Specialist — Flexible Hours (Melbourne)

Senior Colourist & Extensions Specialist — Flexible Hours (Melbourne)

27 Oct
|
Mane Character Colour Specialists
|
Melbourne
  • 27 Oct
  • Mane Character Colour Specialists
  • Melbourne

Mane Character Colour Specialists in Maidstone, Melbourne's west, is seeking a Senior Colourist & Hair Extension technician to join our family-owned salon. You will deliver expert colouring techniques [...]

Subscribe to this job alert:

Get the latest job offers by email for: remote formal verification scientist: lean 4 & mathlib brisbane / brisbane