Applied Formal Methods Researcher (Lean 4) - Remote (Winnipeg)

Applied Formal Methods Researcher (Lean 4) - Remote (Winnipeg)

16 Oct
|
Alignerr
|
Winnipeg

16 Oct

Alignerr

Winnipeg

Remote researcher to formalize mathematical arguments using Lean 4 for AI training, requiring strong math and Lean experience. Flexible schedule, contract role.

📌 Applied Formal Methods Researcher (Lean 4) - Remote (Winnipeg)
🏢 Alignerr
📍 Winnipeg

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.

Subscribe to this job alert:

Get the latest job offers by email for: applied formal methods researcher (lean 4) - remote (winnipeg) / winnipeg

Subscribe to this job alert:

Get the latest job offers by email for: applied formal methods researcher (lean 4) - remote (winnipeg) / winnipeg