[categories] PhD position in Categorical Methods in Computer Science - Tallinn University of Technology