PHD STUDENT, “MODEL VERIFICATION AND VALIDATION IN MACHINE LEARNING”

10 November 2021

Get in touch!

Interested?

For more information please contact Prof. dr. ir. Hendrik Blockeel, tel.: +32 16 32 76 43, mail: hendrik.blockeel@kuleuven.be.You can apply for this job no later than December 23, 2021 via the online application tool

KU Leuven seeks to foster an environment where all talents can flourish, regardless of gender, age, cultural background, nationality or impairments. If you have any questions relating to accessibility or support, please contact us at diversiteit.HR@kuleuven.be.

(ref. BAP-2021-791)

Apply before 23 December 2021

The research unit Declarative Languages and Artificial Intelligence (DTAI) of KU Leuven's Department of Computer Science hosts13 professors more than a hundred researchers. It has an excellent international reputation in the area of machine learning, andknowledge representation and reasoning. It is also a part of the interdisciplinary Leuven.AI institute. The PhD student will work under the supervision of Prof. Hendrik Blockeel.

Website unit

Responsibilities

The PhD student will conduct fundamental research on machine learning methods that return models that provably meet certain conditions. Those conditions may be in the form of deterministic constraints (e.g., monotonicity constraints on the output) or probabilistic properties (e.g., the probability that the learner returns a model with at least some given precision must be >0.9). The research will focus on machine learning, but link it with verification, constraint solving, and probability theory.

Profile

Candidates must have a Master of Science degree in computer science, or equivalent. They must have expertise in artificial intelligence, and a strong background in at least two of the following topics: machine learning, constraint solving, probability theory.

Offer

A fulltime position as PhD student, initially for 1 year, but extensible to four years.