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
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.firstname.lastname@example.org. Applications must contain all documents in a single
PDF file and may not apply encryption or access restrictions.