Research Position in Formal Methods / Proving Technologies / Configuration Technologies for Product Line Engineering (Basis: TV-L Entgeltgruppe 13, up to 100%)

[Klaus Schmid]

Applications are invited for the following job offer at the
Stiftung Universität Hildesheim at the Institute of Computer
Science, Department IV

Research Position in Formal Methods / Proving Technologies / Configuration Technologies for Product Line Engineering
(Basis: TV-L Entgeltgruppe 13, up to 100%)

The position should be staffed as soon as possible and initially for the next two years. Optionally, the position is available as a part-time position. The job offer is intended for a PhD candidate with interest in the area of software engineering and desire to perform research in this area. The salary depends on personal capabilities and the guidelines of the TVL.

The University of Hildesheim is a young and ambitiously growing University, which offers an
interesting research spectrum from computer science over languages to the arts.
Hildesheim is a beautiful city with UNESCO world heritage sites located 30km from Hanover.
The city is also well connected to other places such as Berlin, Hamburg or Hannover.

The Software Systems Engineering (SSE) research group researches in the
most current methods and techniques of software engineering to increase efficiency and
quality of software development. Focus areas are: Product Line Engineering, Requirements
Engineering, and Adaptive Software Systems.  We cooperate in national and international
research projects as well as in industrial projects in a number of innovative application areas.

The job offer is part of the project „Support for correct evolution of software product lines (EvoLine)“, which is founded by the DFG (Deutsche Forschungsgemeinschaft) and is focused on formal methods / proving technologies / configuration technologies for product line engineering. The project deals with methods for supporting the long-term evolution of software, particularly in terms of product lines.

Tasks:
- Development and evolution of approaches to software configuration
   and verification, especially for large and very large configurations
- Collaboration on approaches for reengineering of software systems
- Scientific work, i.e. publications, presentations, etc.
- Development of software prototypes for reasoning mechanisms (prover,
    configurators), in particular in the context of Eclipse

Requirements:
- Degree in computer science or a (closely) related area (natural sciences,
   mathematics,..)
- Ability to work independently
- Open for new challenges
- Good communication and team work abilities
- Good English skills (writing, conversation)

Desired abilities:
- Knowledge of software engineering
- Knowledge of software product line development
- Knowledge of proving methods

Upon offer of a position at SSE, candidates who are non-EU citizens are required to obtain an appropriate long-term Schengen visa; further information is available from your nearest German embassy.

The Stiftung University Hildesheim aims at increasing the number of women in research and teaching. Women with equivalent qualification shall be preferred. Severely disabled applicants with equivalent qualification shall also be preferred.

Additional information can be obtained from the Institut für Informatik, Software Engineering,
Prof. Dr. Klaus Schmid, schmid at sse.uni-hildesheim.de<mailto:schmid at sse.uni-hildesheim.de>.

Applicants are encouraged to apply as soon as possible as the position will remain open until staffed by a suitable candidate. Please apply in textual form (including the usual documents such as CV, transcripts of certificates in copy) by email to schmid at sse.uni-hildesheim.de<mailto:schmid at sse.uni-hildesheim.de> or by mail at: Präsident der Universität Hildesheim, Dezernat für Personal- und Rechtsangelegenheiten, Marienburger Platz 22, 31141 Hildesheim. Please refer to the identification code 2012/68/E. Application material provided by mail will be sent back if a stamped self-addressed envelope is included.

We are looking forward to your application!

-----------------------------------------------------------------
Prof. Dr. Klaus Schmid
University of Hildesheim             Tel.: +49 (0) 5121 / 883-761
Institute of Computer Science        Fax.: +49 (0) 5121 / 883-769
Marienburger Platz 22                schmid at sse.uni-hildesheim.de<mailto:schmid at sse.uni-hildesheim.de>
D-31141 Hildesheim, Germany      http://www.sse.uni-hildesheim.de
-----------------------------------------------------------------