[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

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