Irène Curie Fellowship
No
Department(s)
Mathematics and Computer Science
Graduate Program(s)
Computer Science , Electrical Engineering
Reference number
V32.6083
Job description
Are you interested in developing ground-breaking techniques to verify the correctness of software, and do you think parallel computing is exciting? In the GAP project, you can do research on how to use graphics processors to drastically improve the performance of probabilistic model checking, a technique to systematically analyse systems with probabilistic behaviour.
The Software Engineering & Technology cluster at Eindhoven University of Technology (TU/e) offers one PhD position on the development of GPU accelerated probabilistic model checking techniques, within the NWO Open Competition project
GAP: GPU Accelerated Probabilistic Model Checking of Information and Communication Systems.
DESCRIPTION
Probabilistic model checking (PMC) is a technique to systematically analyse systems with probabilistic behaviour. PMC is successfully applied for various purposes, such as to verify the correctness of hard- and software systems in which random phenomena play a role, to perform reliability engineering using fault tree analysis, and to synthesise controller software. However, since the state spaces constructed during PMC tend to grow rapidly, PMC can be very time consuming. In the GAP project, we will conduct research on using graphics processors (GPUs) to perform PMC. Due to the particular architecture of GPUs, this is very challenging and non-trivial.
The GAP project is led by dr.ing. Anton Wijs. At the TU/e, he develops model checking techniques that are accelerated by the use of graphics processing units (GPUs). GPUs offer great potential for parallel computation, while keeping power consumption low. However, not all types of computation can trivially be performed on GPUs, sometimes the algorithms need to be entirely redesigned. In earlier work, we were the first to demonstrate that GPUs can accelerate state space
generation hundreds of times, and therefore that there is potential for a major model checking computational boost. In addition, we have shown that by only accelerating the probability computations, the entire PMC procedure can already become significantly faster. We will use these insights for the next major step: the effective execution of complete PMC on GPUs.
We will extend our state space exploration engine to support probability distributions, and thereby enable PMC. We will focus on the explicit approach to verify Discrete Time Markov Chains (DTMCs) w.r.t. probabilistic CTL properties, as other variants of PMC provide the same computational challenges. Especially the step from detecting all reachable states to the creation of a DTMC will be challenging to perform efficiently using thousands of GPU threads.
Furthermore, we will investigate the symbolic verification of DTMCs. For this, we will focus on Multi-Terminal Binary Decision Diagrams (MTBDDs). This is the most challenging part of the project. Manipulating BDDs on a GPU has received some attention in related work, but we will be the first to focus on MTBBDs, and the first to integrate the manipulation of them into GPU PMC computations.
The research will be conducted in the Software Engineering & Technology (SET) cluster of the Computer Science department at TU/e. The SET cluster develops methods and tools for time- and cost-efficient evolution of high-quality software systems. In the same department, The Formal System Analysis group has experts on techniques to model and analyse discrete system behaviour in a mathematically rigorous way. Finally, the PhD student is expected to work with and visit the Software Modeling and Verification group at RWTH Aachen University in Germany. In this group, the probabilistic model checker Storm is developed and maintained.
Job requirements
We are looking for candidates that meet the following requirements:
- MSc in Computer Science or Electrical Engineering.
- Experience in, and enthusiasm for, programming (not necessarily parallel programming).
- Good communicative skills in English, both in speaking and writing. Candidates should be prepared to prove their English language skills.
Besides the above requirements, the candidate should also fit at least one of the two following
profiles:
Candidates that fit both profiles are particularly encouraged to apply.
Conditions of employment
We offer
A meaningful job in a dynamic and ambitious university, in an interdisciplinary setting and within an international network. You will work on a beautiful, green campus within walking distance of the central train station. In addition, we offer you:
- A research position in an internationally renowned research group.
- Full-time employment for four years, with an intermediate evaluation (go/no-go) after nine months. You will spend 10% of your employment on teaching tasks.
- Salary and benefits (such as a pension scheme, paid pregnancy and maternity leave, partially paid parental leave) in accordance with the Collective Labour Agreement for Dutch Universities, scale 27.
- A year-end bonus of 8.3% and annual vacation pay of 8%.
- High-quality training programs and other support to grow into a self-aware, autonomous scientific researcher. At TU/e we challenge you to take charge of your own learning process .
- An excellent technical infrastructure, on-campus children's day care and sports facilities.
- An allowance for commuting, working from home and internet costs.
- A Staff Immigration Team and a tax compensation scheme (the 30% facility) for international candidates.
Because even when you are far from home, we feel it is important for you to feel at home.
Information and application
About us
Eindhoven University of Technology is an internationally top-ranking university in the Netherlands that combines scientific curiosity with a hands-on attitude. Our spirit of collaboration translates into an open culture and a top-five position in collaborating with advanced industries. Fundamental knowledge enables us to design solutions for the highly complex problems of today and tomorrow.
Curious to hear more about what it’s like as a PhD candidate at TU/e? Please view the video.
Information
For more information about the project, please contact dr.ing. Anton Wijs, e-mail: A.J.Wijs[at]tue.nl.
Visit our website for more information about the application process or the conditions of employment.
You can also contact HR Services, e-mail HRServicesMCS[at]tue.nl.
Are you inspired and would like to know more about working at TU/e? Please visit our career page .
Application
We invite you to submit a complete application by using the 'apply now'-button on this page.
The application should include:
- A cover letter in which you describe your motivation, research experience, interests and qualifications for the position.
- A curriculum vitae, including the contact information of two academic references. We do not need reference letters at this stage.
Please apply by using the ‘Apply now’ button on this page. You can upload a maximum of 5 documents (max. 2 MB each).
Similar Positions
-
Ph D On Real Time Rendering Of Diffusion Mri Tractography Data, Eindhoven University of Technology (TU/e), Netherlands, 8 days ago
17 Apr 2024 Job Information Organisation/Company Eindhoven University of Technology (TU/e) Research Field Technology Researcher Profile First Stage Researcher (R1) Country Netherlands Application ...
-
Ph D Position F/M Efficient Deep Learning (Idp 2024), Inria, France, 23 days ago
3 Apr 2024 Job Information Organisation/Company Inria Research Field Computer science Researcher Profile Recognised Researcher (R2) Country France Application Deadline 2 May 2024 - 00:00 (UTC) Typ...
-
Ph D Position High Fidelity Modelling Of Intensified Hydrogen Production From Biomass, Delft University of Technology (TU Delft), Netherlands, 1 day ago
24 Apr 2024 Job Information Organisation/Company Delft University of Technology (TU Delft) Research Field Technology Researcher Profile First Stage Researcher (R1) Country Netherlands Application ...
-
Ph D Project – Active Control Of Pressure Disturbances In Water Circuits, AcademicTransfer, Netherlands, 22 days ago
PhD project – Active control of pressure disturbances in water circuits PhD project – Active control of pressure disturbances in water circuits Published Deadline Location yesterday 16 May Eindhov...
-
Ph D Project – Flow Induced Vibrations In High Precision Water Circuits, AcademicTransfer, Netherlands, 22 days ago
PhD project – Flow-induced vibrations in high-precision water circuits PhD project – Flow-induced vibrations in high-precision water circuits Published Deadline Location yesterday 16 May Eindhoven...
-
Ph D On 'Bioinspired Composites: Manufacturing And Multi Scale Characterization', Eindhoven University of Technology (TU/e), Netherlands, 7 days ago
18 Apr 2024 Job Information Organisation/Company Eindhoven University of Technology (TU/e) Research Field Technology Researcher Profile First Stage Researcher (R1) Country Netherlands Application ...