Technische Universität Berlin - Faculty IV - Institute of Software Engineering and Theoretical Computer Science / Logic and Semantics
Research Assistent - salary grade E13 TV-L Berliner Hochschulen - 1st qualification period (PhD candidate)
part-time employment may be possible
Participation in research in the Logic and Semantics research group; active participation in the group's teaching activities in English and German, especially in the supervision of exercises accompanying the group's lectures and seminars
successfully completed university degree (Master, Diplom or equivalent) in Computer Science
strong interest and profound knowledge in at least one of the following areas:
a) structural and algorithmic graph theory, graph decompositions, graph minors, parametrized and general graph algorithms
b) logic, in particular areas such as finite and computational model theory and automata theory
Please send your written application with the reference number and the usual documents to Technische Universität Berlin - Der Präsident - Fakultät IV, Institut für Softwaretechnik und Theoretische Informatik, Prof. Dr. Kreutzer, Sekr. TEL 7-3, Ernst-Reuter-Platz 7, 10587 Berlin or by e-mail to email@example.com.
To ensure equal opportunities between women and men, applications by women with the required qualifications are explicitly desired.
Qualified individuals with disabilities will be favored.
Please send copies only. Original documents will not be returned.