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.