position for junior researcher in software engineering

position for junior researcher in software engineering

[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. At least in a first time, the researcher will work on modeling
system operations by operation schemas using the Object Constraint
Language (OCL) of UML. One of her/his tasks will be the extension of an
existing compiler in order to check the internal consistency of such
schemas and their coherence with the class model. This work will need
the use of some very recent technologies: UML, XMI and Java, e.g.

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/
  
For more information about our work related to UML, interested
candidates might contact Mr. Mohamed Kandé, mohamed.kande@epfl.ch, +41
21 693 25 80. Prof Alfred Strohmeier will run interviews after September
20, 2000.

The lakeside city of Lausanne is in French-speaking Switzerland, just 60
kilometers 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