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 of funds).

The topic is application of category theory in computer science, in particular algebra and coalgebra in automata theory.

For further information email Jiri Adamek J.Adamek at tu-braunschweig.de. As an illustration of the possible topics, we have recently presented a new proof of the Eilenberg Theorem. at https://www8.cs.fau.de/~milius/publications/files/ammu_fossacs2014.pdf: we intend to work further in this direction.