Theoretical Computer Science I
Computational Complexity

• Parameterized Computational Complexity
• Structural Complexity
• NP-hard problems
• Exact Algorithms
• Graph Algorithms
• Formal Languages

New Assistant Professorship in Algorithm Engineering

Assistant Professor (W1) for Algorithm Engineering.

The position is supported by the Carl Zeiss Foundation. A successful candidate will become part of the Jena research focus on data-driven algorithmics. Our group has a strong interest in research concerning algorithms for NP-hard problems (particularly, but not exclusively, parameterized algorithmics). Activities in cooperation with the Jena research teams could target applications in such areas as computational biology, computational geometry, algorithmic graph theory, or computational social choice. A successful candidate is expected to take part in university-wide projects as well as to successfully apply for external research funding.

Teaching duties associated with the position will focus on lectures for advanced students in the area of algorithm engineering. Leadership in the development of an Algorithm Engineering Laboratory is also expected.

The review of applications for the position has started.

Upcoming Events in Jena

• 2009-07-06 14:15, Seminarraum 3319, OS Theoretische Informatik: Hannes Moser giving a talk on "A Complexity Dichotomy for Finding Disjoint Solutions of Vertex Deletion Problems".
• 2009-07-12–2009-07-21: Prof. Rudolf Fleischer (Fudan University, Shanghai, China) is visiting our group.
• 2009-07-13–2009-08-01: Wu Xi and Wang Yihui (Fudan University, Shanghai, China) are visiting our group.
• 2009-08-03–2009-08-07: Matthias Mnich (Technische Universiteit Eindhoven, Netherlands) is visiting our group.

Upcoming Events with special interests of our group

• 2009-07-05–2009-07-12 ICALP'09: 36th International Colloquium on Automata, Languages and Programming, Rhodes, Greece. Michael Dom giving a talk.
• 2009-07-11–2009-07-19 IJCAI'09: 21st International Joint Conference on Artificial Intelligence, Pasadena, USA. Nadja Betzler giving a talk.
• 2009-07-13–2009-07-15 COCOON'09: 15th International Computing and Combinatorics Conference, Niagara Falls, USA. Christian Komusiewicz giving a talk.
• 2009-08-21–2009-08-23 WADS'09: Algorithm and Data Structures Symposium, Banff, Canada. Mathias Weller giving a talk.
• 2009-08-25–2009-08-29 MFCS'09: 34th International Symposium on Mathematical Foundations of Computer Science, Nový Smokovec, Slovakia. Nadja Betzler and Hannes Moser giving talks.
• 2009-09-10–2009-09-11 IWPEC'09: 4th International Workshop on Parameterized and Exact Computation, Copenhagen, Danmark. Jiong Guo program committee member.
• 2010-03-04–2009-03-06 STACS'10: 27th International Symposium on Theoretical Aspects of Computer Science, Nancy, France. Rolf Niedermeier giving an invited talk.