PhD student (Formal Methods/Automata Theory/Programming Languages)