Job posted by Academic Positions (14/03/2014 02.00)
Marie Curie Actions. More
'HR Excellence in Research' logo awarded to institutions actively implementing the European Charter and Code for Researchers. More
European Research Council. More
Motivation. Testing is an important means to assess and improve the quality of ICT systems. At the same time, testing is costly and time consuming, often consuming 50% of the development budget.
Job description:
Motivation.Testing is an important means to assess and improve the quality of ICT systems. At the same time, testing is costly and time consuming, often consuming 50% of the development budget. The goal of the BEAT project is to improve test effectiveness and efficiency by using mathematical game theory, yielding higher system quality at lower costs.
Approach.Testing is naturally phrased as a game, where the tester tries to find faults, playing against the system-under-test (SUT). Also, testing is by nature an optimization problem, asking for a test suite with maximal impact within a given budget.
Aim of the BEAT project is to develop a model-based testing framework that allows one to automatically derive an optimal test suite for a wide range of optimality criteria, including cost, impact, coverage, and risk.
Scientific challenges are (1) to phrase the model-based test theory in terms of mathematical games, so that test cases coincide with game strategies. (2) to develop game-theoretic strategy synthesis algorithms for test optimization (3) to implement these algorithms in our test tool JTorX and perform quantitative assessment of our framework on realistic case studies, provided by industrial partners like Axini, ProRail and Sogeti.
For more information about the project, see:
http://fmt.cs.utwente.nl/research/projects/BEAT/Requirements:
The candidate should have a MSc degree in Computer Science or Mathematics (or an equivalent qualification). The candidate should have a thorough theoretical background; and experience with software development.
Further we ask for good communication and collaboration skills.
Organization:
The University of Twente offers excellent working conditions, an exciting scientific environment, and a green and lively campus. We offer
A PhD position for four years (38 hrs/week).
Full status as an employee at the University of Twente, including pension and health care benefits.
Gross salary PhD student: ranging from EUR 2083 (1st year) to EUR 2664 (4th year) per month, plus holiday allowance (8%) and end-of-year bonus (8.3%).
Excellent facilities for professional and personal development.
Good secondary conditions, in accordance with the collective labour agreement CAO-NU for Dutch universities.
A green campus with lots of sports facilities.
Starting date of the position: as soon as possible after June 1, 2014.
The PhD student will participate in the Twente Graduate School on Dependable and Secure Computing, led by prof. dr. Jaco van de Pol. This research programme offers advanced courses to deepen your scientific knowledge. Participation in national and/or international summer schools, conference and workshops, as well as visits to other prestigious research institutes and universities are also foreseen.
Nr of positions available : 1
Please note that the full description may be available in the national language since some job boards have their own publication policy. Thank you for your understanding
