PhD in Symbolic AI: Learn & Reason with Machines

TU Delft; Delft; Remoto; EUR 36.000 - 45.000; Tempo pieno

Vantaggi offerti da questo lavoro

8% holiday allowance

End-of-year bonus 8.3%

Descrizione del lavoro

TU Delft invites applications for a PhD position focused on improving symbolic AI through learning and reasoning. You will explore learning from limited data, guiding AI to think like a scientist by combining program synthesis with automated reasoning for scientific discovery and robotics.

You will join the Algorithmics Group in EEMCS and collaborate with PhD students and postdocs, with opportunities to co-supervise.

Competenze

• MSc degree in Computer Science and/or Artificial Intelligence (essential).
• Prior experience in automated reasoning (essential).
• Prior experience with symbolic machine learning approaches (essential).
• Desirable: applying automated reasoning or ML in biology, chemistry or other natural sciences.
• Good communication, organisation and writing skills.
• Good programming skills and desire to produce usable open-source software.

Mansioni

• Investigate how to teach machines to learn from tiny data by thinking like a scientist.
• Combine program synthesis and automated reasoning to solve problems in scientific discovery and robotics.
• Collaborate with PhD students and postdocs, with opportunities to co-supervise.
• Be supervised by Prof. Sebastijan Dumancic.

Conoscenze

Communication

Organization

Writing skills

Programming skills

Formazione

MSc in Computer Science and/or AI

Descrizione del lavoro

TU Delft invites applications for a PhD position focused on improving symbolic AI through learning and reasoning. You will explore learning from limited data, guiding AI to think like a scientist by combining program synthesis with automated reasoning for scientific discovery and robotics.

You will join the Algorithmics Group in EEMCS and collaborate with PhD students and postdocs, with opportunities to co-supervise.