Two PhD student positions in Language Technology and Formal Methods