All jobs
Postdoc on Decision Trees for Control and Monitoring of Stochastic Systems
TU Delft
Delft · HybridMid level (2–5 years)Full-time, TemporaryPosted 5 days agoVisa sponsorship
About the job
What you'll do
The postdoc will conduct research on synthesizing optimal decision-tree policies for stochastic and black-box systems to improve safety and interpretability. Responsibilities include publishing in leading AI and formal methods venues, developing open-source tools, and collaborating with PhD students.
What they're looking for
Candidates must hold or be near completion of a PhD in computer science or a related field with a strong background in formal methods, planning, or machine learning. A solid foundation in mathematics, logic, and algorithm design, along with a strong publication record, is required.
Full description