[logic-ml] PhD Position in Theory