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 adaptable commitment.
J-18808-Ljbffr