Graduate student recruitment

Stefan Bruda is supervising a team of MSc students working in these areas and he is interested in expanding his team. We welcome students interested in working on real-time systems from three perspectives: complexity-theoretic, formal methods and testing, and systems.

The first two perspectives are broadly open, we welcome qualified students interested on the matter and we shall then discuss the concrete topic of research for the programme. The latter perspective (systems) is narrower, and involves at this time distributed programming language issues. It requires from the students good programming skills in C++ and familiarity with or willingness to learn POSIX programming in a Unix environment.

We also welcome students with interests in parallel computation (algorithms and complexity specifically) as well as in the general area of complexity theory.