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://portal.mytum.de/jobs/professuren/NewsArticle_20250326_114328
--
Prof. Javier Esparza
Department of Computer Science
School of Computation, Information and Technology
Technical University of Munich
Boltzmannstr. 3, 85748 Garching
_______________________________________________
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info
