Mathematician – Formal Proof & AI Foundations (Remote Contract)

Put your advanced mathematics expertise to work at the frontier of AI research — a fully remote, flexible contract role open to Brazilian mathematicians.