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.