Alignerr seeks a mathematician to translate informal proofs into machine-verifiable Lean formalizations. This fully remote hourly contract blends mathematics with computer science, focusing on proof assistants and rigorous verification to advance AI reasoning.
You will work with AI researchers to push the boundaries of what proof systems can express, test formal scripts, and formalize classical results across algebra, analysis, and topology.
#J-18808-Ljbffr