[TYPES/announce] Positions for PhD and PostDocs
baskar at mais.informatik.tu-darmstadt.de
Sat Nov 26 07:33:40 EST 2011
The TU Darmstadt is one of Germany's top technical universities with an
outstanding nation-wide and international reputation in research and
Being part of Theoretical Computer Science, the chair Modeling and
Information Systems (MAIS) is currently offering positions for PhD
What are the positions about?
Our aim is to make IT systems more reliable and secure than they are
today. Due to
the complexity of today's information systems and the manifold
possibilities to attack
these systems, the development of secure systems is a big technological
address this challenge, we develop formal methods and supporting tools
that can be applied
in the software-development process and at runtime. We test our
case-studies in our Mobile Devices Lab and in practice. In particular,
working on information flow security, policy languages, refinement of
specifications, runtime monitoring, static analysis and security
Currently, we are looking for candidates who are interested in formal
approaches for information security in any of the above areas.
Suitable candidates should have a Master's degree (or equivalent) in
Science or Mathematics. For all our research topics, a solid background
methods or logic is required. A background in information security will
but is not a prerequisite. Prior knowledge in any of the following areas
is also a plus:
Automated Verification, Model Checking, Model-based Software
Theory, Program Analysis, Side-channel Analysis, Runtime Monitoring.
should be highly motivated to tackle challenging research topics and to
contribute to an open-minded team.
We offer a productive and continuously evolving research environment, in
you can discuss ideas and collaborate with team members who are working on
related research topics. Our international connections as well as our
involvement in interesting research projects, for example the DFG priority
programme Reliably Secure Software Systems (RS3) and the Center for Advanced
Security Research Darmstadt (CASED), provide further opportunities for
inspiration and collaborations. The publication of your research results at
highly ranked conferences will be expected and supported. The positions
are regular jobs with social benefits. The salary will be based on the TV-TU
Darmstadt public service salary scale (equivalent to former BAT IIa and
German language skills are not required in the beginning, but the
to learn German within the first year is expected.
How to apply?
Please submit your application, preferably on paper, including your
(stating your language skills in English and German), complete educational
transcripts with grades and degrees (copies, no originals), description
background and your research interests, and, if possible, the contact
of one or two references to Prof. Dr. Heiko Mantel, TU Darmstadt,
Computer Science, MAIS Group, Hochschulstraße 10, 64289 Darmstadt,
Deadline**for applications is 11 December 2011. However, we will
until the positions are filled. The positions are available immediately
but a later start is also possible.
TU Darmstadt is an equal opportunities employer and welcomes
women. In case of equal qualifications, applicants with a degree of
of at least 50 or equal will be given preference.
More information is available at
http://www.mais.informatik.tu-darmstadt.de. In case
of questions, please contact us by e-mail
recruiting at mais.informatik.tu-darmstadt.de.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Types-announce