2 knowledge-reasoning "https:" PhD positions at KU LEUVEN

Multiple PhD Positions in AI and Machine Learning

KU LEUVEN | Belgium | 8 days ago

reasoning about tree ensembles. This work will be undertaken in the context of Flanders AI Research Program (https://www.flandersairesearch.be/en  ) 3) 1-2 PhD students working with Prof. Jesse Davis

PhD Position in Declarative Problem Solving

KU LEUVEN | Belgium | about 1 month ago

and checked by an independent third party, and even (3) rigorous evaluation of algorithmic improvements.For some inspiration on this topic, see the CertiFOX project page: https://www.bartbogaerts.eu