At the School of Computing Science, Business Administration, Economics, and Law of the University of Oldenburg, the Department of Computing Science within the research group "Hybrid Systems" (Prof. Dr. Martin Fränzle) offers three vacancies for
Scientific Research Associates (m/f/d)
(pay group 13 TV-L, 100 % working time)
starting immediately. The positions are suitable for part-time work.
Recruitment requirements are a scientific university degree (Master or Diploma) in computer science or mathematics with an above-average level of achievement. Two of the positions may also be filled by post-docs (see below). The positions are embedded into a large and international research group addressing safety analysis of autonomous and cyber-physical systems like, e.g., autonomous driving. A general requirement therefore is the ability to work in an international team and a good command of spoken and written English. Familiarity with formal methods in computer science or previous work in the area of hybrid discrete-continuous systems are desirable. Additional required and desired qualifications are listed below in the description of the individual positions.
The first position is offered in the DFG funded project "Integrated Socio-technical Models for Conflict Resolution and Causal Reasoning", offering the opportunity for close cooperation with scientists from the fields computer science, control theory, and psychology. The project is part of a family of cooperating projects in Germany and in the US, funded under the PIRE (Partnership in International Research and Education) programme. The successful candidate will do research in game-theoretic methods for conflict resolution in socio-technical systems.
Additional requirements for recruitment are a fundamental grasp of model-based development processes for embedded or cyber-physical systems plus an interest in algorithmic game theory and graph algorithms.
The position may also be filled by a post-doc. Otherwise the successful candidate is expected to pursue a Ph.D. in this topic.
The position is available for 33 months. Assuming the existence of suitable follow-up projects, this duration may be extendable.
The second position is offered within the cross-faculty research training group "Social Embeddedness of Autonomous Cyber Physical Systems" (SEAS), offering the opportunity for close cooperation with scientists from the fields of psychology and sociology. The successful candidate will work in the project M2 "Acceptance and Dynamic Conflict Resolution in Automotive Applications" of SEAS, conducting research in the area of the automatic generation of human-comprehensible explanations for the behavior of autonomous cyber-physical systems.
Additional requirements for recruitment are an interest in formal models of cyber-physical systems, in logic, and in automated logical reasoning, plus an interest in interdisciplinary cooperation. Fundamental knowledge in satisfiability solving, automated theorem proving or related automated reasoning techniques is desired.
The successful candidate is expected to collaborate with other young researchers within the research training group and to pursue a Ph.D. degree in this topic.
The position is available for three years.
The third position is offered within the Large Scale Collaboration Project "Zukunftslabor Mobilität", funded by the Ministry for Science and Culture of the State of Lower Saxony (MWK). In this collaboration project, the successful candidate will do research in safety assurance for modular updates of automotive software systems.
Additional requirements for recruitment are a firm grasp of logical methods in computer science and of contract-based approaches to the quality assurance of embedded software. Experience in model-based development processes for embedded or cyber-physical systems is desired.
The position may also be filled by a post-doc. Otherwise the successful candidate is expected to pursue a Ph.D. degree in this topic.
The position is available up to September 2024. Assuming the existence of suitable follow-up projects, this duration may be extendable.
The University of Oldenburg aims to increase the proportion of women in science. Therefore, for all three positions, women are strongly encouraged to apply. According to § 21 Para. 3 NHG, female applicants with equivalent qualifications should be given preferential consideration.
Applicants with disabilities with equal aptitude will be given preferential employment.
Candidates must send their applications with the usual accompanying documents by 3 April 2020 to the University of Oldenburg, Faculty II, Department of Computer Science, c/o Jürgen Niehaus, Ammerländer Heerstraße 114-118, 26129 Oldenburg, or preferably by e-mail to Juergqihten.Niehaus@ubwsmol.m9dejf1. Applications must either clearly state the particular position applied for or may apply to all three positions, in which case a list of preference for the above positions ought to be supplied. Documents sent by physical mail will not be returned to the candidate; therefore do not sent originals. Applications by email must contain all documents in a single PDF file without any access restrictions.