PhD: Symbolic AI — Learning, Reasoning & Program Synthesis

DataJobs; Delft; On-site; EUR 36,000 - 45,000; Full time

Benefits offered by this job

Relocation assistance

Salary according to Dutch Universities

Job summary

TU Delft is inviting applications for a doctoral position in the Algorithmics Group within the Department of Software Technology, EEMCS. You will research teaching machines to learn from tiny data, combining program synthesis with automated reasoning to enable AI that thinks like a scientist.

You will collaborate with PhD students and postdocs, possibly co-supervising, and develop open-source software while contributing to scientific discovery and robotics challenges at a world-class technical

Qualifications

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

Responsibilities

• Build this new approach on the combination of program synthesis and automated reasoning
• Apply it to actual problems from scientific discovery and robotics
• Collaborate with PhD students and postdocs working on program synthesis and automated reasoning
• Co-supervise students, with opportunities to do so

Skills

Automated reasoning

Symbolic machine learning

Programming skills

Documentation/writing

Education

MSc in Computer Science or AI

Job description

TU Delft is inviting applications for a doctoral position in the Algorithmics Group within the Department of Software Technology, EEMCS. You will research teaching machines to learn from tiny data, combining program synthesis with automated reasoning to enable AI that thinks like a scientist.

You will collaborate with PhD students and postdocs, possibly co-supervising, and develop open-source software while contributing to scientific discovery and robotics challenges at a world-class technical