The Formal Methods and Tools (FMT) research group develops formal techniques and tools to support the development of complex systems. Our central goal is to increase the reliability of the high- tech systems that we all rely on, both as individuals and as society. The FMT group is part of the Faculty of Electrical Engineering, Mathematics and Computer Science (EEMCS) at the University of Twente. The FMT group also participates in the Digital Society research institute (DSI). We are looking for an excellent candidate for a PhD project on verification of railroad systems. The PhD position (for 4 years) is part of the FormaSig project on Formal methods in railway signalling infrastructure standardisation processes.
Fewer train delays and rail disruptions? That is the challenge in theFormaSig project, a joint research project with Eindhoven University of Technology, funded by the Dutch railroad asset manager ProRail, and the German train operator Deutsche Bahn.
The goal of the FormaSig project is to develop techniques to increase the reliability and interoperability of railroad elements, such as switches, interlockings and signalling systems. The starting points in the project are the standard interface specifications of these railroad elements, written in the SysML modelling language by the EULYNX consortium. The project aims to refine these models, making them amenable to formal verification as well as to formal, model-based testing.
To realize a good collaboration with the industrial partners, you are expected to spend two days per week at ProRail (together with the PhD candidate from the Eindhoven University of Technology).
We are looking for enthusiastic students with a MSc degree in Computer Science or Mathematics with a demonstrable interest in computer science. The candidates should have a thorough theoretical background, and an interest in the verification of complex, industrial systems.
Further, the candidate should be able to speak Dutch, or be willing to acquire the language fast.Your application should consist of:
PhD students will be members of the Twente Graduate School in the research program 'Dependable and Secure Computing'. The research program offers advanced courses to deepen your scientific knowledge in preparation to your future career (within or outside academia). We provide our PhD students with excellent opportunities to broaden their personal knowledge and to professionalize their academic skills. Participation in national and/or international summer schools and workshops and visits to other prestigious research institutes and universities can be part of this program.
The University of Twente. We stand for life sciences and technology. High tech and human touch. Education and research that matter. New technology which leads change, innovation and progress in society. The University of Twente is the only campus university of the Netherlands; divided over five faculties we provide more than fifty educational programmes. We have a strong focus on personal development and talented researchers are given scope for carrying out groundbreaking research.
We are an equal opportunity employer and value diversity at our company. We do not discriminate on the basis of race, religion, color, national origin, gender, sexual orientation, age, marital status or disability status. Because of our diversity values we do particularly support women to apply.
The faculty of Electrical Engineering, Mathematics and Computer Science (EEMCS) comprises three disciplines that shape Information and Communication Technology. ICT is more than communication. In almost every product we use mathematics, electronics and computer technology and ICT now contributes to all of societies' activities. The faculty works together intensively with industrial partners and researchers in the Netherlands and abroad and conducts extensive research for external commissioning parties and funders. The research which enjoys a high profile both at home and internationally, has been accommodated in the multidisciplinary research institutes: Mesa+ Institute, TechMed Centra and Digital Society Institute.Continue reading
|Title||PhD position for the FormaSig project on verification of railroad systems|
|Employer||University of Twente|
|Job location||Drienerlolaan 5, 7522 NB Enschede|
|Published||March 15, 2019|
|Application deadline||May 1, 2019|
|Job type||PhD  |
|Fields||Informatics,   Information Science,   Algorithms,   Artificial Intelligence,   Artificial Neural Network,   Computer and Society,   Computer Architecture,   Computer Communications (Networks),   Computer Graphics,    and 24 more. Cyber Security,   Computing in Mathematics, Natural Science, Engineering and Medicine,   Computing in Social science, Arts and Humanities,   Data Mining,   Data Structures,   Databases,   Distributed Computing,   Human-computer Interaction,   Information Systems (Business Informatics),   Operating Systems,   Parallel Computing,   Programming Languages,   Quantum Computing,   Software Engineering,   Theory of Computation,   Railway Engineering,   Computational Sciences,   Computational Mathematics,   Game Design,   Big Data,   Machine Learning,   Machine Vision,   Computer Vision,   Systems Engineering  |