-
. Eligibility criteria We are looking for a highly motivated PhD candidate who meets the following profile: Candidates must hold a Master’s degree in electrical or computer engineering (or a closely related field
-
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
-
breakthroughs in proof logging, where solvers do not just output an answer, but also a machine-verifiable proof (or certificate) of correctness. However, a major limitation of current techniques is that
-
13 Dec 2025 Job Information Organisation/Company KU LEUVEN Research Field Architecture » Design Engineering » Communication engineering Engineering » Computer engineering Engineering » Electrical