The Declarative Languages and Artificial Intelligence (DTAI) Section of the Department of Computer Science of the KU Leuven is a leading research group for artificial intelligence, machine learning and data science.
It is internationally renowned for its pioneering work on the integration of learning and reasoning, in domains such as statistical relational and neurosymbolic AI, probabilistic and inductive programming, logical and relational learning and their applications. In addition to fundamental research, the DTAI group applies the developed techniques to concrete cases situated in data science, sensors, sports analytics, combinatorial optimisation, robot manipulation and navigation, natural language processing, smart electronics, computer vision, etc. For these applications, DTAI often cooperates with other groups and companies from strategically chosen research areas.
The group of Luc De Raedt has openings at both the PhD- and post-doc level in neurosymbolic AI in the context of the recently acquired ERC Advanced Grant DeepLog. DeepLog wants to develop the foundations of neurosymbolic AI by combining probability, logic and neural networks with the goal of supporting both data and knowledge, learning and reasoning. Neurosymbolic AI is one the next frontiers in AI, it is an innovation trigger according to Gartner, and it is enjoying a lot of attention these days.
For more information please contact Prof. dr. Luc De Raedt, tel.: +32 16 32 78 34, mail: luc.deraedt@kuleuven.be.
KU Leuven strives for an inclusive, respectful and socially safe environment. We embrace diversity among individuals and groups as an asset. Open dialogue and differences in perspective are essential for an ambitious research and educational environment. In our commitment to equal opportunity, we recognize the consequences of historical inequalities. We do not accept any form of discrimination based on, but not limited to, gender identity and expression, sexual orientation, age, ethnic or national background, skin colour, religious and philosophical diversity, neurodivergence, employment disability, health, or socioeconomic status. For questions about accessibility or support offered, we are happy to assist you at this email address.
KU Leuven is an autonomous university. It was founded in 1425. It was born of and has grown within the Catholic tradition.
De pagina van de werkgever bekijken