======================================================================
The Software Modeling and Verification Group (MOVES,
moves.rwth-aachen.de) at RWTH Aachen University offers openings for
several PhD candidates in the area of
"Model-Based Design and Analysis for Dependable Software Systems".
Deadline for application: September 14, 2012.
======================================================================
With about 36,000 students, 480 professors as well as 4,500 academic
staff, RWTH Aachen University (www.rwth-aachen.de) is one of the largest
technical universities in Europe. Recently, it has again succeeded in
the Excellence Initiative by the German federal and state governments,
thus affirming its leading position within the German research
landscape. The MOVES Group, led by Joost-Pieter Katoen, is part of the
Faculty of Mathematics, Computer Science and Natural Sciences and
consists of four professors and further 25 staff members. It is involved
in several national and international projects in the area of formal
methods for system design in a broad sense. Our research and teaching
activities concentrate on modeling and verifying trustworthiness aspects
(such as safety, reliability, performance and survivability) of software
systems by applying mathematical theories and methods, such as process
algebras, stochastic modeling and model checking.
We offer vacancies in the following new EU projects:
Self Energy-Supporting Autonomous Computation (SENSATION)
Distributed MILS for Dependable Information and Communication
Infrastructures (D-MILS)
providing plenty of opportunities to cooperate with highly recognized
national and international partners. There is also the possibility to
gain valuable experience in the emerging field of trustworthy
distributed systems, in terms of new theoretical models and methods and
in tool implementations. It is expected that a successful PhD thesis is
written within a time frame of three to four years.
** Required profile.
Candidates must hold a Master degree or equivalent in computer science
or a closely related discipline. You have outstanding scores and have a
strong background in formal methods (e.g., model checking, formal
semantics, automata theory, logic). You should have interest in
performing original, highly competitive scientific research, publishing
the results in top conferences and scientific journals, and also
participating in interaction with student groups. Self-motivation and
the ability to work both independently and as a team player in local and
international research groups are expected. Fluency in English is
required; proficiency in German is helpful but not compulsory. A
contribution to our teaching tasks is expected.
** What we offer.
The MOVES group offers a creative international environment, the
possibility to participate in highly competitive research on a global
scale and also the opportunity to involve students through their project
work. PhD positions have a full status as employee with a salary
according to the German civil service TV-L E13 scale, which corresponds
to approx. 40,000 EUR gross income per year (incl. holiday allowance and
end-of-year bonus) depending on your family situation. Employments will
be initially for one year with a possibility for extension after a
positive one-year evaluation. RWTH Aachen University offers excellent
facilities for professional and personal development. Starting state of
the positions: as soon as possible after November 1, 2012.
** How to apply.
Applications should include:
- a cover letter (explaining your specific research interests and
qualifications);
- a detailed Curriculum Vitae
- a list of all courses + grades, and a paragraph describing your MSc
thesis project
- contact details of (at least) two professors that can provide a
recommendation for
your application.
Please send your application ultimately by September 14 to both e-mail
addresses mentioned below.
Further information.
Enquiries about the PhD positions can be directed to:
Prof. dr. ir. Joost-Pieter Katoen (e-mail: [email protected])
apl.-Prof. dr. Thomas Noll (e-mail: [email protected])
RWTH Aachen University is committed to employment equity. We strongly
encourage applications from qualified women and persons with disabilities.
----
[[ 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] ]]
