Mathematician – Formal Systems & AI Foundations (Remote Contract)

About this role

Germany's mathematics talent is shaping the future of AI — formalize proofs in Lean 4 on your own schedule, fully remote and highly rewarding…

Read the full listing on Alignerr

Categories

Math, stats & data

Similar jobs

• Data & Charts Expert micro1 $25–50/hrOct 26, 2026
• Data Science & Analytic Methodology SME micro1 $60–100/hrOct 22, 2026
• Mathematics Expert (MSc./PhD) micro1 $60–120/hrOct 22, 2026
• STEM Researchers - MSc/PhD (Must own MacBook) MercorHourly $50–60/hrOct 18, 2026
• Data Analysts & Spreadsheet Specialists (Must own MacBook) MercorHourly $50–60/hrOct 18, 2026
• Privacy Analyst micro1 $31–60/hrOct 13, 2026