Develop mathematical algorithms and research software for the Magma computer algebra system in John Voight’s team. The Simons Foundation-supported collaboration with MIT includes theoretical and algorithmic publications, research datasets, and exploration of AI for mathematical programming, verification, documentation and software interaction. Two full-time positions are advertised, each lasting three years. Annual salary is AUD 113,634–157,381 plus 17% superannuation.
Podcast episode · Machine Learning
AI Agents and The Golden Age of Asking Questions with Dimitris Papailiopoulos (MSR/UW-Madison)
The Information Bottleneck
Jul 9, 2026
Dimitris Papailiopoulos of Microsoft Research and the University of Wisconsin discusses how coding agents change scientific research. The conversation covers small arithmetic transformers, symbolic mathematical reasoning, interacting agents, and the role of human judgment and verification. It also examines diversity in machine-generated ideas, benchmark and harness overfitting, persistent agent errors, continual learning, world models, and where information theory helps explain AI. Hosted by Ravid Shwartz Ziv and Allen Roush; the full conversation is available on the publisher's YouTube channe