coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] 2 PhD positions @University of Twente: Fewer train delays via big data, fault trees, model checking

From: Marielle Stoelinga <marielle AT cs.utwente.nl>
To: "Stoelinga,M.I.A. (EWI)" <m.i.a.stoelinga AT utwente.nl>
Subject: [Coq-Club] 2 PhD positions @University of Twente: Fewer train delays via big data, fault trees, model checking
Date: Fri, 23 Dec 2016 00:03:25 +0100
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=marielle.stoelinga AT gmail.com; spf=Pass smtp.mailfrom=marielle.stoelinga AT gmail.com; spf=None smtp.helo=postmaster AT mail-oi0-f67.google.com

Fewer train delays via big data analytics, fault trees, and stochastic model checking? The University of Twente seeks 2 PhD candidates

We seek two excellent PhD candidates to work on the SEQUOIA project. We aim to improve the reliability of the (Dutch) railroads by deploying big data analytics to predict and prevent failures. Its scientific core is a novel combination of machine learning, fault tree analysis and stochastic model checking. For more information about the position, see here.

We offer two fully paid PhD positions, with excellent salary and benefits, at a very strong and inspiring research department. To apply, see here.

We are the Formal Methods & Tools and Database group at the University of Twente, the Netherlands. Ranked 1^st in the Dutch National Research Assessment. The project is lead by Marielle Stoelinga, Djoerd Hiemstra, Joost-Pieter Katoen. Contact: m.i.a.stoelinga AT utwente.nl

Dr Marielle Stoelinga

Associate Professor of Risk Management for ICT

University of Twente

www.cs.utwente.nl/~marielle

[Coq-Club] 2 PhD positions @University of Twente: Fewer train delays via big data, fault trees, model checking, Marielle Stoelinga, 12/23/2016