job offer in Martin Odersky's group at EPFL

1 Sep 2008, submitted by Antonio Cunei (seworld at cunei.com)

I am inviting applications for a

	Engineer / Expert Programmer

position in the TRESOR group at EPFL (http://tresor.epfl.ch/dokuwiki/).
The position is funded by the project

ProgLab.NET:
A workbench for Ensuring the Quality and Reliability of
Embedded Software

This project aims at building an extensible workbench for automated
program analyses of embedded software. The workbench will combine a
number of static analyses and coordinate them using an evidence
manager. Different program analyses will feed into each other. Their
results will be presented to the software developer in a simple,
uniform way, via a plugin for an IDE (Visual Studio). The plugin and
the analyses will be written in Scala, and Scala is also the primary
implementation language for which analyses should be constructed.

The project will be funded by the Microsoft Innovation Cluster for
Embedded Software (ICES). Principal investigators are Tom Henzinger,
Viktor Kuncak, and Martin Odersky.

The successful candidate will work in a key role in this project. He or
she will:

- Develop a framework and evidence manager for integrating advanced
program analyses.
- Develop a Visual Studio plugin for editing with interactive
feedback of analyses.
- Coordinate between project partners that develop new analysis
techniques.

Depending on experience, the successful candidate could also become the
technical lead of the project.

Requirements for the position are:

- Experience and outstanding skills in large systems software with
primary focus on compilers and IDE's.
- Experience with .NET and Visual Studio internals.
- Ph.D in Computer Science, or equivalent project experience -- you
need to be able to communicate with Ph.D students, and professors
on a scientific level.

The appointment will be made on a renewable yearly basis, with funding
for the position being guaranteed for four years. The starting date
could be November 2008 or later, but not later than spring
2009. Earlier starting dates are preferred. The expected salary is
between CHF 75K and CHF 100K (roughly US$ 70K to 95K), depending on
your experience, and the position profile determined by it.

Informal inquiries about the positions should be addressed to
martin.odersky@epfl.ch. Formal applications should be sent by e-mail
to:

Mme. Danielle Chamberlain
danielle.chamberlain@epfl.ch
Tel. +41 21 693 5202
Fax +41 21 693 6660

Applications will be considered until the positions are filled, with
initial screening starting September 15th, 2008. Applications should
consist of a curriculum vitae, a list of your publications and/or
software projects and the names of two or three personal
references. Please also include a link to or a copy of what in your
opinion is the best code you have written and/or the best paper
you have authored.

EPFL Lausanne is one of two federal research universities in
Switzerland. It has has one of the leading computer science
departments in Europe. Teaching language in EPFL's graduate school
and the most common conversation language in the TRESOR group is
English. Lausanne is situated in very attractive surroundings in the
French-speaking part of Switzerland, bordering Lake Geneva, in close
proximity to the Alps.

============================================================
To contribute to SEWORLD, send your submission to
<seworld@cs.colorado.edu>.

http://www.cs.colorado.edu/serl/seworld provides more
information on SEWORLD as well as a complete archive of
messages posted to the list.

To subscribe to SEWORLD, send the following (as the body of
a message) to <seworld-subscribe@cs.colorado.edu>:

     subscribe seworld <desired e-mail address>
     end

To unsubscribe from SEWORLD, send the following (as the body
of a message) to <seworld-unsubscribe@cs.colorado.edu>:

     unsubscribe seworld <registered e-mail address>
     end
============================================================