PhD and PostDoc position in SOFTWARE MODELING and VERIFICATION

The Software Technology group (SofTeX) at the University of Kaiserslautern invites applications for a fully funded, 4-year young researcher/PhD position and a two year PostDoc position in the context of HATS EU project (http://www.hats-project.eu) .

The goal of HATS is a tool-supported framework and formal methodology for the development of long-lived and trustworthy software systems. Specifically, HATS will turn software product family (SWPF) development into a rigorous approach. The technical core of the project is an Abstract Behavioral Specification language which will allow precise description of SWPF features and components and their instances.

The positions in Kaiserslautern have a focus in the area of software modeling and verification, in particular on

• semantically founded integration of behavioral software models, feature-based descriptions of variability and programs and on

• modular verification techniques for object-oriented models and model refinement.

Kaiserslautern is one of the large computer science sites in Germany. Colocated with the CS Department are the Fraunhofer Institute on Experimental Software Engineering and research groups of the German Research Center for Artificial Intelligence and the newly founded Max Planck Institute for Software Systems.

Applicants should have (or expect to have at the start of employment):

• For the young researcher/PhD position: a good Masters level or excellent Bachelor level degree (or equivalent) in computer science, mathematics, or a closely related discipline with knowledge in the areas above.

• For the PostDoc position: a PhD in computer science or mathematics, preferably with research experience in one of the topics mentioned above.

Knowledge of German is not a prerequisite for application. English is the working language for research and graduate courses.

The offered positions provide excellent opportunities for international collaboration since HATS is a European project with 11 partners from 7 countries. The SofTeX group is an internationally active research group with currently 7 PhD students and 1 PostDoc.

Applications and information:

The deadline for applications is January 31, 2009. (Applications received after this deadline may be considered.) The positions are intended to start in spring 2009. qApplications should be sent to

poetzsch at cs.uni-kl.de

and include a curriculum vitae, a list of publication (if any), transcript of records from previous studies, a brief description of research interests with regards to the SofTeX group and HATS, and, if possible, letters of recommendation. More information on the research group can be found at http://softech.cs.uni-kl.de

Stellen für Studierende

Tutoren für Software-Entwicklung 1

Die AG Softwaretechnik sucht zur Betreuung von Studierenden der Vorlesung Software-Entwicklung 1 im Wintersemester 2009/10 studentische Hilfskräfte mit:

• sehr guten Kenntnissen der Inhalte der Vorlesung Software-Entwicklung I und des Programmierens (in Java und einer funktionalen Sprache)
• Interesse anderen Studenten Wissen zu vermitteln und dabei die eigenen Kenntnisse zu vertiefen
• Interesse Erfahrungen jenseits des normalen Studienplans zu sammeln

Die Tutoren werden im Regelfall Verträge mit sieben Stunden pro Woche bekommen. Erwartet wird dafür die Betreuung einer Übungsgruppe mit ca. 20 Studierenden inkl. wöchentlicher Übungsstunde, Korrektur und Abnahmen der Abgaben, sowie einem wöchentlichen Tutorentreffen und Unterstützung der Klausuren im Winter- und Sommersemester.

Ansprechpartner Dipl. Inf. Jean-Marie Gaillourdet Dipl. Inf. Patrick Michel