*Are you fed up with 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 has a PhD opening 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 <https://fmt.ewi.utwente.nl/research/projects/view/FormaSig/>. *We offer *a fully paid PhD positions, with excellent salary and benefits, at a very strong and inspiring research department. To apply, see here <https://www.utwente.nl/en/organization/careers/!/852352/phd-position-for-the-formasig-project-on-verification-of-railroad-systems> . *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: [email protected] or [email protected] -- Prof.dr. Marielle Stoelinga Professor of risk management for high-tech systems University of Twente & Radboud University, the Netherlands +31 53 489 3773 | Address & contact <http://wwwhome.ewi.utwente.nl/~marielle/coordinates.html> | www.ewi.utwente.nl/~marielle/ <http://wwwhome.ewi.utwente.nl/~marielle/> -- Prof.dr. Marielle Stoelinga Professor of risk management for high-tech systems University of Twente & Radboud University, the Netherlands +31 53 489 3773 | Address & contact <http://wwwhome.ewi.utwente.nl/~marielle/coordinates.html> | www.ewi.utwente.nl/~marielle/ <http://wwwhome.ewi.utwente.nl/~marielle/>
_______________________________________________ Om-announce mailing list [email protected] http://mailman.openmath.org/cgi-bin/mailman/listinfo/om-announce
