Post-Doctoral Researcher on Applications of Control-flow Equivalence to Systems and Security- NL

Applications are invited for a fully funded three-year postdoctoral position aimed at the intersection of theoretical computer science, computer systems, and security. The topic of the research will be centered on applying techniques from automata theory and programming language semantics within program similarity detection, with applications to recurrent vulnerability detection, as well as optimizing compilers, with a focus on code specialization and abstraction.

This is a unique position that involves skills both in theory and software implementation.

• Outrunning Big KATs:
  Efficient Decision Procedures for Variants of GKAT. Cheng Zhang, Qiancheng Fu, Hang Ji, Ines Santacruz Del Valle, Alexandra Silva, Marco Gaboardi; _14
• CF-GKAT:
  Efficient Validation of Control-Flow Transformations. Cheng Zhang, Tobias Kappé, David
  
  E. Narváez, Nico Naus; /3704857
• Eradicating the Unseen:
  Detecting, Exploiting, and Remediating a Path Traversal Vulnerability across Git Hub. Jafar Akhoundali, Hamidreza Hamidi, Kristian
  
  F.
  
  D. Rietveld, and Olga Gadyatskaya; /
• Function Merging by Sequence Alignment. Rodrigo
  
  C. O. Rocha, Pavlos Petoumenos, Zheng Wang, Murray Cole, and Hugh Leather; .

• Develop theory aimed at applying concepts around bisimilarity to control flow graphs, with an eye towards applications in compiler engineering and security;
• Design algorithms to put this theory to work for its intended application, along with the necessary optimizations to achieve a feasible runtime;
• Implement and benchmark those algorithms, to develop push-button solutions that can be applied to real-world source and binary code today;
• Publish your research findings in top-tier conferences, and present your work at conferences, contributing to the scientific community's body of knowledge;
• Get involved with LIACS as a whole, for instance by co-supervising student theses, taking place in committees, or assisting in teaching – the exact responsibilities here depend on your preferences.

You will be a member of both the Theory and Systems & Security clusters at LIACS, and supervised by Tobias Kappé (Theory), Kristian Rietveld and Olga Gadyatskaya (both Systems & Security).

The Faculty of Science is a world-class faculty where staff and students work together in a dynamic international environment. It is a faculty where personal and academic development are top priorities. Our people are committed to expand fundamental knowledge by curiosity and to look beyond the borders of their own discipline; their aim is to benefit science, and to contribute to addressing the major societal challenges of the future.

The research carried out at the Faculty of Science is very diverse, ranging from mathematics, information science, astronomy, physics, chemistry and bio-pharmaceutical sciences to biology and environmental sciences. The research activities are organised in eight institutes. These institutes offer eight bachelor’s and twelve master’s programmes. The faculty has grown strongly in recent years and now has more than 2.300 staff and almost 5,000 students.

We are located at the heart of Leiden’s Bio Science Park, one of Europe’s biggest science parks, where university and business life come together. For more information, see (Use the "Apply for this Job" box below). and /

The Leiden Institute of Advanced Computer Science (LIACS) is the Artificial Intelligence and Computer Science Institute in the Faculty of Science of Leiden University. We offer courses at the Bachelor and Master of Science level in Artificial Intelligence, Computer Science, ICT in Business, Media Technology, and Bioinformatics. According to an independent research visitation, we are one of the foremost computer science departments of the Netherlands.

We strive for excellence in a caring institute, where excellence, fun, and diversity go hand in hand. We offer a clear and inviting career path to young and talented scientists with the ambition to grow. For more information about LIACS, see http://.edu