News

Vacancies for postdoctoral researchers

August 7, 2013

The Software Modeling and Verification Group (MOVES, moves.rwth-aachen.de) at RWTH Aachen University offers openings for several postdoctoral researchers in the area of “Automated Analysis of Probabilistic Programs” Deadline for application: August 15, 2013. Starting dates: autumn 2013 and summer 2014. With about 38,000 students, 480 professors as well as 4,500 academic staff, RWTH Aachen University (www.rwth-aachen.de) is one of the largest technical universities in Europe. Recently, it has…

Distinguished Professorship

May 6, 2013

Joost-Pieter Katoen has been awarded a Distinguished Professorship from the RWTH Aachen University.

ETAPS SC Chair

March 20, 2013

Joost-Pieter Katoen has been elected as Steering Committee Chair of ETAPS (www.etaps.org), the largest conference on theory and practice of software in Europe. He is the first non-UK ETAPS SC chair since the conference was initiated in 1998. More information here.

Moves in Alumni-Magazine

February 6, 2013

The Alumni-Magazine of RWTH Aachen University contains an interview with our former PhD student and postdoctoral researcher, Dr. Tingting Han.