Two PhD student or postdoctoral positions in stochastic model checking, Twente (The Netherlands)

*The Formal Methods & Tool Group at the University of Twente has two PhD or Postdoc positions available in stochastic model checking: one in the ArRangeer project, on "smart railroad maintenance via stochastic model checking, and one in the TREsPass project, on "Quantitative security analysis via stochastic model checking"

Applications must be received before 1 December, 2013. For more information, see http://ssl1.peoplexs.com/Peoplexs22/CandidatesPortalNoLogin/ (for the ArRangeer position) or http://ssl1.peoplexs.com/Peoplexs22/CandidatesPortalNoLogin/ (for the TREsPASS position).