The company is seeking expert mathematicians to translate informal proofs into machine-verifiable formalizations using systems like Lean to improve AI reasoning. Applicants should hold a Master's degree or higher in a related field and have hands-on experience with proof assistants. This is a fully remote, flexible freelance role focused on the intersection of formal logic and AI research.