Lean 4 Proof Engineer (East York)

Lean 4 Proof Engineer (East York)

22 Oct
|
Alignerr
|
East York

22 Oct

Alignerr

East York

Seeking mathematicians with expertise in Lean and formal proof languages to translate informal mathematical proofs into machine-verifiable formalizations, pushing the boundaries of automated verification.

📌 Lean 4 Proof Engineer (East York)
🏢 Alignerr
📍 East York

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: lean 4 proof engineer (east york) / east york

Subscribe to this job alert:

Get the latest job offers by email for: lean 4 proof engineer (east york) / east york