Lean 4 Formal Verification Scientist — Remote Contract (Canberra)

Lean 4 Formal Verification Scientist — Remote Contract (Canberra)

14 Oct
|
Alignerr
|
Canberra

14 Oct

Alignerr

Canberra

Alignerr is seeking mathematicians and formal verification specialists to translate advanced mathematical arguments into Lean 4 proofs, advancing machine-verifiable formalizations. This remote, hourly contract role suits those who relish precision and the elegance of formal mathematics.

You’ll work on translating informal proofs, analyzing sub-structures, and collaborating with AI researchers to refine verification strategies in a adaptable asynchronous setup.

#J-18808-Ljbffr

📌 Lean 4 Formal Verification Scientist — Remote Contract (Canberra)
🏢 Alignerr
📍 Canberra

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.

Support, Communications & Events Coordinator (Perth)

Support, Communications & Events Coordinator (Perth)

15 Oct
|
Toll Group
|
Perth
  • 15 Oct
  • Toll Group
  • Perth

About Toll Group At Toll, we do more than just logistics - we move the businesses that move the world. Our 16,000 team members can help solve any logistics, transport, or supply chain challenge – b [...]

Sales Development Representative (Sydney)

Sales Development Representative (Sydney)

15 Oct
|
Sitemate
|
Sydney
  • 15 Oct
  • Sitemate
  • Sydney

Thanks for stopping by and learning more about this role at Sitemate! ✨️ We’d love to hear from you ‍‍‍‍ Overview The Sales Development Representative is responsible for qualifying an [...]

Subscribe to this job alert:

Get the latest job offers by email for: lean 4 formal verification scientist — remote contract (canberra) / canberra

Maintenance Managers (Perth)

Maintenance Managers (Perth)

15 Oct
|
Compass Group
|
Perth
  • 15 Oct
  • Compass Group
  • Perth

- Champion a safety‑first culture across village operations - Set the standard in service delivery at our DeltaFM sites Delta FM has the expertise, experience and support to provide exceptional fa [...]

Finance Officer (Brisbane)

Finance Officer (Brisbane)

15 Oct
|
Kingston Human Capital
|
Brisbane
  • 15 Oct
  • Kingston Human Capital
  • Brisbane

Your New Role Our State Government client is seeking an experienced AO2 Finance Officer – Transaction Processing to join their Finance team based near Mt Gravatt, Brisbane, with free car parking. [...]

Subscribe to this job alert:

Get the latest job offers by email for: lean 4 formal verification scientist — remote contract (canberra) / canberra