[TYPES/announce] Position at the University of Duisburg-Essen (Germany)

[Barbara Koenig]

The Theoretical Computer Science Group (Prof. Barbara Koenig) at the
University of Duisburg-Essen (Germany) has one open PhD position in
the project SANDS paid according to BAT IIa (full-time). Candidates at
post-doc level can also be considered.

For more information have a look at our web pages: 

  http://www.informatik.uni-duisburg.de/AGThInf/
  http://www.informatik.uni-duisburg.de/AGThInf/research/sands/index.html


Project SANDS - Static Analysis of Dynamically Evolving Systems
---------------------------------------------------------------

Modern software systems must meet increasingly higher safety,
security, and reliability standards.  At the same time, they are
becoming more dynamic in nature: At program level, modern code relies
on dynamic creation of objects and dynamic dispatch of methods. At
system level, communication protocols, computer networks or ubiquitous
computing systems exhibit complex features involving process
migration, remote execution or dynamic reconfiguration.  This
combination of higher requirements and more complex systems makes the
task of meeting the standards one of the big challenges of software
technology.

Dynamic features are modelled in a natural way by means of
transformation rules acting on graphs, also known as graph
transformation systems. Comparatively little is known in terms of
static analysis and verification techniques able to provide
information about the behaviour of general graph transformation
systems in reasonable time.  

The aim of this project is to apply static analysis techniques to
dynamic systems, specified by graph transformation rules, to develop
suitable specification languages and to apply these techniques in
order to analyse systems with mobile processes and dynamically
evolving data structures.

We prefer applicants with experience in some of the following topics:
static analysis, diagnosis, concurrency theory, logics, graph
transformation systems, Petri nets and/or unfoldings.

Requirements
------------

You should have or should be in the process of obtaining a MSc or
equivalent degree. Prior knowledge about the topics of the projects is
considered an advantage. Good English speaking and writing skills are
demanded, as well as the willingness to learn German.


Your Application
----------------

You can obtain further information by adressing your enquiries to:

Barbara Koenig
barbara_koenig at uni-due.de
tel.: ++49-203-3793397

If you are interested in the position, please send your e-mail
application to the address given above. Your application should
include:

* A description of your interest in the project, including your
  motivation and specific qualifications.

* A curriculum vitae, including an abstract of your graduate thesis
  and the name of your supervisor.

* If you are interested in a post-doc position, please include
  a list of your publications and the names of possible referees.

There is no application deadline. Applications will be assessed on an
on-going basis until the position is filled.