Remote Lean 4 Researcher — Formal Proof & Ai Reasoning (Bundaberg Central)

Remote Lean 4 Researcher — Formal Proof & Ai Reasoning (Bundaberg Central)

13 Aug
|
Alignerr
|
Bundaberg Central

13 Aug

Alignerr

Bundaberg Central

Alignerr is seeking a Researcher to translate deep mathematical arguments into Lean 4 proofs, pushing formal verification to current frontiers. This fully remote, hourly contract offers ***** hours per week and a chance to influence AI reasoning through rigorous, machine-verifiable formalizations.
You will work on translating informal proofs, analyzing sub-structures, and developing readable proof scripts in Lean 4, Coq, Isabelle/HOL, or Agda, collaborating with researchers to improve verification
#J-*****-Ljbffr

📌 Remote Lean 4 Researcher — Formal Proof & Ai Reasoning (Bundaberg Central)
🏢 Alignerr
📍 Bundaberg Central

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.

Hygiene Service Technician (Wagga Wagga)

Hygiene Service Technician (Wagga Wagga)

15 Aug
|
Rentokil Initial
|
Wagga Wagga
  • 15 Aug
  • Rentokil Initial
  • Wagga Wagga

Love getting out on the road, having control over your schedule and the idea of an early afternoon knockoff? A role as a hygiene technician with Initial Hygiene (A Rentokil Initial company) could be w [...]

Grill Staff wanted at a Take away in Cronulla

Grill Staff wanted at a Take away in Cronulla

15 Aug
|
Cocky locky
|
Cronulla
  • 15 Aug
  • Cocky locky
  • Cronulla

Description Join Our Team at Cocky Locky! Grill (Male) Staff Wanted for Busy Burger Shop in Cronulla Are you looking for a fun, fast-paced job with a friendly atmosphere? Cocky Locky is a busy burg [...]

Subscribe to this job alert:

Get the latest job offers by email for: remote lean 4 researcher — formal proof & ai reasoning (bundaberg central) / bundaberg central

Charcoal Chicken Shop Allrounder (Ryde)

Charcoal Chicken Shop Allrounder (Ryde)

15 Aug
|
Gg
|
Ryde
  • 15 Aug
  • Gg
  • Ryde

Description Looking for a reliable and quick learning individual to join our team. Previous experience in Chicken and burger shop is required. Location is Ryde. Message to apply with resume and avail [...]

Assistant Store Manager - Macpac Adelaide

Assistant Store Manager - Macpac Adelaide

15 Aug
|
Macpac
|
Adelaide
  • 15 Aug
  • Macpac
  • Adelaide

Step into your next move, as an Assistant Store Manager in Adelaide. A hands-on leadership role where you’ll be front and centre with your team, driving performance, owning your results, and bri [...]

Subscribe to this job alert:

Get the latest job offers by email for: remote lean 4 researcher — formal proof & ai reasoning (bundaberg central) / bundaberg central