Remote Lean 4 Formal Verification Scientist for AI Proofs (Brisbane)

Remote Lean 4 Formal Verification Scientist for AI Proofs (Brisbane)

01 Aug
|
Alignerr
|
Brisbane

01 Aug

Alignerr

Brisbane

Alignerr is seeking Formal Verification Scientists to translate advanced mathematics into Lean 4 formalizations, shaping what modern proof assistants can express, capture, and automate.

This fully remote, versatile hourly contract invites mathematicians with a Master’s or higher in math-focused fields and hands-on experience with Lean, Coq, Isabelle/HOL, or Agda to collaborate with AI researchers and push the boundaries of mechanized mathematics.

#J-18808-Ljbffr

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

Baker (Yokine)

Baker (Yokine)

07 Aug
|
Woolworths Group
|
Yokine
  • 07 Aug
  • Woolworths Group
  • Yokine

Roster option 1 Start dayEnd dayStart timeEnd timeTuesdaySaturday3:00 AM12:00 PM - Join the Fresh Food People and grow your career with a supportive, professional team. - Beat the traffic with e [...]

Benefits for Working with EcoJoule (Brisbane)

Benefits for Working with EcoJoule (Brisbane)

07 Aug
|
Eco-Joule
|
Brisbane
  • 07 Aug
  • Eco-Joule
  • Brisbane

- Ecojoule Energy offices are located here in Loganholme, which is only 30 mins from Brisbane or 30 mins from the Gold Coast with plenty of amenities close by. - Off street parking is provided. Additi [...]

Subscribe to this job alert:

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

Courier (Melbourne Airport)

Courier (Melbourne Airport)

07 Aug
|
FedEx Australia
|
Melbourne Airport
  • 07 Aug
  • FedEx Australia
  • Melbourne Airport

We are looking for Courier to join our Bulk Team at Melbourne Airport to drive MR Truck Position Title: Courier Location: Melbourne Airport Job Type: Permanent Full-Time Key Details - [...]

Church Administrator (Tarragindi)

Church Administrator (Tarragindi)

07 Aug
|
Southside Uniting Church
|
Tarragindi
  • 07 Aug
  • Southside Uniting Church
  • Tarragindi

Southside Uniting Church Administrator Full time/flexible Hybrid – Tarragindi Centre and work from home Are you an organised, welcoming person who enjoys helping others and keeping things runnin [...]

Subscribe to this job alert:

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