34 formal-method-phd "LIST" PhD positions