Position for Junior Researcher in Computer Science

Position for Junior Researcher in Computer Science

[Alfred Strohmeier]

Position for Junior Researcher in Computer Science
EPFL - Software Engineering Lab 

The Software Engineering Lab of the Swiss Federal Institute of
Technology in Lausanne, Switzerland, has an opening for a

  Junior Researcher in Computer Science (Ph.D. Student)

The new collaborator will participate in the research and teaching
activities of the Lab. Research work is intended to lead to a Ph.D.
thesis.

The Swiss Federal Institute of Technology (EPFL) is a leading technical
university for education and research with an excellent reputation on
the five continents. EPFL is the most cosmopolitan university in Europe.

The Software Engineering Laboratory, also called LGL from its French
denomination ‘Laboratoire de Génie Logiciel’, is involved in teaching
and research in software engineering with an emphasis on development
methods and supporting tools. Our work focuses on object-oriented
approaches covering the complete range of development activities:
analysis, formal specifications, design, programming and testing. The
Laboratory has an in-depth expertise in the Unified Modeling Language
UML and in the Fusion method. Our research work on object-oriented
methods aims at integrating formal methods into the classical
descriptive approaches, and extending the latter ones for dealing with
distributed systems. The Lab's work on formal specifications led to the
definition of COOP/N, an object-oriented concurrent formal language,
which integrates algebraic specifications with Petri nets. Work on a
programming environment for COOP/N is ongoing. Members of the Lab were
involved in the definition of the Ada programming language. An extensive
library of container classes for this language is publicly available.
Work on the implementation of distributed systems in Ada is on-going:
run-time support for dynamic client-server systems, filtering of message
passing, e.g. compression and encryption, fault-tolerance by semi-active
replication, transaction support for multi-threaded systems, etc.

More about the Lab can be found on its WEB pages: 

  http://lglwww.epfl.ch/

The lakeside city of Lausanne is in French-speaking Switzerland, just 60
kilometres from Geneva. Rising from the north shore of spectacular Lac
Léman, vineyards line Lausanne's outskirts, the Swiss Alps are within
view, while a mild climate and numerous parks encourage year-round
recreation.

A prospective candidate should have a B.Sc.(Hons), B.Tech.(Hons) or
M.Sc. in Computer Science. Excellent English, in writing and speaking,
and some knowledge in French are an asset.

Applications should include a CV and covering letter including contact
information for two or three references. We anticipate filling these
positions at the earliest convenience.

Applications and inquiries should be addressed to (postal mail or
e-mail):

Prof. Alfred Strohmeier
Software Engineering Laboratory, Department of Computer Science
Swiss Federal Institute of Technology Lausanne
CH-1015 Lausanne EPFL, Switzerland
Tel +41 21 693 4231, Fax +41 21 693 5079
mailto:alfred.strohmeier@epfl.ch