The Ilmenau University of Technology is offering a position for a PhD student or postdoctoral researcher (w/m/d) in the Faculty of Computer Science and Automation, specifically in the Algorithmics group. The position is part of the DFG-funded project "Representation Complexity of Counting and Enumeration Algorithms," which investigates the limits of data structures for counting and enumeration algorithms. Research topics include database theory and logic, proof complexity, constraint satisfaction, and representation formats in knowledge compilation.

The successful candidate will contribute to the DFG project, participate in teaching (e.g., supervising exercises, seminars, and theses), and engage in research activities with the goal of earning a doctorate (for PhD candidates) or developing an independent research profile (for postdocs). Responsibilities also include publishing research results in scientific journals and conferences, and presenting at academic events.

Applicants must hold a completed academic degree (Master or equivalent) in computer science or mathematics and possess advanced knowledge in theoretical computer science. Additional desirable qualifications are initial research experience in theoretical computer science, ability to publish and present research internationally, and willingness to work independently towards further qualification. Proficiency in English (C1) is required, and German language skills are advantageous. The position is not suitable for part-time employment.

The university offers an attractive salary according to the TV-L public sector pay scale, including an annual bonus, 30 days of annual leave, additional days off on December 24th and 31st, a VBL pension scheme, flexible working hours, and a supportive, family-friendly environment. Employment for at least three years is intended, with the possibility of extension.

The application deadline is February 1, 2026. Women are strongly encouraged to apply, and candidates with disabilities will be given preference if equally qualified. For further information, contact Univ.-Prof. Dr. Christoph Berkholz.

Apply online via the official application portal and submit all required documents before the deadline.