Universiteit van Amsterdam

Please note that this newsitem has been archived, and may contain outdated information or links.

PhD position in Theoretical Computer Science at the VU Amsterdam

Deadline: Sunday 1 December 2019

We are seeking applications for a fully-funded, 4-year PhD position in the Section of Theoretical Computer Science of the Vrije Universiteit Amsterdam (VUA). The goal of the project is the development of techniques for reasoning about automata that transform finite and infinite words (also known as transducers). In this project, we will use and extend techniques from automata theory, combinatorics on words, logic, coalgebra and term rewriting.

For more information, see http://joerg.endrullis.de/vacancy/2019/09/15/phd-vacancy.html or contact Joerg Endrullis at .

Please note that this newsitem has been archived, and may contain outdated information or links.