[om-a] Assistant Positions in Software Component Technology, ETH Zurich, Switzerland
p.mueller at web.de
Sat Mar 29 16:39:58 CET 2003
Assistant Positions in Software Component Technology
Department of Computer Science - ETH Zurich, Switzerland
The new Software Component Technology group is recruiting two assistants
(PhD students) to work in a young team on techniques and tools that
enable the development of "trusted components", aiming at improving
software quality and promoting reuse.
The research of the Software Component Technology group focuses on
techniques and tools for the development of correct object-oriented
software components such as library classes. Together with the Chair
of Software Engineering, our long-term objectives are to enable the
development of "trusted components" and to establish a center for
component certification. To achieve these goals, we concentrate
on the following research areas:
* Modular Specification and Verification Techniques to show that
an object-oriented component behaves according to its specification
in all contexts in which it might be reused. Our techniques are
based on classical interface specification techniques and Hoare-logic,
enhanced to specifically meet the requirements of component-based
* Language Design and Alias Control to improve encapsulation of
components and complex pointer structures. We have developed a
type system that can be used to statically describe properties
of pointer structures, rule out common coding errors by static
checking, and simplify formal reasoning.
* Tool Support to make the application of formal techniques practical.
We have implemented the Java Interactive Verification Environment,
Jive, to support the development of correct software by applying
static checking, interactive proof development, and semiautomatic
Assistants are expected to participate in teaching, especially in the
areas object-oriented programming, formal methods, semantics of
programming languages, and project management. Among others, teaching
activities include supporting courses and seminars as well as advising
students doing their thesis work.
Applicants must have a very good degree in Computing Science or in a
related subject with a strong Computing Science component. They must
also have documented practical experience in programming, preferably in
object-oriented languages such as Java, C#, or Eiffel. Expertise in
formal methods is a plus.
Since assistants are expected to work towards a PhD, a strong interest
in doing research as well as a good knowledge of English is required.
Knowledge of German is a plus.
An assistant position is a regular job with social benefits. Assistants
at ETH receive an attractive salary and have access to excellent
facilities in one of the world's top computer science departments.
Zurich has just been voted #1 again in the world for quality of life
As members of the new Software Component Technology group, the
prospective assistants enjoy the benefits of a young team and the close
cooperation with their advisor as well as the opportunities of
collaborating with all members of the Chair of Software Engineering
(Prof. Bertrand Meyer).
For the preliminary web site of the Software Component Technology group
Questions on the positions and applications should be sent to
Prof. Peter Mueller (peter.mueller at inf.ethz.ch) or to the postal
Applications should include a curriculum vitae, a brief description of
research interests, and, if possible, letters of recommendation from
teachers or employers.
ETH Zentrum, RZ Building
om-announce at openmath.org - public announcements concerning OpenMath
Post discussion to om at openmath.org
Automatic list maintenance software at majordomo at openmath.org
Mail om-announce-owner at openmath.org for assistance with any problems
More information about the Om-announce