Alignerr is seeking a researcher to advance Lean 4 formalization and AI training.
This fully remote hourly contract invites mathematicians and verification specialists to translate informal proofs into machine-verifiable Lean 4 code, exploring algebra, topology, and logic in a remote, adaptable setting.The role emphasizes rigorous proof writing, reproducible scripts, and collaboration to push the boundaries of formal verification tools.
***** hours per week, highly autonomous work.
#J-*****-Ljbffr