[TYPES] Post-doc position in Martin Odersky's group, EPFL, Switzerland

Martin Odersky martin.odersky at epfl.ch
Tue Apr 12 17:58:21 EDT 2005

			    EPFL Lausanne
		      Programming Methods Group
			 Prof. Martin Odersky

We have an open position for a postdoctoral researcher in the
Programming Methods Group at EPFL. The research of our group is
centered on Scala, a new programming language which fuses functional
and object-oriented programming and which interoperates at the same
time with Java and .NET. Scala pushes the state of the art in type
systems for component abstractions and composition. It also provides
many new concepts for web programming.

Here are some of our current research directions:

 - Further developments in the Scala language design
 - High-level optimizations
 - Type systems for object-oriented and functional languages
 - Programming language support for XML
 - Component technology.
 - Reliable software, verification, testability.

If you work in some of these research areas and are interested in both
system building and theory, you will find an active and friendly
research environment at Lausanne.

The appointment is for one year initially with renewals possible up to
three years. The position is open from June, 2005, but later starting
dates can also be considered. Compensation is competitive at CHF 80K+
(1 CHF ~~ 0.83 U.S$), depending on age and experience.

Informal inquiries about the position may be addressed to
martin.odersky at epfl.ch. Formal applications should be sent by e-mail
to the following address:

  Mme Yvette Dubuis
  yvette.dubuis at epfl.ch
  Tel. +41 21 693 5202
  Fax  +41 21 693 6660

To be guaranteed full consideration, applications should be received
by May 15th, 2000. Applications should consist of a curriculum vitae,
a publication list, and the names of three personal references. Please
ask your references to send their letters directly to
yvette.dubuis at epfl.ch.

EPFL Lausanne is one of two federal universities in Switzerland. 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, on the shore
of Lake Geneva, in close proximity to the Alps.

More information about the Types-list mailing list