PhD position within joint Doctoral College Logical Methods in Computer Science (LogiCS) focused on...