All Gigs

**Mathematical Formalization Specialist** ## Day-to-day - Write and formalize advanced mathematical proofs in Lean for advanced AI research - Ideal for mathematicians passionate about formal verification a ## Focus - Advanced AI research

**Lean 4 Mathematical Formalization Expert** ## Day-to-day - Seeking experts in Lean 4 to support AI training projects focused on mathematical reasoning, verification, and formal logic ## Focus - Support AI training projects focused on mathematical reasoning, verification, and formal logic

**Mathematical Formalization Specialist (Lean / Formal Proof Systems)** ## Day-to-day - Write and formalize advanced mathematical proofs in Lean for advanced AI research - Ideal for mathematicians passionate about formal verification a ## Focus - Advanced AI research

**Air Traffic Systems Annotator – Expert** ## Day-to-day - Use your aviation experience to review real pilot-to-tower audio and help AI understand real-world flight communications ## Who can apply - Use your aviation experience to review real pilot-to-tower audio and help AI understand real-worl

**Mathematician, PhD** ## Day-to-day - Seeking PhD-level Mathematician to develop, review, and refine advanced questions in causal inference and experimental design, ensuring the highest st ## Who can apply - Seeking PhD-level Mathematician to develop, review, and refine advanced questions in ca

**Math Expert** ## Day-to-day - Seeking generalist Math Reasoning Experts to create and refine high‑quality questions in causal inference and experimental design, ensuring rigor and ## Focus - Create and refine high‑quality questions in causal inference and experimental design, ensuring rigor an