Postdoc: Interpretable Decision Trees for Stochastic Systems

Delft University of Technology; Delft; On-site; EUR 41,000 - 64,000; Full time

Job summary

Delft University of Technology invites applications for a Postdoctoral researcher in the Algorithmics Group, Department of Software Technology (EEMCS). The project focuses on decision trees for control and monitoring of stochastic systems, with emphasis on explainable runtime monitors and scalable synthesis.

You will join a vibrant group, collaborate with PhD students and postdocs, and have opportunities to co-supervise.

Qualifications

• PhD in computer science or a related field, or near completion.
• Solid foundations in mathematics and logic, plus algorithm design and implementation.
• Strong publication record relative to career stage (CAV, TACAS, RV, AAAI, IJCAI, NeurIPS).
• Excellent written and spoken English.

Responsibilities

• Explore explainable monitoring and scalable decision-tree synthesis for stochastic systems.
• Publish results in leading venues and develop open-source tools.
• Collaborate with PhD students and postdocs; co-supervise students.

Skills

Mathematics

Logic

Algorithm design

Combinatorial optimization

Programming

Education

PhD in computer science

Tools

Rust

Python

C++

Job description

Delft University of Technology invites applications for a Postdoctoral researcher in the Algorithmics Group, Department of Software Technology (EEMCS). The project focuses on decision trees for control and monitoring of stochastic systems, with emphasis on explainable runtime monitors and scalable synthesis.

You will join a vibrant group, collaborate with PhD students and postdocs, and have opportunities to co-supervise.