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 [EMAIL PROTECTED] 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. ---- [[ Petri Nets World: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]] [[ Mailing list FAQ: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]] [[ Post messages/summary of replies: ]] [[ [email protected] ]]
