PhD: Symbolic AI with Learning & Reasoning

1000scholars; Delft; Remote; EUR 42,000 - 68,000; Full time

Job summary

TU Delft's Algorithmics Group invites applications for a research position exploring how machines can learn from tiny data and think like scientists. The project combines program synthesis and automated reasoning to advance scientific discovery and robotics.

You will collaborate with PhD students and postdocs, with opportunities to co-supervise. A MSc in CS/AI and experience in automated reasoning are essential, with strong programming and writing skills expected.

Qualifications

• MSc degree in Computer Science and/or Artificial Intelligence is essential.
• Prior experience in automated reasoning is essential.
• Prior experience with symbolic machine learning approaches is essential.
• Experience applying automated reasoning or machine learning in biology, chemistry, or other natural sciences is desirable.
• Good communication, organisation, and writing skills; good programming abilities to produce usable open-source software.

Responsibilities

• Research how to teach machines to learn from tiny data and think like a scientist.
• Investigate combinations of program synthesis and automated reasoning for scientific discovery and robotics.
• Collaborate with PhD students and postdocs in the Algorithmics Group and EEMCS; may co-supervise students.
• Under the supervision of Prof. Sebastijan Dumancic, contribute to high-quality open-source software for the project.

Skills

Automated reasoning

Symbolic machine learning

Programming skills

Communication skills

Organisational skills

Scientific writing

Education

MSc in Computer Science or AI

Job description

TU Delft's Algorithmics Group invites applications for a research position exploring how machines can learn from tiny data and think like scientists. The project combines program synthesis and automated reasoning to advance scientific discovery and robotics.

You will collaborate with PhD students and postdocs, with opportunities to co-supervise. A MSc in CS/AI and experience in automated reasoning are essential, with strong programming and writing skills expected.