[logic-ml] PhD Program: Call for applications