[DL] Postdoc Positions in Theoretical Computer Science in Braunschweig

Frank Rust frust at iti.cs.tu-bs.de
Mon Jul 7 14:26:22 CEST 2014

A Post-Doc Position in Categorical Methods in Computer Science
Technical Univeristy of Braunschweig, Germany

A post-doc position is available from October 1 at the Department of
Theoretical Computer Science of the Technical University Braunschweig.
It runs till Match 2016 and is prolongable till 2018 (depending
on availability o%f funds).

The topic is application of category theory in computer science, in
particular algebra and coalgebra in automata theory. As an illustration
of the possible topics, we have recently
presented a new proof of the Eilenberg Theorem


and we intend to work further in this direction.

For further information you may e-mail me

         Jiri Adamek
         J.Adamek at tu-braunschweig.de
Jiří Adámek                         Institut für Theoretische Informatik
Fon: 0531 3919521                    Technische Universität Braunschweig
Fax: 0531 3919529                              Mühlenpfordtstrasse 22-23
Mail: j.adamek at tu-braunschweig.de                   D-38106 Braunschweig

More information about the dl mailing list