----------------------------------------------------------------- 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 [For admin and other information see: http://www.mta.ca/~cat-dist/ ]