Remote Lean 4 Formalization Scientist (Brisbane City)

Remote Lean 4 Formalization Scientist (Brisbane City)

12 Oct
|
Alignerr
|
Brisbane City

12 Oct

Alignerr

Brisbane City

Alignerr is seeking Formal Verification Scientists to translate advanced mathematics into Lean 4 formalizations, shaping AI's understanding and automation of formal proofs. This is a fully remote, hourly contract role, ideal for mathematicians passionate about formal verification and mechanized mathematics.

The role emphasizes translating dense arguments into exact proofs, testing proof assistants, and collaborating with AI researchers to enhance verification pipelines.

#J-18808-Ljbffr

📌 Remote Lean 4 Formalization Scientist (Brisbane City)
🏢 Alignerr
📍 Brisbane City

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.

Project Engineer (Melbourne)

Project Engineer (Melbourne)

13 Oct
|
Motion Recruitment
|
Melbourne
  • 13 Oct
  • Motion Recruitment
  • Melbourne

About the opportunity A well-established electronic security integrator is looking for a Project Engineer to join its team, based in Melbourne, with Sydney-based candidates also being considered. [...]

Safety Officer - Pilings (Western Australia)

Safety Officer - Pilings (Western Australia)

13 Oct
|
Design & Build
|
Western Australia
  • 13 Oct
  • Design & Build
  • Western Australia

Safety Advisor | Piling | Commercial & Mining | $150K–$170K + Super + Vehicle Our client is a well-established specialist piling contractor delivering concrete piling projects across the commercial [...]

Subscribe to this job alert:

Get the latest job offers by email for: remote lean 4 formalization scientist (brisbane city) / brisbane city

HR Coordinator (Mulgrave)

HR Coordinator (Mulgrave)

13 Oct
|
Veritas
|
Mulgrave
  • 13 Oct
  • Veritas
  • Mulgrave

About the Role: Expand your HR experience and broaden your corporate HR skillset within a prestige global brand. We’re looking for a motivated HR professional with 1-2 years’ experience, inc [...]

Emergency FACEM - Locum (Victoria)

Emergency FACEM - Locum (Victoria)

13 Oct
|
CC Medical
|
Victoria
  • 13 Oct
  • CC Medical
  • Victoria

If these dates or rates don’t match you are looking for, please reach out to your consultant as we have many unadvertised positions - 8 November until 1 December - Accommodation provided, travel ki [...]

Subscribe to this job alert:

Get the latest job offers by email for: remote lean 4 formalization scientist (brisbane city) / brisbane city