Compiler positions available for week ending December 1
1 Dec 1996 23:17:41 -0500

          From comp.compilers

Related articles
Compiler positions available for week ending December 1 (comp.compilers) (2002-12-01)
Compiler positions available for week ending December 1 (1996-12-01)
| List of all articles for this month |

Newsgroups: comp.compilers,
Date: 1 Dec 1996 23:17:41 -0500
Organization: Compilers Central
Keywords: jobs

This is a digest of ``help wanted'' and ``position available'' messages
received at comp.compilers during the preceding week. Messages must
advertise a position having something to do with compilers and must also
conform to the guidelines periodically posted in
Positions that remain open may be re-advertised once a month. To respond
to a job offer, send mail to the author of the message. To submit a
message, mail it to


Date: Fri, 29 Nov 1996 17:44:02 +0100
From: Falk Dietrich <>
Organization: Ecole Polytechnique Federale de Lausanne
Subject: Compiler Position at the Swiss Federal Inst of Tech, Lausanne

The Project

Currently we are working on a project dealing with validation and
verification aspects for telecommunications services in a TINA
(Telecommunications Information Networking Architecture) environment.
Part of this project is a mapping from a language called extended
Object Definition Language (eODL), which has been developed at our
laboratory, to Promela, a protocol validation language developed at

For this mapping we would like to develop a compiler, translating eODL
specifications to Promela.

During the project you would become familiar with
- the Telecommunications Information Networking Architecture
- the Promela language and the SPIN tool (the SPIN tool is used to
    validate Promela specifications)
- eODL & ODL (the Object Definition Language as defined in TINA)
Furthermore, you will give important feedback about eODL. Most
important part, however, will be the implementation of the compiler.
The target operating system is UNIX.
The beginning of the project could be scheduled according to your
needs but not later than July 1, 97. Your contract would be
of 8 months.

The Environment

The Telecommunications Services Group (TCOM/TSG) at the Swiss Federal
Institute of Technology in Lausanne comprises about 15 people
working in the area of service creation, validation, verification and
management. For more detailed information about the TCOM/TSG, please
have a look at


You should have an excellent C background. A good knowledge (including
some practical experience) with compiler construction is desirable for
the project. You should speak either English, French or German.


The monthly salary would be around CHFrs 5'000.- for someone with a
Master's (or similar degree). If you don't have your degree yet, you are
still strongly encouraged to apply. Then, salary would be adjusted
according to your experience and background.

For questions and the application

If you have questions concerning the project, please contact me via
e-mail (
If you have the right background, please apply (by e-mail, ASCII only!)
with the following documents:
- a letter of motivation
- a resume
- the address, fax number and email address of at least 3 references.

Falk Dietrich
CH-1015 Lausanne

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.