PhD/PostDoc Position: Programming, Modelling and Verification of Concurrent Software
[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.
participants (1)
-
Gerald Lüttgen