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.