Open PhD or postdoctoral researcher positions in Hybrid Systems
Group in Oldenburg / SFB/TRR AVACS
The Hybrid Systems Research Group of Prof. Martin Fränzle at Carl von
Ossietzky University Oldenburg is looking for two
research assistants (PhD candidates or postdoctoral researchers, German
TV-L E13 salary scale).
The first position is associated to the transregional collaborative
research center AVACS (www.avacs.org) funded by Deutsche
Forschungsgemeinschaft. The post is on a limited-time contract and is
available immediately for a span synchronized to the project duration,
i.e. ending 31st December 2015. Topically related follow-up projects are
in preparation.
The second position is available for a maximum of 6 years in total,
divided into an initial contract duration of 2 years and up to 4 years
extension, provided that no individual reasons for limitation apply. It
involves limited teaching duties.
In both positions, the successful applicant will work on automatic methods
for the analysis and verification of hybrid discrete-continuous systems,
which can e.g. be found as models for the interaction of embedded systems
with their physical environment. She or he will work both on the underlying
conceptual and algorithmic level as well as on their implementation in
software tools. The research will be tightly embedded into the ongoing
efforts of the H1/2 and H4 projects of AVACS (Automatic Verification
and Analysis of Complex Systems, http://www.avacs.org) as well as
the research training group SCARE (System Correctness under Adverse
Conditions, http://www.scare.uni-oldenburg.de/). The transregional research
center supports the successful applicant in cooperation with a
multi-university team that includes researchers from the Universities of
Oldenburg, Saarbrücken, and Freiburg as well as those from the
Max-Planck-Institute for Computer Science in Saarbrücken and the Czech
Academy of Sciences in Prague.
Candidates are required to have successfully completed their studies in
Computer Science or a similar area with a Master's degree (or equivalent).
Interest in formal methods of Computer Science is required as well as
knowledge in at least one of the areas of specification, analysis and
verification of computer-based systems, algorithms for SAT/SMT, or safety
and stability properties of controllers. Additionally good programming
skills and a sufficient background in software development is expected.
The position is suitable for PhD candidates as well as post-doctoral
researchers working on their habilitation. The position is suited for
part-time work.
The Carl von Ossietzky University of Oldenburg is strongly
committed to increasing the proportion of female researchers. Women are
therefore particularly encouraged to apply. The Carl von Ossietzky
University implements an equal opportunity policy in accordance with
§21(3) NHG.
Candidates with disabilities will be favored when
having equal qualification. Applications (CV, names of references, if
applicable list of publications, cover letter) are to be directed to
Carl von Ossietzky Universitaet Oldenburg
FK II, Dept. für Informatik
c/o Juergen Niehaus
Ammerlaender Heerstrasse 114-118
26129 Oldenburg
Germany
and should arrive no later than 15th June 2014.
Application costs and travel expenses for interviews cannot be refunded.
--
Martin Fränzle
Dean of the School of Computing Science, Business Adminsitration,
Economics, and Law
+-------------------------------------------------------------------+
| Martin Fränzle <[log in to unmask]> |
| http://hs.informatik.uni-oldenburg.de/25665.html |
+--------------------------------+----------------------------------+
| Carl von Ossietzky Universität | Phone: +49-441-9722 566 (direct) |
| FK II, Department Informatik | +49-441-9722 501 (secr.) |
| Abt. Hybride Systeme | Fax: +49-441-9722 502 |
| D-26111 Oldenburg, Germany | |
+--------------------------------+----------------------------------+
|