Remote Researcher: Lean 4 (Perth)

Remote Researcher: Lean 4 (Perth)

21 Oct
|
Alignerr
|
Perth

21 Oct

Alignerr

Perth

Alignerr Corp. seeks a Researcher to advance Lean 4 formalization for AI training. This fully remote, hourly contract role targets mathematicians and logicians to convert informal proofs into Lean 4 code and explore mechanized reasoning's frontiers.

You will analyze proofs, build formalizations, and collaborate on strategies to improve formal verification pipelines, delivering reproducible proof scripts and rigorous mathematical models.

📌 Remote Researcher: Lean 4 (Perth)
🏢 Alignerr
📍 Perth

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.

Assistant Accountant (Brisbane)

Assistant Accountant (Brisbane)

21 Oct
|
Majer Recruitment
|
Brisbane
  • 21 Oct
  • Majer Recruitment
  • Brisbane

This range is provided by Majer Recruitment. Your actual pay will be based on your skills and experience — talk with your recruiter to learn more. Base pay range A$75,000.00/yr - A$90,000.00/yr [...]

Executive AI Deployment Strategist — Enterprise Transformation (Sydney)

Executive AI Deployment Strategist — Enterprise Transformation (Sydney)

21 Oct
|
Mistral
|
Sydney
  • 21 Oct
  • Mistral
  • Sydney

Mistral is seeking an AI Deployment Strategist to bridge vision and execution for strategic enterprise accounts. You will diagnose business challenges, design AI-powered solutions, and lead deployment [...]

Subscribe to this job alert:

Get the latest job offers by email for: remote researcher: lean 4 (perth) / perth

Full-Time Delivery Driver: Parts (Mona Vale)

Full-Time Delivery Driver: Parts (Mona Vale)

21 Oct
|
Motion
|
Mona Vale
  • 21 Oct
  • Motion
  • Mona Vale

Repco is seeking a Delivery Driver for the Brookvale location in New South Wales. The role involves picking up and transporting products to customers with a focus on safety and service. A company vehi [...]

Integrated Photonics Design Engineer, Device Components (Town of Cambridge)

Integrated Photonics Design Engineer, Device Components (Town of Cambridge)

21 Oct
|
HyperLight
|
Town of Cambridge
  • 21 Oct
  • HyperLight
  • Town of Cambridge

HyperLight is at the forefront of the commercialization of thin‑film lithium niobate (TFLN) integrated photonics - a material and process technology that is enabling high‑performance, scalable opt [...]

Subscribe to this job alert:

Get the latest job offers by email for: remote researcher: lean 4 (perth) / perth