Postdoc in Formal Methods in Computer Science, TU Denmark

DTU Compute would like to invite applications for a postdoc position starting in the Spring of 2014. The project is financed by the IDEA4CPS center funded by the Danish Foundation for Basic Research.

Apply no later than 10 February 2014. For more information, see http://www.dtu.dk/english/career/afa8af12-c781-44f2-af74-d394660981fc