[TYPES/announce] Professorhip in Logic and Verification in Computer Science

[Javier Esparza]

The Technical University of Munich (TUM) invites applications for an 
Associate or Full Professor position in Logic and Verification in 
Computer Science, to begin as soon as possible.

TUM seeks to appoint an expert with significant contributions to one or
more of the following areas:

• Automatic and/or interactive theorem proving
• Innovative applications of theorem proving in Computer Science and 
Mathematics
• Logic-based approaches to the analysis, verification, diagnosis, 
repair, or synthesis of programs
• Semantics of programming languages

The deadline for applications is May 31, 2025.

More information at:

https://urldefense.com/v3/__https://portal.mytum.de/jobs/professuren/NewsArticle_20250326_114328__;!!IBzWLUs!RIt1bYR92skVgKNTF0xJFR2Jpg2Xr1vMbTiOlSfagA_BiqnU2EsN-sf9UxmSIqEQXOepdJ2OB4jyLz9u33OLV6Y01L7Mmqg1$ 

-- 
Prof. Javier Esparza
Department of Computer Science
School of Computation, Information and Technology
Technical University of Munich
Boltzmannstr. 3, 85748 Garching