|Compiler positions available for week ending August 31 email@example.com (comp.compilers) (2008-08-31)|
|Compiler positions available for week ending August 31 firstname.lastname@example.org (1997-08-31)|
|Date:||31 Aug 2008 07:59:41 -0000|
|Posted-Date:||31 Aug 2008 08:31:49 EDT|
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 email@example.com.
Date: Wed, 27 Aug 2008 16:46:09 +0200
From: Antonio Cunei <firstname.lastname@example.org>
Subject: Position in the TRESOR group at EPFL (Lausanne CH)
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
A workbench for Ensuring the Quality and Reliability of
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
- Develop a framework and evidence manager for integrating advanced
- Develop a Visual Studio plugin for editing with interactive
feedback of analyses.
- Coordinate between project partners that develop new analysis
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
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
email@example.com. Formal applications should be sent by e-mail
Mme. Danielle Chamberlain
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.
Return to the
Search the comp.compilers archives again.