Sort by
Refine Your Search
-
for 3-year PhD positions in computer science with emphasis on formal methods. Possible topics include (but are not limited to) computational complexity, distributed systems, human factors, logic
-
on the solid application of scientific research method. The department has a pluralistic approach to research methods that includes, for example, formal theoretical models, quantitative empirical methods such as
-
), Comparative methods, GenAI skills. Key criteria for the assessment of applicants Professional qualifications relevant to the PhD project Relevant work experience Publications The grade point average achieved
-
, using linear programming methods. Over the next years, the project will grow to a collaborate team of 4-5 PhD students and Postdocs. The successful candidate will work directly with the project's
-
dynamic, crowded environments. As a PhD candidate, you will develop methods that combine data-driven autonomy with formal safety guarantees and validate them in real time through simulation and experimental
-
Management. The 12-month stay is mandatory by the design of the position. Alongside the research project, the PhD candidate completes the formal requirements of the Doctoral School (~30 ECTS of coursework
-
expected to master both. As a formal qualification you must hold a PhD degree (or equivalent) as well as academic qualifications equivalent to those obtained by holding a position as a researcher or postdoc
-
are expected to be fluent in at least one of these languages, and in time are expected to master both. As formal qualification you must hold a PhD degree (or equivalent) within one of the following