Phd position testing blockchain applications

Job description
Blockchains are the backbone technology of many critical systems, including cryptocurrencies. However, the implementation of blockchain systems and applications is fraught with challenges. They are susceptible to software bugs arising from unexpected executions involving asynchrony, message delivery delays, and network or process faults.

Ensuring the correctness and reliability of source code implementing blockchains and smart contracts is paramount, and this hinges on effective software testing. Given the complexity and scale of these systems, detecting software errors through manual testing is often impractical and insufficient.

This PhD project seeks to develop advanced automated software testing techniques specifically tailored for smart contracts and blockchain systems, with a particular emphasis on the XRP Ledger framework. The testing techniques will rely on evolutionary intelligence, fuzzing, and learning-based testing to automate the process of finding software errors and identifying buggy program statements.

Objectives:

• Design and implement automated testing methodologies for blockchain systems.
• Address challenges posed by asynchrony, message delays, and network/process faults.
• Develop a methodology to pinpoint the root cause of concurrency errors/faults.

Job requirements
We are seeking a candidate who meets the following criteria:

Needs-to-have:

• Holds a Master's degree in computer science with a focus on Software Engineering and Software Testing
• Possesses a strong background in programming using Python, C/C++, or Ruby, with a potential portfolio demonstrating contributions to open-source projects
• Shows proficiency in writing comprehensive documents and seamlessly integrating production-level software
• Demonstrates excellent verbal and written English skills

Nice-to-have:

• Prior knowledge of blockchain applications and consensus algorithms
• Prior knowledge of dynamic and static analysis techniques

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 as one of our core values and we actively engage to be a university where you feel at home and can flourish. We value different perspectives and qualities. We believe this makes our work more innovative, the TU Delft community more vibrant and the world more just. Together, we imagine, invent and create solutions using technology to have a positive impact on a global scale. That is why we invite you to apply. Your application will receive fair consideration.
Challenge. Change. Impact!

Faculty Electrical Engineering, Mathematics and Computer Science
The Faculty of Electrical Engineering, Mathematics and Computer Science (EEMCS) brings together three scientific disciplines. Combined, they reinforce each other and are the driving force behind the technology we all use in our daily lives. Technology such as the electricity grid, which our faculty is helping to make completely sustainable and future-proof. At the same time, we are developing the chips and sensors of the future, whilst also setting the foundations for the software technologies to run on this new generation of equipment - which of course includes AI. Meanwhile we are pushing the limits of applied mathematics, for example mapping out disease processes using single cell data, and using mathematics to simulate gigantic ash plumes after a volcanic eruption. In other words: there is plenty of room at the faculty for ground-breaking research. We educate innovative engineers and have excellent labs and facilities that underline our strong international position. In total, more than 1000 employees and 4,000 students work and study in this innovative environment.

to go to the website of the Faculty of Electrical Engineering, Mathematics and Computer Science.

Additional information

Are you interested in this vacancy? Please apply no later than 19 Jan 2025 via the application button and upload the following documents:

• CV
• Motivational letter
• Transcripts
• Reference Letters

Please note:

• You can apply online. We will not process applications sent by email and/or post.
• A pre-employment screening can be part of the selection procedure.
• For the final candidates, a knowledge security check will be part of the application procedure. For more information on this check, please consult Chapter 8 of the National Knowledge Security Guidelines. We carry out this check on the basis of legitimate interest.
• Please do not contact us for unsolicited services.