Fully-Funded PhD Position in Symbolic Explainability for Logic-Based AI System

Il y a 1 semaine

Elsene, Brussel-Hoofdstad, Belgique Karlstad University Temps plein 32 000 € - 42 000 € Contrat

Gratuit avec email ou Google

Enregistrez cette offre et organisez votre recherche

Créez un compte gratuit pour enregistrer des offres d'emploi, créer des alertes et revenir à cette liste depuis votre tableau de bord.

Enregistrer le travail Enregistrer et créer une alerte

Gratuit avec email ou Google

Select the region that best fits your location or preferences.

This setting controls the language of the user interface, including buttons, menus, and all site text. Select your preferred language for the best browsing experience.

Select the languages for job listings you want to see. This setting determines which job advertisements will be displayed to you.

Swedish

Norsk

Danish

Finnish

German

French

Dutch

Spanish

Job Match Comparison

Compare your profile with the job requirements

Job or profile information is not available.

Why this job matches your profile

We've compared your profile to the job requirements. Here's where they align.

Job or profile information is not available.

You have already applied for this position.For questions regarding your application, please contact the employer.For technical assistance, reach out to our support teamhere .

Thank you for your application An email confirmation has been sent to your email.

Loading job alert...

Receive job alerts that match your preferences.

Select employers Search and select specific employers to receive job alerts only from them.

Fully-Funded PhD Position in Symbolic Explainability for Logic-Based AI System

At the Vrije Universiteit Brussel, your impact reaches further than you think. Every role, be it as a researcher, academic, IT professional, or adm...

For more than 50 years, the Vrije Universiteit Brussel has stood for freedom, equality and solidarity, and this is very much alive on our campuses among students and staff alike.

At the VUB, you will find a diverse collection of personalities: innovators pur sang, but above all people who are 100% their authentic selves. With some 4,000 employees, we are the largest Dutch-speaking employer, in the private sector, in Brussels; an international city with which we are only too happy to connect and where (around) our 4 campuses are located.

Add to this our principle of free research - in which self-reflection, a critical attitude and an open, creative mind around scientific and social issues are central - and you have a university that is fundamentally groundbreaking and pioneering in education and research. In short: the VUB all over again.

Moreover, the VUB is a member of EUTOPIA, an alliance of like-minded European universities, all ready to reinvent themselves.

TheFaculty of Sciences and Bioengineering Sciences, Department Computer Science,is looking for a PhD-student with a doctoral grant.

More concretely your work package, for the preparation of a doctorate, contains:

Artificial Neural Networks and Large Language Models offer state-of-the-art performance at numerous AI tasks, but being black boxes, they lack explainability which makes them difficult to trust. By contrast, symbolic approaches have reliability and explainability "built in", since they are based on logical reasoning. This motivates the development of neurosymbolic approaches as a way of combining the best of both worlds. However, it turns out that even the explanations that are generated by symbolic systems are not always easy to understand for people. This is particularly the case when the space of possibilities grows large, as typically happens in neurosymbolic approaches.

Typical methods for explaining the conclusions of symbolic reasoners are based on notions such as unsatisfiable cores: minimal sets of assumptions that lead to a specific conclusion. A well-known downside is that these cores are typically quite big, which makes them hard to interpret for a human expert. Therefore, there is a need for methods that allow large explanations to be broken down into more understandable smaller pieces. Within the domain of causal reasoning, the concept of Actual Causation has been studied. Originating from the philosophy literature, this concept tries to identify the most relevant causes among all contributing factors for a given effect. Seminal work by Joseph Halpern and Judea Pearl has studied it in the context of AI systems.

The goal of this PhD is to investigate how concepts from the causality literature can improve the explainability of logical reasoning systems, as a possible component of trustworthy neurosymbolic AI. There is both a theoretic and practical component to this topic, since the ultimate goal is to implement efficient algorithms that allow reasoning engines to produce explanations that are in line with the philosophical insights about causality. This will be joint PhD with the nearby KU Leuven university, offering you the chance to work with experts from two highly ranked universities at the heart of the EU.

We offer:

A stimulating and lively scientific environment
The opportunity to carry out researc

Fully-Funded PhD Position in Symbolic Explainability for Logic-Based AI System

Enregistrez cette offre et organisez votre recherche

Job Match Comparison

Why this job matches your profile

Fully-Funded PhD Position in Symbolic Explainability for Logic-Based AI System

Emplois similaires à Elsene

Offres similaires

Amériques

Europe

Asie / Océanie

Afrique

Fully-Funded PhD Position in Symbolic Explainability for Logic-Based AI System

Enregistrez cette offre et organisez votre recherche

Job Match Comparison

Why this job matches your profile

Fully-Funded PhD Position in Symbolic Explainability for Logic-Based AI System

Emplois similaires à Elsene

Offres similaires