[TYPES/announce] Positions for PhD and PostDocs

Baskar Anguraj 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 
Analysis of
Information Systems (MAIS) is currently offering positions for PhD 
students and

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 
challenge. To
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 
approaches in
case-studies in our Mobile Devices Lab and in practice. In particular, 
we are
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.

**The positions
Suitable candidates should have a Master's degree (or equivalent) in 
Science or Mathematics.  For all our research topics, a solid background 
in formal
methods or logic is required. A background in information security will 
be helpful,
but is not a prerequisite. Prior knowledge in any of the following areas 
is also a plus:
Automated Verification, Model Checking, Model-based Software 
Development, Concurrency
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 
detailed CV
(stating your language skills in English and German), complete educational
transcripts with grades and degrees (copies, no originals), description 
of your
background and your research interests, and, if possible, the contact 
of one or two references to Prof. Dr. Heiko Mantel, TU Darmstadt, 
Department of
Computer Science, MAIS Group, Hochschulstraße 10, 64289 Darmstadt, 

Deadline**for applications is 11 December 2011. However, we will 
consider applications
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 
applications from
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...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20111126/992767ae/attachment-0001.html>

More information about the Types-announce mailing list