Within dr. Sicco Verwer’s VIDI project “Learning state machines from infrequent software traces”, you will develop novel model (automaton) learning algorithms and develop tools for learning from software log data. The aim is to provide software analysts with insightful models. We are able to learn insightful state machine models for the frequent happy flow of software. Although these can be useful to understand software, the real interesting behavior occurs in the infrequent unhappy flows, typically caused by errors. The project aims at learning state machines from such unhappy flows. Using techniques from outlier explanation we aim to uncover how unhappy flows differ from happy ones. We will work close together with developers and analysts from our industrial partner Adyen to develop a tool that helps them to understand software/network logs and errors.
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 about 2100 students. Together they work on a broad range of technical innovations in the fields software technology and intelligent systems.
Within the cyber analytics lab (www.cyber-analytics.nl) in the cyber security group (www.tudelft.nl/ewi/over-de-faculteit/afdelingen/intelligent-systems/cybersecurity), we work on understanding IT systems. Almost every IT system that we use is complex and contains many mistakes. Every single mistake is a wide-open door to attackers trying to break into the system. Humans cannot deal with this complexity, so we are working on automated tools that can.
- an MSc in computer science, mathematics, or similar.
- a keen interest in machine learning for software analysis.
- a strong motivation for solving real world problems.
- good analytical and problem solving skils.
- excellent command of English speaking and writing.
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 € 2434 per month in the first year to € 3111 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
The Faculty of Electrical Engineering, Mathematics and Computer Science (EEMCS) brings together three disciplines – electrical engineering, mathematics and computer science. Combined, they reinforce each other and are the driving force behind the technology we use in our daily lives. Technology such as the electricity grid, which our faculty is helping to make future-proof. We are also working on a world in which humans and computers reinforce each other. We are mapping out disease processes using single cell data, and using mathematics to simulate gigantic ash plumes after a volcanic eruption. There is plenty of room here for ground-breaking research. We educate innovative engineers and have excellent labs and facilities that underline our strong international position. In total, more than 1,100 employees and 4,000 students work and study in this innovative environment.
Click here to go to the website of the Faculty of Electrical Engineering, Mathematics and Computer Science.
For more information about this vacancy, please contact Dr. Sicco Verwer, associate professor in machine learning for cyber security, email: firstname.lastname@example.org