We have a vacancy for a PhD student to develop techniques and tools for testing fault-tolerance of distributed systems.
Application: Online (deadline: December 17th, 2021)
Modern computation increasingly depends on large-scale distributed systems and blockchains. However, these systems are difficult to design and implement correctly. They may fail to ensure correctness in subtle executions with unexpected orderings of exchanged messages, network partitions, and process failures.
The PhD project aims to develop program analysis and testing techniques for improving reliability of distributed systems and blockchains.
The project lies in the intersection of software testing, program analysis, and distributed systems. The prospective PhD student is expected to do high-quality 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.
Please apply online before December 17, with an application package containing:
- A detailed CV (with contact information for 2-3 references; sending references letters yourself is not necessary).
- A motivation letter that includes your vision (e.g., what do you consider an urgent problem to address, how you would go about the project, etc.) and how your background or research interests relate to the PhD subject. A generic letter of motivation is not appreciated.
- A copy or link to your (draft) Master’s thesis.
- A transcript of BSc and MSc grades.
Additional information: For additional information about this vacancy, you can contact:
Software Engineering Group (SERG):
he Software Engineering Research Group (SERG) is part of the department of Software Technology, faculty of Electrical Engineering, Mathematics, and Computer Science (EEMCS), 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):
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.
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.
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/.
[log in to unmask]
If you don't already have a password for the LISTSERV.ACM.ORG server, we recommend that you create one now. A LISTSERV password is linked to your email address and can be used to access the web interface and all the lists to which you are subscribed on the LISTSERV.ACM.ORG server.
To create a password, visit:
Once you have created a password, you can log in and view or change your subscription settings at: