Lean 4 Formal Verification Scientist — Remote Contract (Adelaide)

Lean 4 Formal Verification Scientist — Remote Contract (Adelaide)

14 Oct
|
Alignerr
|
Adelaide

14 Oct

Alignerr

Adelaide

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 (Adelaide)
🏢 Alignerr
📍 Adelaide

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.

Regional Small Animal Vet: Growth, CE & Support (Melbourne)

Regional Small Animal Vet: Growth, CE & Support (Melbourne)

14 Oct
|
VetPartners Australia Pty
|
Melbourne
  • 14 Oct
  • VetPartners Australia Pty
  • Melbourne

Shepparton Veterinary Clinic in regional Victoria is seeking a part time Small Animal Veterinarian to join a friendly, supportive team. The clinic offers a modern facility with multiple consult rooms, [...]

6-Month Contract: Food Production Packer (Day/Night Shifts) (Melbourne)

6-Month Contract: Food Production Packer (Day/Night Shifts) (Melbourne)

14 Oct
|
Kinrise
|
Melbourne
  • 14 Oct
  • Kinrise
  • Melbourne

Kinrise is seeking reliable Packers to join our production team in Hallam on fixed-term 6-month contracts. This hands-on role supports packing, labeling and preparation of finished products to meet sa [...]

Subscribe to this job alert:

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

EOI – ILA Immersive Public Artwork (Adelaide)

EOI – ILA Immersive Public Artwork (Adelaide)

14 Oct
|
Guildhouse
|
Adelaide
  • 14 Oct
  • Guildhouse
  • Adelaide

Expression of Interest: ILA immersive public artwork Image: Eden, commissioned by Illuminate Adelaide, courtesy ILA. Guildhouse has been engaged by Immersive Light + Art (ILA) to deliver a major i [...]

Holiday Retail Sales Assistant — 40% Staff Discount (Gympie)

Holiday Retail Sales Assistant — 40% Staff Discount (Gympie)

14 Oct
|
Colonial Group
|
Gympie
  • 14 Oct
  • Colonial Group
  • Gympie

STRAND is recruiting a Holiday Casual Sales Assistant to join our busy festive-season floor. You’ll create memorable customer experiences, become a product expert, and help shoppers find the perfect [...]

Subscribe to this job alert:

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