Home > Research Groups > Software Engineering

Software Engineering

Group 2018

Join our group as a Doctoral Student or PostDoc!

We are currently looking for doctoral and postdoctoral researchers to complement our research group at Paderborn university. For further information, please consult our previous announcement here. As stated, please direct your applications to se-jobs.cs@upb.de

For the doctoral level, we encourage you to apply if you have completed your Master degree in either computer science, mathematics, engineering or any related field of study.

At the post-doctoral level, we are particularly looking for candidates with a proven track record (at least two papers at very reputable venues) in any of those subject areas:

  • Static and/or dynamic program analysis
  • Software Security
  • Systems Security
  • Applied (!) cryptography and/or cryptanalysis

Software engineering "Secure by Design"

Following the principle of security and privacy by design, the Software Engineering Group thrives to support software developers in designing and implementing software systems that are known upfront to be secure with respect to certain attack vectors. Opposed to offensive approaches to software security, like ethical hacking, our group specializes on constructive techniques for software security. Our recipe to success is a unique novel combination of program synthesis and analysis techniques.

In our group, we develop languages, mechanisms, processes and tools that allow software developers to clearly state security requirements and, if possible, synthesize partial implementations that achieve or help achieve these requirements. In cases where automated synthesis is impossible, and a programmer hence needs to implement security features by hand, we use automated program analyses to assist the programmer in deciding whether the implementation indeed fulfills the stated security requirements.

Our research includes, but is not limited to:

  • Automated methods and tools to detect security vulnerabilities in program code
  • Methodologies to conduct threat modeling and risk assessment
  • More secure programming models and architectures
  • Cyberphysical systems secure by design, through integrated model-driven technologies

Our research is made possible through generous founding from the German Research Foundation and Oracle Inc. We receive additional funding from the German Academic Exchange Service (DAAD).

Visit our blog

To find out more about our current research, new projects or new vulnerabilities and malware we discovered, visit our blog: