Logic List Mailing Archive

PhD student position and postdoc position in formal methods, Luebeck (Germany), Deadline: 7 Oct 2012

======================================================================
The Institute for Software Engineering and Programming Languages (ISP,
www.isp.uni-luebeck.de) at the University of Lbeck offers openings for
a PhD candidate and PostDoc in the area of

   "Runtime Verification for Service Oriented Architecture".
              Deadline for application: October 7, 2012.

======================================================================

With about 3,000 students and 160 professors, the University of Lbeck
(www.uni-luebeck.de) is one of the smallest and most focused
universities in Europe with a high reputation in its main research areas
medicine and computer science. The ISP, led by Martin Leucker, is part
of the computer science division and is involved in several national and
international projects in the area of formal methods for system design
in a broad sense. Our research and teaching activities concentrate on
modeling and checking quality aspects (such as safety, reliability,
performance and survivability) of software systems by applying
mathematical theories and methods, such as model checking, runtime
verification, and testing.

We offer a PhD position and a PostDoc position in the following new BMBF
funded project:

Safe dynamic interconnection within the surgery room and clinic (OR.NET)

providing plenty of opportunities to cooperate with highly recognized
national partners. There is also the possibility to gain valuable
experience in the emerging field of formal methods for healthcare
systems, in terms of new theoretical models and methods and in tool
implementations. The main focus of the positions is to develop runtime
verification solutions for service oriented architectures.

For the PhD position, it is expected that a successful PhD thesis is
written within a time frame of three to four years. The PostDoc position
is initially for one year but may be extended up-to three years.

** Required profile.
PhD candidates must hold a Master degree or equivalent in computer
science or a closely related discipline, while PostDocs candidates are
expected to hold a PhD. You have outstanding scores and have a strong
background in formal methods (e.g., runtime verification, model
checking, formal semantics, automata theory, logic). You should have
interest in performing original, highly competitive scientific research,
publishing the results in top conferences and scientific journals,
implementing scientific results in terms of competitive prototypes, and
also participating in interaction with student groups. Self-motivation
and the ability to work both independently and as a team player in local
and international research groups are expected. Fluency in English is
required; proficiency in German is helpful but not compulsory. A
contribution to our teaching tasks is expected.

** What we offer.
The ISP offers a creative international environment, the possibility to
participate in highly competitive research on a global scale and also
the opportunity to involve students through their project work.  PhD
positions have either a full status as employee with a salary according
to the German civil service TV-L E13 scale, which corresponds to approx.
40,000 EUR gross income per year (incl. holiday allowance and
end-of-year bonus) depending on your family situation or are members of
the Graduate School for Computing in Medicine and Life Sciences,
resulting in financial support of a similar scale.  Enrollment will be
initially for one year with a possibility for extension after a positive
one-year evaluation.  The University of Lbeck offers excellent
facilities for professional and personal development.  Starting date of
the positions: as soon as possible.

** How to apply.
Applications should include:
- a cover letter (explaining your specific research interests and
qualifications)
- a detailed Curriculum Vitae
- a list of all courses + grades, and a paragraph describing your MSc
thesis project
- publication list (for PostDoc applications)
- contact details of (at least) two professors that can provide a
recommendation for your application.

Please send your application ultimately by September 30 to both e-mail
addresses mentioned below.

Further information.
Enquiries about the PhD and PostDoc positions can be directed to:
Prof. Dr. Martin Leucker (e-mail: leucker@isp.uni-luebeck.de)

The University of Lbeck is committed to employment equity. We strongly
encourage applications from qualified women and persons with disabilities.