Open Positions Scientific Assistant Within the research project "Integrated deductive software design" funded by DFG (roughly the German analogue of the NSF) we seek applications for two open positions as Scientific Assistants. The goal of this project is the design and realisation of deductive methods for software verification at a very early stage in the software specification process. We are using the CASE tool "ObjectTeam" to write UML specifications, which are to be translated into Java programs. The verification environment itself will also be implemented in Java. To evaluate our approach an extensive case study with JavaCard will we conducted. We offer - a well equipped and stimulating working environment, - a highly motivated and cooperative team, - an innovative research project. Applications are invited from suitably qualified applicants who - have completed an above average Master's Degree or equivalent, - have experience in specification, preferably in object oriented specification, - have a basic understanding of the problems in logic deduction and software verification, - enjoy teamwork - are committed to success oriented work Project leaders are Reiner Haehnle, Wolfram Menzel und Peter H. Schmitt. The positions are immediately available and will be for a period of two years with the option of an additional year. Payment will be according to BAT2a on the German scale for federal employees. This is subject to approval of the DFG BAT2a ammounts to an annual salary of 56 000.- to 66 000.- DM before tax strongly depending on age and family status. This amounts to 35 000.- to 55 000.- DM after tax and various other deductions. Please, do not hesitate to contact Peter H. Schmitt (pschmitt@ira.uka.de) for further information. Applications including a resume and curriculum vitae should be forwarded to: Peter H. Schmitt Universitaet Karlsruhe Fakultaet fuer Informatik Institut LKD D-76128 Karlsruhe Priority will be given to applications received by December 17, 1998.