[Concurrency] 2 PhD positions at the RWTH Aachen, Germany
The newly created research group “Theory of Hybrid Systems”
at the RWTH Aachen, Germany, offers a
Research Assistant
position (salary class TVoD 13).
The group is devoted to the modeling and analysis of linear as well as
non-linear and probabilistic hybrid systems. Our main (but not
exclusive) research interest lies on decision procedures and bounded
model checking. For further information about the Hybrid Systems Group
see http://www-i2.informatik.rwth-aachen.de/i2/hybrid/ .
We encourage both university graduates and postdocs to apply.
Candidates should have an MSc (or equivalent) degree in computer
science or in a closely related area. You should have outstanding
scores, enjoy working in an internationally oriented research
environment, and have the ability to work in a team. Fluency in
English is required. For university graduates, promotion is supported.
Applications of women and of severely disabled persons are highly
appreciated.
Please direct informal enquiries and your application with the usual
documents either electronically or by mail to
Prof. Erika Abraham
Informatik II
RWTH Aachen
D-52056 Aachen
Germany
eab at cs.rwth-aachen.de
—————————————————————-
The newly created research group “Theory of Hybrid Systems” at the RWTH
Aachen offers a
PhD Scholarship
in the context of the Research Training Group (Graduiertenkolleg) 1298
AlgoSyn (”Algorithmic Synthesis of Reactive and Discrete-Continuous
Systems”), that is funded by the German Research Council (DFG).
The aim of the Research Training Group is to develop algorithmic
synthesis methods for software and hardware and to push forward the
desired integration of methods. This will be realized by a strong
cooperation between research groups in computer science and various
engineering disciplines.
Candidates for the PhD scholarship should have an MSc (or equivalent)
degree in computer science or in a closely related area. You have
outstanding scores, enjoy working in an internationally oriented
research environment, and have the ability to work in a team. Good
communicative skills are important, and you have excellent knowledge
in your field of study. Fluency in English is required.
The duration of the PhD scholarships is up to two years with a
possibility of extension to another year.
For further information about the “Theory of Hybrid Systems” research
group see http://www-i2.informatik.rwth-aachen.de/i2/hybrid/ .
For further information about the Research Training Group Algosyn see
http://www.algosyn.rwth-aachen.de/ .
Please direct informal inquiries and your application with the usual
documents either electronically or by mail to
Prof. Erika Abraham
Informatik II
RWTH Aachen
D-52056 Aachen
Germany
eab at cs.rwth-aachen.de
_______________________________________________
Concurrency mailing list
Concurrency@listserver.tue.nl
http://listserver.tue.nl/mailman/listinfo/concurrency