14 Oct
|
Alignerr
|
Alberta
Alignerr Corp. seeks a Mathematical Formalization Specialist to translate complex proofs into Lean and related systems, ensuring rigor, correctness, and machine verifiability. You will work with researchers to identify gaps and push the boundaries of current proof assistants.
The role emphasizes formal proof construction, collaboration across domains, and transparent, reproducible proof scripts to advance AI reasoning and verification pipelines. Fully remote, hourly contract with flexible commitment.
#J-18808-Ljbffr
📌 Lean Formalization Specialist - Remote Contract (Alberta)
🏢 Alignerr
📍 Alberta