The TU Delft Software Engineering Research Group has the following vacancies:
PhD student in Software Testing and DevOps for Cyber-Physical Systems
The Software Engineering Research Group (SERG) has recently acquired an H2020 EU project called COSMOS that will reinforce the research lines of software testing, evolution, and maintenance at TU Delft by focusing on Cyber-Physical systems.
Emerging Cyber-Physical Systems (CPS)—from robotics, transportation, to medical devices—play a crucial role in the quality of life of European citizens and the future of the European economy. Increasing automation to such an extent, however, gives rise to many challenges, at the crux of which lies the hardware and software symbiosis. COSMOS proposes to overcome the strain on developing and evolving high-quality, dependable CPS by employing two key technologies: DevOps and Artificial Intelligence (AI). These technologies offer the potential to address CPS development, verification, and evolution.
Contact: Annibale Panichella (email@example.com)
PhD student in Software Testing
The Software Engineering Research Group (SERG) has recently acquired a NWO Vici grant called TestShift. The Vici grant is the most prestigious personal research grant from the Dutch Science Foundation NWO and will reinforce the software testing research line at Delft University of Technology.
For this project we are seeking enthusiastic Master students interested in obtaining a PhD degree in the cross-section of software testing, human computer interaction, and socio-technical factors in software engineering. The prospective PhD student is expected to do high-quality research: coming up with creative solutions, working diligently to iron out all details and getting a deeper understanding, interacting with peers around the world, but also interacting with practitioners from both the open source and industrial domain to evaluate your research.
TestShift is rooted in empirical software engineering and will make use of research methods such as ethnography, longitudinal field studies and case studies.
Contact: Andy Zaidman (firstname.lastname@example.org)
PhD student for Testing Distributed Systems and Blockchains
We are looking for an enthusiastic PhD student to work on software testing for distributed systems and Byzantine fault-tolerant (BFT) blockchains.
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 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.
Contact: Burcu Kulahcioglu Ozkan (email@example.com)