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.

Florin Manea Chairs SC of CiE

Sep 26, 2016

Florin Manea has been appointed as the chair of the steering committee of the Computability in Europe (CiE) conference series. By that, he also became a member of the board of the European Association for Computer Science Logic (EACSL).

New Team Members

Sep 13, 2016

We welcome Dr. Danny Poulsen, Joel Day (both since August 2016), and Kamellia Reshadi (since June 2016) as new members in our group. Danny works in the area of formal verification of hybrid systems. Joel and Kamellia work in the area of word combinatorics.

Dirk Nowotka Editor IJFCS

Sep 12, 2016

Dirk Nowotka has become a member of the editorial board of the journal International Journal of Foundations of Computer Science (IJFCS).

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.

TT_Kit_Final Zip archive, 3.68 MB