In der Fakultät für Informatik und Automatisierung im Fachgebiet Algorithmik der Technischen Universität Ilmenau ist ab dem nächstmöglichen Zeitpunkt eine Stelle als
wissenschaftlicher Mitarbeiterin/ Doktorandin/ Postdoktorandin (w/m/d)
zur Förderung der eigenen wissenschaftlichen Qualifizierung im Sinne des § 2 Abs. 1 Wissenschaftszeitvertragsgesetz zu besetzen.
Das Fachgebiet Algorithmik befasst sich mit den Möglichkeiten und Grenzen effizienter Algorithmen. Schwerpunkte bilden hierbei Themen aus den Bereichen Datenbanktheorie und Logik, Beweiskomplexität, Constraint Satisfaction, sowie Repräsentationsformate im Bereich "Knowledge Compilation". Im Projekt "Representation Complexity of Counting and Enumeration Algorithms" werden insbesondere die Grenzen von Datenstrukturen für Zähl- und Enumerationsalgorithmen untersucht.
Eine Weiterbeschäftigung im Anschluss an das Projekt ist angestrebt, sodass eine Beschäftigung über insgesamt mindestens drei Jahre ermöglicht wird.
APCT1_DE