Compiler positions available for week ending December 1

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 misc.jobs.offered.
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 compilers@iecc.com.




-------------------------------


Date: Fri, 29 Nov 1996 17:44:02 +0100
From: Falk Dietrich <dietrich@tcom.epfl.com>
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
AT&T.


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 http://tcomwww.epfl.ch.


Requirements


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.


Payment


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 (dietrich@tcom.epfl.ch).
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
EPFL-DE-TCOM
CH-1015 Lausanne
Switzerland
dietrich@tcom.epfl.ch
--

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