2 PhD + 1 Postdoc position in Formal Methods @ RWTH Aachen



Date view Thread view Subject view Author view Attachment view

katoen@cs.utwente.nl
Date: Fri 18 Feb 2005 - 13:14:28 GMT


[We apologise for multiple copies.]


PhD students and Postdoctoral researcher in Formal Methods
==========================================================

Our profile
-----------

The Programming Language and Software Validation (PLSV) group at the RWTH
Aachen University in Germany is part of the Informatics department of the
Faculty of Mathematics, Computer Science and Natural Sciences, an academic
institution with about 3000 students in computer science.  Research and
education in computer science at the RWTH is frequently ranked as ``excel-
lent''.

Our group currently has 11 employees and is responsible for education and 
research in the area of formal methods and supporting software tools. To-
pics of interest are: concurrency theory, (timed and probabilistic) model 
checking, semantics of programming languages, term rewriting, probabilistic 
models for concurrency.  Software tools such as Aprove, ETMCC, Motor, and
Truth have (part of) their roots in our group.  

More information can be found at URL www-i2.cs.rwth-aachen.de

PhD students
------------

* Your profile
Candidates should have an MSc (or equivalent) degree in computer science 
or a closely related area and have outstanding scores.  Familiarity with 
one of the abovementioned topics is considered an advantage.  You enjoy 
working in an internationally oriented research environment, and have the
ability to work in a team.  Communicative skills are important.  Fluency
in English and/or German is required.

* Your duties
You conduct research in one of the abovementioned topics and publish 
your results in international conferences and journals.  Your research
should lead to a dissertation.  Besides, you obtain teaching duties and
restricted supportive tasks.  

* Appointment and salary
Salary will be on the BAT IIa scale, currently per month between 2900 and
3600 Euro depending on age and family situation.  The positions are avai-
lable from September 1, 2005 on.

Postdoctoral researcher
-----------------------

* Your profile
Candidates should have a PhD in Computer Science or comparable qualifica-
tions and have research experience in one of the abovementioned research
areas.  You have published your research results in relevant international
journals and/or conferences.   You enjoy working in a team and have good
communication skills.  Teaching experience is considered an advantage.

* Your duties
You conduct research in one of the abovementioned topics and publish your
results in international conferences and journals.  Besides, you actively
participate in our teaching duties and are willing to fulfill supportive 
tasks within our group.  

* Appointment and salary
You will be appointed for a period of maximally three years (with the pos-
sibility of an extension).  Salary will be on the BAT Ib scale, currently 
per month between 3100 and 4200 Euro depending on age and family situation. 
The position is immediately available. 

Information and application
---------------------------

You can obtain further information about these positions from:

Prof. Dr. Ir Joost-Pieter Katoen, katoen@cs.rwth-aachen.de, 
tel. +49 241 80 21207, fax. +49 241 80 22217.

Priv.-Doz. Dr. Thomas Noll, noll@cs.rwth-aachen.de,
tel. +49 241 80 21213, fax. +49 241 80 22217.

Formal applications should include a full CV, a statement of  research 
interests, pointers to relevant publications, and contact details for 2-3
referees.  Deadline for application is: April 1, 2005.  Please send your
application to the e-mail address above (preferably in pdf-format) or by 
mail to:

  Lehrstuhl für Informatik II
  RWTH Aachen
  Ahornstr. 55
  D-52056 Aachen  

Please indicate the applicable vacancy number in your application: 2271
for the PhD positions and 2273 for the postdoctoral researcher.

Employment equity is one of the aims of the RWTH.  We welcome applications
from persons with disabilities.

Date view Thread view Subject view Author view Attachment view