Post-Doc at GMD Bonn

To: types, concurrency
Subject: Post-Doc at GMD Bonn
From: Axel Poigne <ap@gmdzi.gmd.de>
Date: Mon, 06 Jan 92 11:00:02 EST
Sender: meyer@theory.lcs.mit.edu
Date: Mon, 06 Jan 92 13:52:08 GMT

I have the oppurtinity to fill a post doc position at
the GMD more or less from now up to July 94.

Subject : specification of reactive systems or more broadly complex systems 
meaning involving various paradigms, eventually integrating software and
hardware design). The most suitable candidate would be someone with experience /
interest as well in practical as theoretical issues.

GMD is the acronym of the German National Research Institute in Computer Science.
The institute is situated close to Bonn (6 km off) in a reasonable pleasant area
with a lot of facilities. The position will be closely related to the subproject
"Specification of Reactive Systems" (together with U.Goltz) of a German national
research project KORSO on "Correct Software" (which involves 14 other
Universities and research institutes in Germany). 
  
Locally, the project is situated in the subgroup "specification of complex
systems" (headed by myself) within a department on "System Design Techniques"
which comprises software and hardware design activities (down to VLSI) headed by
Prof.Camposano (formerly IBM Yorktown Heights). Apart from our subgroup, the
department comprises about 50-60 researchers on on hardware, object management
systems (what used to be operating systems). The subgroup consists of 15
researchers with a backgroung in Hardware specification, Object-oriented
construction, algebraic specification,and process modelling (and whatever I
stand for).

There is (and will be, provided the funding goes through, hopefully anyway)
close personal relationship to various ESPRIT actions, namely COMPASS ("a
Comprehensive Approach to Algebraic and system Specification), CLICS (
Categorical Logic in Computer Science") and ISCORE ("Information systems -
Correctness and Reusabilit"), to KORSO and another German research project 
REMO ("on system security"). The mutual exchange with these projects should
provide an inspiring research atmosphere beyond the local interactions. 

Salary is, according to experience, on the German BAT IIa - Ib scale (Remark:
Unfortunately, it is difficult to specify the actual sum since it depends very
much on age and family status. To give an idea : If one are not married, obout 30
years old, one wiould get roughly DM 2800 net on the (lower) IIa - scale).

For further information, please use my email address : ap@gmdzi.uucp
or my hardmail address:
Axel Poigne
GMD F2G2
Schloss Birlinghoven
Postfach 1316
D-5205 Sankt Augustin 1
Germany
        


> 
> Axel Poigne
> 
> GMD F2G2
> Schloss Birlinghoven