Remote Lean 4 Formal Methods Researcher: Shape AI Reasoning (South Australia)

Remote Lean 4 Formal Methods Researcher: Shape AI Reasoning (South Australia)

04 Aug
|
Alignerr
|
South Australia

04 Aug

Alignerr

South Australia

Alignerr in Australia is seeking an Applied Formal Methods Researcher to translate rigorous mathematics into Lean 4 proofs. You will work at the frontier of formal verification and AI reasoning, producing machine-checkable formalizations.

Remote, hourly contract, 10–40 hours/week. You will collaborate with researchers to improve verification pipelines and test the limits of proof assistants, with emphasis on clarity and correctness.

#J-18808-Ljbffr

📌 Remote Lean 4 Formal Methods Researcher: Shape AI Reasoning (South Australia)
🏢 Alignerr
📍 South Australia

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 methods researcher: shape ai reasoning (south australia) / south australia

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 methods researcher: shape ai reasoning (south australia) / south australia