Remote Lean Proof Scientist for AI Reasoning (Montreal)

Remote Lean Proof Scientist for AI Reasoning (Montreal)

02 Oct
|
Alignerr
|
Montreal

02 Oct

Alignerr

Montreal

Alignerr is seeking Formal Verification Scientists to translate advanced mathematical arguments into exact, machine-verifiable Lean proofs—pushing the edge of what proof assistants can express and automate.

This fully remote, hourly contract role offers flexible commitment (10–40 hours/week) for mathematicians who live and breathe rigorous proof construction and aim to advance formal verification in AI systems.

📌 Remote Lean Proof Scientist for AI Reasoning (Montreal)
🏢 Alignerr
📍 Montreal

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.

Expéditionnaire/Réceptionnaire (Laval)

Expéditionnaire/Réceptionnaire (Laval)

02 Oct
|
Roofmart
|
Laval
  • 02 Oct
  • Roofmart
  • Laval

Fantastic Opportunity to Be Part of a Great Team! Roofmart, Canada’s National distributor for Exterior Building Supply for Roofing, Siding, Metal and Building Envelope. With over 50 Roofmart loca [...]

Secrétaire de direction - Bureau de lutte contre l'itinérance (Montreal)

Secrétaire de direction - Bureau de lutte contre l'itinérance (Montreal)

02 Oct
|
Ville de Montréal
|
Montreal
  • 02 Oct
  • Ville de Montréal
  • Montreal

La Ville de Montréal est confrontée à une crise de l'itinérance sans précédent. Elle reconnaît qu'il s'agit d'une crise importante, liée à des causes structurelles telles que la pauvreté cro [...]

Subscribe to this job alert:

Get the latest job offers by email for: remote lean proof scientist for ai reasoning (montreal) / montreal

Secrétaire de direction - Bureau de lutte contre l'itinérance (Montreal)

Secrétaire de direction - Bureau de lutte contre l'itinérance (Montreal)

02 Oct
|
Ville de Montréal
|
Montreal
  • 02 Oct
  • Ville de Montréal
  • Montreal

La Ville de Montréal est confrontée à une crise de l'itinérance sans précédent. Elle reconnaît qu'il s'agit d'une crise importante, liée à des causes structurelles telles que la pauvreté cro [...]

Senior Hydrogeologist (Whitby)

Senior Hydrogeologist (Whitby)

02 Oct
|
WSP
|
Whitby
  • 02 Oct
  • WSP
  • Whitby

Job Category: Sciences Job Description: What if you could redefine what's possible? With us, you can. You want Purpose. Growth. Opportunity. People who get it. We are the home of ambitious, [...]

Subscribe to this job alert:

Get the latest job offers by email for: remote lean proof scientist for ai reasoning (montreal) / montreal