New postdoctoral opening in the Scala group

PostDoctoral Position in the Scala Group
EPFL Lausanne
Prof. Martin Odersky

I am looking for a postdoctoral scientist to work on the project

Foundations of Scala

which is supported by the Swiss National Fund.

The aim of the project is to further develop Scala's foundations. We
want to form a team with one post-doc and two Ph.D students that will
work together with me on the following topics.

- study operational semantics and types in a Scala-like core calculus,
- develop the meta theory of such a calculus, preferably using
automatic theorem proving,
- refine or revise Scala's approach to type inference,
- study possible extensions of Scala based on these foundations,
such as virtual classes, or general type constraints.

(if you are interested in a Ph.D student position on this or another
project in the Scala group, you should apply directly to EPFL's
graduate school. See: http://phd.epfl.ch/page57750-en.html. Next
deadline is April 30th)

There will also be opportunity to co-supervise Ph.D students and to
give Ph.D level courses or seminars.

The applicant should have a strong background in programming language
theory and implementation, with special focus on functional and
object-oriented programming. Previous experience with Scala is a plus,
as is experience with automatic theorem proving.

The position is open from Summer 2009, but we might also consider
later starting dates. The position is for one year initially,
renewable to up to 4 years. Funding is at present assured for the
first 2 years. Compensation is competitive at around CHF 80K+,
depending on experience (at present , 1US$ = 1.15 CHF).

Informal inquiries about the positions may be addressed to
martin.odersky@epfl.ch. To apply formally, please send your CV,
publication list, and the names of three personal references to me and
include on the cc my secretary,
Danielle Chamberlain .

Applications are considered at least until 3 May 2009; after that
until the position is filled.

EPFL Lausanne is one of two federal universities in Switzerland, and
one of the leading research universities in Europe. It has one of the
most nationally diverse research, teaching and learning communities 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.