Remote Lean 4 Formal Verification Scientist Mathlib Brisbane

Remote Lean 4 Formal Verification Scientist Mathlib Brisbane

09 Nov
|
Alignerr
|
Brisbane

09 Nov

Alignerr

Brisbane

Alignerr seeks Formal Verification Scientists to translate advanced mathematics into Lean 4 formalizations, shaping how AI understands formal proofs. This fully remote, hourly contract targets mathematicians passionate about formal verification and mechanized mathematics.

You'll translate informal proofs, analyze gaps, and build readable proof scripts while collaborating with AI researchers to improve verification pipelines. The role offers ongoing work and versatile schedule.
J-18808-Ljbffr

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

Pet Stylist Caringbah (Australia)

Pet Stylist Caringbah (Australia)

10 Nov
|
Petbarn
|
Australia
  • 10 Nov
  • Petbarn
  • Australia

Job Type: Full-time, Part-time Location :Caringbah - 248Posted on :23 July 2026 We have an exciting opportunity for an experienced Pet Stylist to join our Caringbah salon on a full time or part-time [...]

Software Engineer (Adelaide)

Software Engineer (Adelaide)

10 Nov
|
RTX
|
Adelaide
  • 10 Nov
  • RTX
  • Adelaide

Date Posted: Country: Australia Location: AU-SA-MAWSON LAKES-111 ~ 1-11 Technology Dr ~ BLDG 111 Position Role Type: Onsite Fast track your career on breakthrough defence projects Gain hands‑on ex [...]

Subscribe to this job alert:

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

Senior ServiceNow Developer - ITOM/ITSM & Mapping (Remote AU) (Australia)

Senior ServiceNow Developer - ITOM/ITSM & Mapping (Remote AU) (Australia)

10 Nov
|
FR Consultancy
|
Australia
  • 10 Nov
  • FR Consultancy
  • Australia

Remote: Remote A top consulting firm seeks a Senior ServiceNow Developer with 8–10 years of ServiceNow experience for work from home in Australia. The ideal candidate will design and implement Serv [...]

Electrical Asset Management Leader Permanent - Full Time — Engineers Mackay, Rockhampton, Brisbane, QLD - Flexible Location

Electrical Asset Management Leader Permanent - Full Time — Engineers Mackay, Rockhampton, Brisbane, QLD - Flexible Location

10 Nov
|
Aurizon
|
Brisbane
  • 10 Nov
  • Aurizon
  • Brisbane

Job Type: Full-time Mackay, Rockhampton, Brisbane, QLD - Flexible Location Location: Brisbane, Rockhampton or Mackay Remuneration/Benefit: Competitive remuneration and benefits! About the role: Shape [...]

Subscribe to this job alert:

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