651 formal-method-phd "https:" positions