PhD and Postdoctoral Positions at TUM – Fundamentals of Programming
Florian Zuleger via dmanet <[email protected]>
| Newsgroups | gmane.science.mathematics.discrete |
|---|---|
| Message-ID | <[email protected]> |
Dear colleagues, the newly established Fundamentals of Programming Group at the Technical University of Munich (TUM) invites applications for - PhD students - Postdoctoral researchers Our group investigates the mathematical foundations of programming and automated reasoning about software. Our research spans programming languages and type systems, program analysis and verification, logic and automata, and the interaction between formal methods and artificial intelligence. We welcome candidates interested in topics ranging from foundational theory to the development and evaluation of algorithms and research tools. Applications will be reviewed starting September 1, 2026, and will continue to be considered until the positions are filled. Further information and application instructions are available here: https://www.cs.cit.tum.de/en/prog/open-positions/ Informal inquiries are welcome at [email protected]. Best regards, Florian Zuleger ********************************************************** * * Contributions to be spread via DMANET are submitted to * * [email protected] * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************