Sort by
Refine Your Search
-
have: A relevant PhD degree (e.g., NLP, AI, ML, Security, Cryptography, or a related field) A relevant MSc degree (e.g., Computer Science, Software Engineering, Machine Learning, Artificial Intelligence
-
an outstanding candidate to fill a tenure track Fellow (Assistant Professor level) position in the field of Computer Science, with emphasis on formal methods and theorem proving. The candidate is expected to start
-
for postdoctoral fellowships in formal methods and programming languages, with emphasis on theorem proving. The positions can have a duration of up to 4 years. The targeted starting period is after Summer 2026, with
-
Assistant Professor (tenure-track) and Associate Professor (tenured) Positions in Computer Scienc...
competitive salaries and possibilities for startup packages. It also provides access to the university-level PhD programme in Computer Science. Tenure-Track Assistant Professor Positions For the tenure-track
-
engineering, including privacy enhancing technologies. Cryptography, including post-quantum cryptography, quantum cryptography, and blockchain technology. Human and societal factors in security and privacy
-
collaborate with us on ambitious formalisation projects. An ideal candidate: holds a PhD degree in computer science, or a PhD degree in mathematics, or equivalent; has a research track record at a high
-
for the position as Assistant Professor you must have obtained a PhD or similar degree by the application deadline. Application requirements The application must include the following: Letter of motivation (max 2
-
Assistant Professor (tenure-track) and Associate Professor (tenured) Positions in Computer Scienc...
), Constraint Solving, Planning, Answer Set Programming, Model Checking, Symbolic Computation, Knowledge Representation, Reasoning under Uncertainty, Non-monotonic Reasoning, Expert Systems. Programming languages
-
competitive salaries and possibilities for startup packages. It also provides access to the university-level PhD programme in Computer Science. For the tenure-track assistant professor positions, applications
-
applications for postdoctoral fellowships in formal methods and programming languages, with emphasis on theorem proving. The positions can have a duration of up to 4 years. The targeted starting period is after