Universiteit van Amsterdam

Please note that this newsitem has been archived, and may contain outdated information or links.

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

Please note that this newsitem has been archived, and may contain outdated information or links.