Scientific Research Associate (m/f/d), E13

Carl von Ossietzky University of Oldenburg

Germany

June 4, 2022

Description

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 "Foundations and Applications of Systems of Cyber-Physical Systems" (Prof. Dr. Martin Fränzle) offers a vacancy for a

Scientific Research Associate (m/f/d) (pay group 13 TV-L, fulltime)

for a duration of 36 months, starting 1 st July 2022.

Recruitment requirements are a scientific university degree (Master or Diploma) in computer science or mathematics with an above-average level of achievement. The position is embedded into a large and international research group addressing formal methods for the rigorous design and the automated 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.

The successful candidate will pursue research in rigorous design of multimodal cyber-physical systems and safety assurance for modular updates of cyber-physical software systems. Candidates should consequently have an interest in contract-based design of cyber-physical systems, in formal methods and logic, and in rigorous methods for requirements capture and design validation, plus an interest in interdisciplinary cooperation. Familiarity with embedded or cyber-physical systems and a firm grasp of logical methods in computer science and of contract-based approaches to the quality assurance of embedded software are a prerequisite. Fundamental knowledge in satisfiability solving, automated theorem proving, statistical model-checking, or related automated reasoning techniques is desirable.

The successful candidate is expected to pursue research leading to a Ph.D. degree in the above topic area while holding the position. The position involves a teaching duty of 4h/week and therefore provides ample opportunity to develop both the research and the educational skills necessary for a sustained scientific or industrial career.

The position is available for three years from 1st July 2022, with an option for an extension up to the legally permissible contract duration. The position is suitable for part time work.

The University aims to increase the proportion of women in science. Therefore women are strongly encouraged to apply. According to § 21 Para. 3 NHG, female applicants with equivalent qualifications should be given preferential consideration.

People with disabilities will also be given preferential employment.

Candidates must send their applications with the usual accompanying documents electronically by 18 th May 2022 to the University of Oldenburg, Faculty II, Department of Computer Science, c/o Jürgen Niehaus as an e-mail to Juergen.niehaus@uol.de. Applications must contain all documents in a single PDF file and may not apply encryption or access restrictions.

Similar Jobs

Eindhoven University of Technology

Netherlands May 13, 2022

Add to favorites Read more...

Assistant Professor - Multi-Physics Modeling of Cyber-Physical Systems

Assistant Professor - Multi-Physics Modeling of Cyber-Physical Systems Are you a researcher with a strong focus on multi-physical numerical modeling unconventional, and high-performing electromechanical actuation systems for high-tech semicon, medical, transport, and energy conversion systems....

University of Southern Denmark

Denmark May 28, 2022

Add to favorites Read more...

Assistant/Associate Professor in Unmanned Aerial Systems Engineering

Assistant/Associate Professor in Unmanned Aerial Systems Engineering SDU UAS Center at the Maersk Mc-Kinney Moller Institute (MMMI), University of Southern Denmark in Odense invites applications for an open position in Unmanned Aerial Systems Engineering at...