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/cybe... ), 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.
Similar Positions
-
Ph D Candidate: Software Security , Radboud University, Netherlands, 2 days ago
Employment 0.8 - 1.0 FTE Gross monthly salary € 2,770 - € 3,539 Required background Research University Degree Organizational unit Faculty of Science Application deadline 19 May 2024 Apply now Are...
-
Ph D Candidate In Software And System Verification, Model Checking, Cyber Physical Systems, University of Luxembourg, Luxembourg, about 21 hours ago
As the successful candidate, you will join the Security, Reasoning and Validation (SeRVal) group of the SnT, under the supervision of Dr. Maxime Cordy. You will contribute more specifically to the...
-
Ph D Position In Functional Characterization Of Plant Pathogen Effector Proteins , University of Amsterdam, Netherlands, about 4 hours ago
Are you interested in understanding the interaction between plants and pathogens on a molecular level? Do you want to be part of a passionate and curiosity-driven research team? Are you challenged...
-
Ph D Position Quantum Computational Fluid Dynamics, Delft University of Technology, Netherlands, about 19 hours ago
TU Delft is looking for talented PhD candidates with interest in quantum computing and computational fluid dynamics to join the Quantum-CFD research team at EEMCS. The Quantum-CFD research team at...
-
Ph D Stipends Within Distributed, Embedded And Intelligent Systems, Aalborg University, Denmark, about 22 hours ago
We seek PhD students that will contribute to new generations of scalable, model-based tools for cyber-physical systems based on a mathematical sound foundation, that enables trade-offs between fun...
-
Ph D Position On Calibration In Deep Learning For Zero Downtime In Cyber Physical Systems, University of Twente, Netherlands, about 19 hours ago
Vacancies PhD position on Calibration in Deep Learning for Zero Downtime in Cyber-Physical Systems Key takeaways The vacancy is focused on calibration in deep learning . Deep Neural Networks (DNNs...