MATS Winter 2027 is a fully funded, 12-week AI safety research and field-building fellowship in Berkeley and London, with seven tracks, mentorship from researchers at Anthropic, Google DeepMind, OpenAI and more, a $6,400/month stipend, up to $16,000/month for technical participants, and housing, meals, travel and office space covered.
Website: https://www.matsprogram.org/apply?utm_source=cstheory-jobs&utm_medium=job-board&utm_campaign=w27
Email: applications@matsprogram.org
A fully-funded PhD position and MS positions with RA/TA support are available under the supervision of Prof. Prantar Ghosh at Tennessee Tech University starting Jan 2027 (Spring 2027 semester). Research will focus broadly on graph algorithms. A good mathematical background and prior experience in Theoretical CS is required. Please email CV and a brief description of background to the email below.
Website: https://sites.google.com/view/prantarg/home
Email: pghosh@tntech.edu
TUM’s newly established Fundamentals of Programming Group invites applications for PhD and postdoctoral positions. Our research spans programming languages and type systems, program analysis and verification, logic and automata, and formal methods and AI, from foundational theory to algorithms and research tools. Review begins September 1, 2026, and continues until the positions are filled.
Website: https://www.cs.cit.tum.de/en/prog/open-positions/
Email: f.zuleger@tum.de
