Modern computation increasingly depends on large-scale distributed systems and blockchains. However, these systems are difficult to design and implement correctly.
Their executions involve many sources of nondeterminism, such as the delivery order of asynchronous messages, message losses due to network failures, and process failures.
Production distributed systems and blockchains must ensure correctness in the existence of unexpected executions and failures.
The PhD project aims to develop program analysis and testing techniques specifically designed for detecting bugs in distributed systems and blockchains.
The project lies in the intersection of software testing, software quality, fault-tolerance, distributed systems, and blockchains.
The prospective PhD student is expected to do highquality research involving both theory and implementation : getting a deep understanding of theoretical abstractions of fault-tolerant systems and developing novel software analysis and testing techniques.
The successful candidate has :
Conditions of employment
TU Delft offers PhD-candidates a 4-year contract, with an official go / no go progress assessment after one year. Salary and benefits are in accordance with the Collective Labour Agreement for Dutch Universities, increasing from € 2395 per month in the first year to € 3061 in the fourth year.
As a PhD candidate you will be enrolled in the TU Delft Graduate School. The TU Delft Graduate School provides an inspiring research environment with an excellent team of supervisors, academic staff and a mentor.
The Doctoral Education Programme is aimed at developing your transferable, discipline-related and research skills.
The TU Delft offers a customisable compensation package, discounts on health insurance and sport memberships, and a monthly work costs contribution.
Flexible work schedules can be arranged. For international applicants we offer the Coming to Delft Service and Partner Career Advice to assist you with your relocation.
TU Delft (Delft University of Technology)
Delft University of Technology is built on strong foundations. As creators of the world-famous Dutch waterworks and pioneers in biotech, TU Delft is a top international university combining science, engineering and design.
It delivers world class results in education, research and innovation to address challenges in the areas of energy, climate, mobility, health and digital society.
For generations, our engineers have proven to be entrepreneurial problem-solvers, both in business and in a social context.
At TU Delft we embrace diversity and aim to be as inclusive as possible (see our Code of Conduct). Together, we imagine, invent and create solutions using technology to have a positive impact on a global scale.
Challenge. Change. Impact!
Faculty Electrical Engineering, Mathematics and Computer Science
About the research environment
The Software Engineering Research Group (SERG) is part of the department of Software Technology, faculty of Electrical Engineering, Mathematics, and Computer Science, and a member of the research school IPA.
The group employs approximately 30 people, comprising full, associate, and assistant professors, lecturers, postdocs, and PhD students.
The main research areas for the group include but are not limited to software analytics, software testing, software quality and maintenance, software evolution, search-based software engineering, software engineering for concurrency and distribution.
The involved researchers have developed numerous techniques to make it easier for software developers to (1) understand, (2) maintain and (3) test existing software systems.
More information about the group can be found here : https : / / se.ewi.tudelft.nl
SERG is part of the Department of Software Technology (ST), which comprises research groups working on core computer science and engineering topics.
The department is responsible for a large part of the curriculum of the BSc and MSc programmes in Computer Science as well as the MSc programme in Embedded Systems.
The department’s research mission is to perform excellent research at an internationally-recognised level in the design, construction and analysis of complex, concurrent and cooperative computer and information systems.
Inspiration for the research topics is derived largely from technical ICT problems in industry and society. The Department moved into new office and lab space in 2018.
The Faculty of Electrical Engineering, Mathematics and Computer Science (EEMCS) is known worldwide for its high academic quality and the social relevance of its research programmes.
The faculty’s excellent facilities accentuate its international position in teaching and research. Within this interdisciplinary and international setting the faculty employs more than 1100 employees, including about 400 graduate students and 4000 undergraduate students.
Together they work on a broad range of technical innovations in the fields of sustainable energy, telecommunications, microelectronics, embedded systems, computer and software engineering, artificial intelligence, interactive multimedia and applied mathematics.
Located in a charming college town, TU Delft is the largest and oldest public technological university in the Netherlands.
The university is regularly ranked among the most highly-rated worldwide for engineering and technology. Information about academic careers in the Netherlands and working at TU Delft can be found at www.
factcards.nl and www.tudelft.nl / en / about-tu-delft / working-at-tu-delft / coming-to-the-netherlands-tu-delft / .