Assistant Professor Position in Formal Methods, Discrete Structures, or Quantum Information Proce...
The Dean of the Faculty of Informatics MU invites applications for a position of Assistant Professor in any field of theoretical computer science, but preference will be given to the following areas: modeling and verification of computer systems, controller synthesis and performance evaluation for computer systems, quantum information processing. The candidates are expected to have an excellent international research record in the subjected area or in closely related disciplines, and very good teaching abilities in English and/or Czech languages.
The position is focussed both on research and teaching. The candidates are expected to carry out research of top international quality and show enthusiasm for teaching and student supervision, and a large amount of flexibility in teaching subjects that are not directly related to their areas of research. In particular, the candidates should be able to prepare and deliver tutorials and lectures in (at least some of) the following areas:
- Foundations of theoretical computer science
- Programming, algorithms, and data structures
- Cryptography and quantum information processing
- Probability and game theory in computer science
The candidates are expected to help with supervising PhD students and eventually obtain research projects to fund their research activities.
This job comes from a partnership with Science Magazine and