Lean 4 Formal Verification Scientist — Remote Contract (City of Gold Coast)

Lean 4 Formal Verification Scientist — Remote Contract (City of Gold Coast)

14 Oct
|
Alignerr
|
City of Gold Coast

14 Oct

Alignerr

City of Gold Coast

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 versatile asynchronous setup.

#J-18808-Ljbffr

📌 Lean 4 Formal Verification Scientist — Remote Contract (City of Gold Coast)
🏢 Alignerr
📍 City of Gold Coast

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 (city of gold coast) / city of gold coast

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 (city of gold coast) / city of gold coast