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