coq-club AT inria.fr
Subject: The Coq mailing list
List archive
[Coq-Club] Fewer train delays via formal methods? Exciting PhD position at University of Twente, the Netherlands
Chronological Thread
- From: Marielle Stoelinga <m.i.a.stoelinga AT utwente.nl>
- To: concurrency AT listserver.tue.nl
- Subject: [Coq-Club] Fewer train delays via formal methods? Exciting PhD position at University of Twente, the Netherlands
- Date: Mon, 18 Mar 2019 21:21:00 +0100
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=m.i.a.stoelinga AT utwente.nl; spf=Pass smtp.mailfrom=m.i.a.stoelinga AT utwente.nl; spf=None smtp.helo=postmaster AT out65-ams.mf.surf.net
- Ironport-phdr: 9a23:NcS/VxU0jnumbaIDj+4fImDx3ibV8LGtZVwlr6E/grcLSJyIuqrYbBWGt8tkgFKBZ4jH8fUM07OQ7/m4HzRZqb+681k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRoLerpBIHSk9631+ev8JHPfglEnjWwba5uIBmssQndq9QdjJd/JKo21hbHuGZDdf5MxWNvK1KTnhL86dm18ZV+7SleuO8v+tBZX6nicKs2UbJXDDI9M2Ao/8LrrgXMTRGO5nQHTGoblAdDDhXf4xH7WpfxtTb6tvZ41SKHM8D6Uaw4VDK/5KptVRTmijoINyQh/W7YisJ+gqFVrg+/qRNj2IPbep2ZOeBkc6/BYd8XR2xMVdtRWSxbBYO8apMCAe0bMuZCronyuV8OrR+gCgKxGe3v1jhIiWHy3a071eQhHhvJ1xEnEtILqnjUrc/5O70IXeCu0KnIyivMb/dX2Tf754jHaAssoeyQXbN+b8XRz1UvGB3fglWWrYzoJjWY3fkDvWic6upvT+Ovi2g/pg5suDij3MYsipPRioII1lDF+zt2wIApJdKmUkJ7Z9qkHZ1NvC+ZL4t7Wt4uTm5otSog1rEKo4O3cDILxZkn3xLTdeCLfoyS7h/gVOudOyl0iGx4dL6lhxu+706twfDmWMauylZFtC9Fn8HMtn8T0xzT7dCKSvxg/ke92DuC1xnf5ftBIUAvj6bbLpAhzqQrlpoOq0TDEDX6mEPog6+Kbkkk++6o5Pr7Yrj+u5OROI95hhviPqg0h8CzG+U1PwgWU2ie4+u81bnj/UPjQLVNi/07iqzZvIrbJcgBvKG1GRRV0pok6xmhCzem0dIYnXYdI19eZRKHk4boNE/IIPDkE/izmVKskDNzy/DcIrLhGonNLmTEkLr5Ybl97FdcxBMvwtBb+pJbEaoMIOnzW0/0rNzXFAU1Mw2yw+b9CdVyzJkSWWyVAvzRDKSHuliO7f81OeSKb549vDfmN+Mo/eDjlzklhFJbe63684EQbSWdF+5nLkGdbDLXntAMFWYMsQN2GOmsiRuLFyVPYHu2XqQz7xkmFJ2rC5vOAIap1u/SlBynF4FbMzgVQmuHFm3lIt3dCqU8LRmKK8okqQQqEL2oSosvzxar7VWo1qZ4I+zI92sescC6jYQn16jojRg3sAdMIYGFyWjUFTNpgnwFQSM7mqZ78xQklwWzlJNgivkdLuR9ovNEVgBgbszb0vAkVpX7XxmHe9nPU0u8TJOgDC1jFt8=
Fewer train delays and rail disruptions? Come join us to improve the quality of the design and implementation of railroad elements (e.g. interlockings and signalling systems), via model checking and model-based testing.
The University of Twente seeks a PhD candidate on the FormaSig project, a collaboration between Eindhoven University of Technology (TU/e), and railroad asset managers ProRail and Deutsche Bahn.
We seek an excellent PhD candidate to work on the FormaSig project. We aim to improve the reliability of the (Dutch) railroads by deploying model checking and model-based testing. The scientific core is a novel combination of model transformation, model checking and model-based testing. For more information about the position, see here.
We offer a 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 at the University of Twente, the Netherlands. Ranked 1st in the last Dutch National Research Assessment. The project is led by Dr. Bas Luttik (TU/e), Prof.dr.Marielle Stoelinga and Prof.dr.ir Arend Rensink. Contact: m.i.a.stoelinga AT utwente.nl
or arend.rensink AT utwente.nl
- [Coq-Club] Fewer train delays via formal methods? Exciting PhD position at University of Twente, the Netherlands, Marielle Stoelinga, 03/18/2019
Archive powered by MHonArc 2.6.18.