PhD Position Systematic Derivation of Formal Languages and Their Correctness

The group is looking for a motivated candidate to join a funded research project. The position offers close supervision, collaboration with international partners and training in modern research methods.