Position for Professorship in Computer Science in Germany

Faculty position in Professorship in Computer Science at the Saarland University, Germany. Applicants must have a strong academic background in relevant area and contribution to foundations of automated and/or interactive theorem proving: development of tools for automated theorem proving, logic-based approaches to programming languages, security and privacy, and interplay between verification and Machine Learning, and using ML to support verification.