Professor (W2) in Computer Science – Logic and Verification | Professor (W2) in Computer Science –Logic and Verification (m/w/d)

Job Summary

Saarland University is seeking an outstanding Professor (W2) in Computer Science specializing in Logic and Verification. This role involves significant contributions to research in areas such as automated/interactive theorem proving, logic-based approaches to programming languages, security, privacy, distributed systems, and the interplay between verification and machine learning. The successful candidate will also demonstrate a strong commitment to teaching, supervising Bachelor's, Master's, and PhD students, and actively engaging in the university's internationally recognized computer science ecosystem. This position offers a tenure track to a permanent W3 professorship based on outstanding performance, providing an excellent environment for research, teaching, and innovation within one of Europe's leading computer science hubs.