Remote Researcher: Lean 4 & Formal Proofs For Ai Training Alberta

Remote Researcher: Lean 4 & Formal Proofs For Ai Training Alberta

12 Oct
|
Alignerr
|
Alberta

12 Oct

Alignerr

Alberta

Alignerr is seeking a Researcher to translate informal mathematical arguments into Lean 4 formalizations, with emphasis on clarity and correctness, remote contract.
You will analyze proofs, test proof assistants, collaborate to improve verification pipelines, and develop readable, reproducible Lean scripts. A robust mathematical background and Lean experience are required.
This versatile 10–40 hour/week role allows you to shape cutting-edge AI training through formal methods.
J-18808-Ljbffr

📌 Remote Researcher: Lean 4 & Formal Proofs For Ai Training Alberta
🏢 Alignerr
📍 Alberta

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.

Responsable de livraison technique principal, Laboratoire d'IA souveraine (Montreal)

Responsable de livraison technique principal, Laboratoire d'IA souveraine (Montreal)

12 Oct
|
Important Business
|
Montreal
  • 12 Oct
  • Important Business
  • Montreal

Description À propos de Mila Fondé par le professeur Yoshua Bengio de l’Université de Montréal, Mila rassemble des chercheurs spécialisés en intelligence artificielle et plus précisément [...]

Infirmier(ère) - CHSLD / Maison des Aînés - Rivière-au-Renard | Gaspésie

Infirmier(ère) - CHSLD / Maison des Aînés - Rivière-au-Renard | Gaspésie

12 Oct
|
Recognized
|
Rivière-au-Renard
  • 12 Oct
  • Recognized
  • Rivière-au-Renard

Description Infirmier(ère) – CHSLD / Maison des Aînés – Rivière-au-Renard | Gaspésie Lieu Rivière-au-Renard, Gaspésie–Îles-de-la-Madeleine, Québec, Canada Description du poste: S [...]

Subscribe to this job alert:

Get the latest job offers by email for: remote researcher: lean 4 & formal proofs for ai training alberta / alberta

Bilingual Supervisor, Transfers (Toronto)

Bilingual Supervisor, Transfers (Toronto)

12 Oct
|
Leading
|
Toronto
  • 12 Oct
  • Leading
  • Toronto

Description Aviso: At Aviso, we are dedicated to improving the financial well-being of Canadians. As a leading wealth management organization, we are committed to leadership, innovation, partnersh [...]

Barber / Stylist (Winnipeg)

Barber / Stylist (Winnipeg)

12 Oct
|
Recognized
|
Winnipeg
  • 12 Oct
  • Recognized
  • Winnipeg

Description Exciting Opportunity: Join our Team at Tommy Gun's Winnipeg! Position: Experienced and Certified Barbers or Hairstylists Work Term: Part-time and Full-time Location: Winnipeg -Sag [...]

Subscribe to this job alert:

Get the latest job offers by email for: remote researcher: lean 4 & formal proofs for ai training alberta / alberta