Compiler positions available for week ending August 31

This is a digest of ``help wanted'' and ``position available'' messages
received at comp.compilers during the preceding week. Messages must
advertise a position having something to do with compilers and must also
conform to the guidelines periodically posted in misc.jobs.offered.
Positions that remain open may be re-advertised once a month. To respond
to a job offer, send mail to the author of the message. To submit a
message, mail it to compilers@iecc.com.


-------------------------------

Date: Wed, 27 Aug 2008 16:46:09 +0200
From: Antonio Cunei <tresor_position@cunei.com>
Subject: Position in the TRESOR group at EPFL (Lausanne CH)

EPFL Lausanne
Tom Heninzger, Viktor Kuncak, Martin Odersky

We are 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's 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 or a copy to 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.
Lausanne is situated in very attractive surroundings in the
French-speaking part of Switzerland, bordering Lake Geneva, in close
proximity to the Alps. It has one of the most nationally diverse
research, teaching and learning communities in Europe. Teaching language in
EPFL's graduate school and the most common conversation language in
the TRESOR group is English.