D-CON September 2017

d-con@lists.rwth-aachen.de

1 participants
1 discussions

PhD/PostDoc Position: Programming, Modelling and Verification of Concurrent Software

by Gerald Lüttgen

[Apologies for multiple postings.] The Software Technologies Research Group at the University of Bamberg, located in a world-heritage city in Northern Bavaria in Germany, currently has one full-time PhD/PostDoc position available (spine point E13 on the German public sector TV-L salary scale). About the position You will be involved in research and teaching (5 contact hours per semester week) in fields related to software engineering and programming languages. The Software Technologies Group’s research focuses on advanced mathematical techniques for modelling, analysing, verifying and programming concurrent software systems and in building supporting software tools. Your background and experience (1) A strong background in Computer Science, evidenced by an upper class Masters degree in Computer Science or a closely related discipline. (2) Good knowledge and experience in at least one of the following areas: (a) Formal Methods and Theoretical Computer Science (e.g., concurrency theory, automated verification, automata theory, compiler construction), (b) development and programming of concurrent software (e.g., C/C++, Lustre/Esterel, OCaml, Go). (3) Fluency in spoken and written English; knowledge of German is desirable. How to apply Please send your informative application (curriculum vitae, copies of transcripts and degrees, a one-page summary of your Master/PhD thesis, a one-page essay on your research interests) per post or preferably electronically (info(at)swt-bamberg.de, no more than 6 MB) to Prof. Dr. Gerald Lüttgen, Software Technologies Research Group University of Bamberg, 96045 Bamberg, Germany Application deadline is 31 October 2017.

6 years

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

D-CON September 2017