Mathematician – Formal Systems & AI Foundations (Remote Contract)

THE OPPORTUNITY

Put your skills to work.

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

Relevant skills

A few things to check

• Location and experience requirements.
• Schedule, compensation, and assessment process.
• Current availability on Alignerr.