We offer several open positions for Ph.D. students and PostDocs. For details on each offered position, including topics and how to apply, please refer to the Open Positions page.
Modeling and Analysis of Information Systems
Research
The aim of our research is to make software-based systems more trustworthy (i.e. correct, safe, and secure) than they are today. As software engineering is a complex and error-prone task, we employ formal methods for reasoning about information systems and critical system properties. We investigate software systems on the level of code (source code and machine code) as well as on the level of more abstract system specifications. This allows us to provide support for different stages of software development. More details can be found in the Research and Projects sections.
Parts of our research are funded by the Deutsche Forschungsgemeinschaft (DFG), by the European Union (EU), and, within the "Landes-Offensive zur Entwicklung Wissenschaftlich-ökonomischer Exzellenz (LOEWE)", by the Land Hessen.
Teaching
In summer term 2013 we offer the following courses:
- Lecture: Formal Methods for Information Security
- Graduate Seminar: MAIS
- Lab: Dynamic Enforcement of Software Security
- Lab: Software Security for Mobile Devices
- Seminar: Software Security for Mobile Devices
- Seminar: Current Topics in Secure Usage
- Seminar: Security Policy Language for Software Verification
Find out more about our teaching activities.
News
26.04.13
Open Ph.D. and PostDoc positions
31.01.13
Guest Prof. Dr. Bernd Finkbeiner
Prof. Dr. Bernd Finkbeiner and Markus Rabe from Universität des Saarlandes visited MAIS on 31 January.
Open Positions
We currently have open Ph.D. and PostDoc positions in our group. Find out more.
We currently have an open position for a HiWis for the coordination of the RS3 priority program. Find out more.
Print
Imprint
Sitemap
Contact