The Department of Computing Science in Faculty II of the Carl von Ossietzky University Oldenburg is seeking to fill one position of This position is located in the Hybrid Systems Group (https://www.uni-oldenburg.de/hs) of Prof. Dr. Martin Fränzle. It is available immediately. The initial contract duration is 3 years; an extension is possible. The successful applicant will contribute to the research projects of the group on topics of processes and methods for the analysis and verification of hybrid discrete-continuous systems in a broad sense. Depending on personal interests, the successful candidate may select research topics from a range covering embedded real-time control, safe artificial intelligence, highly automated driving, autonomous cyber-physical systems, and safety-critical socio-technical systems. Her or his responsibilities include conducting research with the aim of disseminating results in high-quality journals and high-quality conferences, teaching, supervising bachelor and master theses, and other general activities of the research group. Early career development as well as initiatives for development of scientific independence will be actively supported. Candidates are required to have an academic university degree (Master or equivalent) in computer science or a related topic, excellent grades, and a solid scientific background in specification, analysis and verification of hybrid systems. Candidates with good knowledge in at least one of the following fields are preferable: an application area mentioned above, formal methods of computer science or control, program analysis and verification, design and analysis of embedded or real-time systems. Postdoc Researchers must in addition hold a PhD or equivalent in these topics. The Carl von Ossietzky University Oldenburg is dedicated to increasing the percentage of women in science. Therefore, equally qualified female candidates will be given preference. Applicants with disabilities will be given priority in case of equal qualification. This position can also be filled part-time. Please send your application, including a letter of motivation, curriculum vitae, and a copy of the university diplomas and grades, to Carl von Ossietzky Universität Oldenburg, Fakultät II, Jürgen Niehaus, 26111 Oldenburg, Germany, or electronically in a single PDF file without any kind of access restrictions to juergen.niehaus@uni-oldenburg.de. Application by email is preferred. The application deadline is 17.08.2018.