Subject: Two Positions in Program Analysis From: Helmut Seidl ONE PH.D AND ONE POST DOC POSITION IN PROGAM ANALYSIS Qualified persons are invited to apply for ONE post doc position or ONE Ph.D. position in algorithmic, conceptual and pragmatic aspects of automatic program analysis. One of the positions is dedicated to the analysis of multi-threaded software in the EU research project DAEDALUS. DAEDALUS is a pan-European endeavor for the validation of Avionic software by static analysis and abstract testing. The announced positions are for two and three years, respectively. Salary is according to BAT IIa which is around ECU 2,500 monthly (the exact amount depends on several factors such as age). The applicants should have a Ph.D. or Doctor degree for the Post Doc position and a Diploma or Masters degree in computer science or related subjects for the Ph.D. position and should be strongly interested in both theoretical and practical aspects of programming languages, compiler construction and program analysis. Please send applications including a curriculum vitae together with links to papers or other publications where possible, and name and contact information for a reference to: Prof. Dr. Helmut Seidl FB IV - Informatik Universit"at Trier 54286 Trier Tel. +49-651-201-2835 Fax: +49-651-201-3822 E-mail: seidl@uni-trier.de http://www.informatik.uni-trier.de/~seidl/