PhD: Symbolic AI, Learning & Reasoning

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

Descrizione del lavoro

TU Delft in Delft, Netherlands, invites applications for a PhD candidate position focusing on teaching machines to learn from tiny data by combining program synthesis and automated reasoning. The role involves collaborating within the Algorithmics Group in EEMCS, co-supervising students, and working under Prof.

Sebastijan Dumancic. The appointment follows a 4-year plan split into 1.5 and 2.5 year contracts.

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 AI 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

• Collaborate with PhD students and postdocs working on program synthesis and automated reasoning
• Co-supervise students where appropriate
• Be supervised by Prof. Sebastijan Dumancic and contribute to the research program

Conoscenze

Automated reasoning

Symbolic ML

AI research

Formazione

MSc in Computer Science or AI

Descrizione del lavoro

TU Delft in Delft, Netherlands, invites applications for a PhD candidate position focusing on teaching machines to learn from tiny data by combining program synthesis and automated reasoning. The role involves collaborating within the Algorithmics Group in EEMCS, co-supervising students, and working under Prof.

Sebastijan Dumancic. The appointment follows a 4-year plan split into 1.5 and 2.5 year contracts.