[TYPES/announce] Research position in the area of types and verification at LMU Munich

[Lennart Beringer]

The Institute for Computer Science at the University of Munich offers a 

    Research assistant position

for 2 years starting as soon as possible.  The position is available
in the EU-funded project ``MOBIUS - mobility, ubiquity, and
security''.

The aim of the project is to develop a proof-carrying code
architecture, where programs are equipped with formal proofs of
security- and resource-related properties. We offer the opportunity to
work on theoretically challenging and practically relevant topics in
an international research environment. You are expected to have earned
a good first degree in computer science or a closely related subject.
Applications with a strong background in some of the following

- programming languages (type systems, program logics, compilers)

- verification techniques (static analysis, theorem proving)

are particularly welcome. Depending on interest and prior expertise
you will work on type systems for resource usage or generation of
certificates in formalised program logics.

Apart from the scientific work to be reported in scientific papers and
prototype implementations you will also participate in the preparation
of activity reports and deliverables.

Remuneration will be according to age and qualification, following the
German public service payment scheme (BAT IIA/TV\"OD 13).

MOBIUS (mobius.inria.fr) is a large integrated project with 20
academic and industrial partners. Annual and topical workshops will
present you with an excellent opportunity to demonstrate your work,
learn new things, and forge contacts.

To apply please send as soon as possible a letter of application to
the address given below, including a CV, degree certificates, and
contact details of at least one referee. The University of Munich is
an equal opportunities employer and aims to increase the ratio of
women in academia. We therefore particularly encourage female
candidates to apply. Applications of handicapped candidates are
treated with priority.

All applications received before 1st October 2007 will be
considered. Later applications are also welcome if the position is
still open then.

For further enquiries, please contact Lennart Beringer or
Martin Hofmann, Institut f\"ur Informatik,
Ludwig-Maximilians-Universit\"at M\"unchen, Oettingenstrasse 67, 80538
M\"unchen, www.tcs.ifi.lmu.de/~beringer
and www.tcs.ifi.lmu.de/~mhofmann.