From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII X-Google-Thread: f61ec,2d5c85e49626ed2a,start X-Google-Attributes: gidf61ec,public X-Google-Thread: 103376,2d5c85e49626ed2a,start X-Google-Attributes: gid103376,public X-Google-Thread: f778e,2d5c85e49626ed2a,start X-Google-Attributes: gidf778e,public X-Google-Thread: 1108a1,2d5c85e49626ed2a,start X-Google-Attributes: gid1108a1,public From: Alfred Strohmeier Subject: Position for Junior Researcher in Computer Science Date: 1999/09/14 Message-ID: <37DE4FDC.4789A070@epfl.ch>#1/1 X-Deja-AN: 524973854 Content-Transfer-Encoding: quoted-printable X-Trace: 14 Sep 1999 15:37:06 +0100, disunms-sidi.epfl.ch Organization: EPFL Content-Type: text/plain; charset=iso-8859-1 MIME-Version: 1.0 Newsgroups: ch.si.general,ch.si.choose,comp.object,comp.lang.ada Date: 1999-09-14T00:00:00+00:00 List-Id: 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 =91Laboratoire de G=E9nie Logiciel=92, is involved in teachi= ng 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=E9man, 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