Universiteit van Amsterdam

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

PhD student position in Theoretical Computer Science, Amsterdam (The Netherlands)

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. The principal investigator of this project is Joerg Endrullis with a background in term rewriting and automata theory. We will collaborate with Helle Hansen (TU Delft) and Femke van Raamsdonk and Jasmin Blanchette (VUA) in their own areas of expertise.

Applicants should have a masters degree in computer science, mathematics, logic, or a closely related area. Knowledge of automata theory, coalgebra, logic, term rewriting or lambda calculus is considered an advantage.

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

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