Logic List Mailing Archive

Postdoctoral position in categorical methods in computer science, Braunschweig (Germany)

-----------------------------------------------------------------
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

https://www8.cs.fau.de/~milius/publications/files/ammu_fossacs2014.pdf

and we intend to work further in this direction.

For further information you may e-mail me

          Jiri Adamek
          J.Adamek@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@tu-braunschweig.de                   D-38106 Braunschweig