Postdoc: Explainable Decision Trees for Stochastic Control

TU Delft; Nederland; Hybrid; EUR 40,000 - 54,000; Full time

Job summary

TU Delft invites applications for a Postdoctoral researcher to advance decision-tree policies for controlling stochastic systems. You will develop interpretable runtime monitors and scalable synthesis methods, collaborating with PhD students and postdocs under Prof. Anna Lukina.

The role emphasizes rigorous formal methods, publication in top venues, and open-source tool development, with responsibilities spanning research and dissemination.

Qualifications

• PhD in computer science or related field; strong background in formal methods, planning under uncertainty, or machine learning for sequential decision making.
• Solid foundations in mathematics and logic; experience with algorithm design, combinatorial optimization, and implementation.
• Strong publication record relative to career stage (e.g., venues like CAV, TACAS, RV, AAAI, IJCAI, NeurIPS).
• Excellent written and spoken English.

Responsibilities

• Develop and synthesize decision-tree policies for stochastic systems.
• Extend search-based methods to larger state spaces and stochastic/black-box settings.
• Publish results in top venues and contribute to open-source tools.
• Collaborate with PhD students and postdocs; possible co-supervision.

Skills

PhD in computer science

Formal methods

Planning under uncertainty

Machine learning for sequential决

Publication record

English proficiency

Education

PhD in computer science

Tools

Decision trees

Branch-and-bound search

Mixed-integer programming

Runtime verification

Job description

TU Delft invites applications for a Postdoctoral researcher to advance decision-tree policies for controlling stochastic systems. You will develop interpretable runtime monitors and scalable synthesis methods, collaborating with PhD students and postdocs under Prof. Anna Lukina.

The role emphasizes rigorous formal methods, publication in top venues, and open-source tool development, with responsibilities spanning research and dissemination.