The group “Theory of Parallel Systems” (TPS) of Prof. Dr. Kirstin Peters in the Department of Computer Science welcomes applications for a PhD position in theory of concurrent systems. The position is fully funded and initially limited to a term of 3 years. TPS is a newly established group that analysis and develops formal methods for the verification of parallel and concurrent systems. Its focus is on methods to tame the additional complexity that results from communication between different peers in distributed systems. Task Description: * The position includes research and teaching duties. * In research, the candidate is expected to contribute to the analysis and development of formal methods for the verification of parallel and concurrent systems. * implementation of prototypes (if necessary) * contribution to research projects (including ideas for project proposals, project meetings,collaboration to generate results and publications) Requirements: * Applications are open to students with an excellent master’s degree in computer science or related topics with a focus on formal methods/theoretical computer science. * research interests in one or more of the following areas: formal methods for verification, modelling languages (e.g. process calculi, Petri nets, event structures), type systems, model checking * Experience with interactive theorem proving (e.g. Isabelle/HOL) would also be desirable. * motivation, ability to present and formulate research results in English, capacity to solve research problems in teams * creativity, capacity for teamwork, reliability * good command of spoken and written English (German language skills are an advantage) We offer: * good working atmosphere and intensive dissertation support * participation at international conferences * free ticket „LandesTicket Hessen“ in 2019, that is valid for the whole regional public transport in Hessen Opportunity for further qualification (doctoral dissertation) is given. The fulfillment of the duties likewise enables the scientific qualifications of the candidate. The Technische Universität Darmstadt intends to increase the number of female employees andencourages female candidates to apply. In case of equal qualifications applicants with a degreeof disability of at least 50 or equal will be given preference. Wages and salaries are according tothe collective agreements on salary scales, which apply to the Technische Universität Darmstadt(TV-TU Darmstadt). Please send your application (in German or English) with the reference number below to: Prof. Dr. Kirstin Peters, TU Darmstadt, Fachbereich Informatik, Fachgebiet Theorie Paralleler Systeme, Hochschulstraße 10, D-64289 Darmstadt or via e-mail as PDF document to kirstin.peters@cs.tu-darmstadt.de. The application should include a detailed CV including language skills and a list of courses (incl. grades) that are relevant for the position. Please send inquires directly to Prof. Dr. Kirstin Peters (kirstin.peters@cs.informatik.tu-darmstadt.de). Reference number: 400 date of publication: 05 July 2019 *deadline: 31 July 2019* -- Prof. Dr. Kirstin Peters Technische Universität Darmstadt Theory of Parallel Systems (TPS)