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.

## Embedding

The principal investigator of this project is Joerg Endrullis with a background in term rewriting and automata theory. We will collaborate with Helle Hansen from Delft University of Technology (TU Delft) having expertise in logic and coalgebra. At the Vrije Universiteit Amsterdam we will collaborate with Femke van Raamsdonk with a background in higher-order rewriting, and Jasmin Blanchette working on formal verification and theorem provers.

## Qualifications

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.

Fluency in English is important. Dutch language proficiency is not required.

## Salary

The salary will be in accordance with university regulations for academic personnel: €2,325 (PhD) per month during the first year, increasing to €2,972 (PhD) per month during the fourth year, based on a full-time employment.

The appointment will initially be for 1 year. After a satisfactory evaluation of the initial appointment, the contract will be extended to a total duration of 4 years. Additionally, Vrije Universiteit Amsterdam offers excellent fringe benefits and various schemes and regulations to promote a good work/life balance, such as:

• solid pension scheme (ABP)
• contribution to commuting expenses
• a wide range of sports facilities which staff may use at a modest charge
• discounts on collective insurances (healthcare- and car insurance);

## Application

Please send applications by email to

 dr. Joerg Endrullis
j.endrullis@vu.nl
+31 (0)20 5989886