Within the framework of the Human Capital and Mobility programme of the European Union we offer six positions as researchers (before or after PhD). The scientific background of the applicants should be in the area of automated deduction.
This project is conducted in close relationship with a nationwide German research programme funded by the DFG which brings together the leading German groups working on automated deduction and thus offers a unique opportunity to get in touch with state-of-the-art research covering a wide range of topics in the field.
The following sites participate in the HCM action: TU Berlin, TH Darmstadt, U. Kaiserlautern, U. Karlsruhe, TU Munchen, U. Saarlandes.
The duration of these positions is limited from a minimum of 6 to a maximum of 12 months. Please send your application with a CV (including a list of publications) and two letters of reference to the following address.
Prof. W. Bibel; Fachgebiet Intellektik; Technische Hochschule
Alexanderstr. 10; D-64283 Darmstadt
Tl +49 6151-162100 Fx +49 6151-165326
bibel@intellektik.informatik.th-darmstadt.de
Express your preferences concerning sites, duration and begin of the stay. If the application arrives before 16 March 1995 then it will be taken into account in the first round of selections which may or may not exhaust all available positions whereby in the latter case a second call for applications will be issued.
Juergen Avenhaus, Wolfgang Bibel, Stefan Ja'hnichen, Tobias Nipkow, Peter Schmitt, Jo'rg Siekmann