Dependable Systems Group

PostDoc / PhD student vacancies

Feb 03, 2016

We offer positions for PostDocs and/or PhD students in the area of software verification. We are looking for candidates with (at least) a Master degree in computer science, that are committed to projects of putting foundational concepts of computer science and logics into practical use for analyzing software. You find the job posting here.

HPSV project kicked off

Feb 04, 2016

The BMBF project HPSV (Highly Parallel Software Verification of Concurrent Applications in the Automotive Industry) started today. Together with the Zuse Institute Berlin (A. Reinefeld), the group Programming Languages and Compiler Construction of the Kiel University, and the industrial partners Model Engineering Solutions and Symtavision, we work on the solution of demanding verification tasks with techniques from the high performance computing domain. Our group Dependable Systems serves as the project leader.

PhD Johannes Traub

Dec 21, 2015

Today, Johannes Traub has successfully defended his PhD thesis "Formal Verification of Concurrent Embedded Software". The external opponent has been Martin Leucker, University of Lübeck. Congratulations! 

Dr. Markus Schmid Visiting

Oct 15, 2015

Markus Schmid, University of Trier, Germany, will be our guest throughout October 2015. He will work with us on questions of combinatorics on words, in particular word equations.

WORDS 2015 Closes Doors

Oct 15, 2015

The WORDS 2015 conference ended today. 46 scientists from 11 countries came to Kiel to discuss algorithmic and combinatorial questions about sequences and present their latest findings. We would like to thank all people involved for this very interesting and productive meeting!

Moreover, Dirk Nowotka has been elected as a member of the steering committee of WORDS. The next WORDS conference will take place in Montreal, Canada, in 2017.