A leading AI research firm is seeking a Mathematician to develop mathematical reasoning tasks for training AI models, collaborating closely with research teams.