14 Oct
|
Alignerr
|
New Brunswick
14 Oct
Alignerr
New Brunswick
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 explicit, 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 (New Brunswick)
🏢 Alignerr
📍 New Brunswick