THEOREM PROVING FOR JAVA CARD Research Assistant/PhD Vacancy Technical University Munich The theorem proving group at the Technical University Munich is looking for a research assistant to join an EU-funded collaborative project focussing on the specification and verification of Java implementations for smart cards. The position offers exciting opportunities for scientifically challenging and industrially relevant research leading to a PhD. We seek a candidate with a strong background in one of the following areas - theorem proving - logic - semantics of programming languages - functional/logic programming who should like to work on the boundary between theory and practice. The appointment is initially for 33 months with a possible renewal. Starting date is negotiable within the next 6 months. Informal inquiries about the position may be addressed to [EMAIL PROTECTED] (www.in.tum.de/~nipkow). Formal applications should be sent by e-mail or to the following address: Prof. Tobias Nipkow Institut fuer Informatik Technische Universitaet Muenchen Arcisstraße 21 D-80290 Muenchen Germany They should include a curriculum vitae, a copy of your master's thesis, and the names of two personal references. Please ask your references to send their letters directly to [EMAIL PROTECTED]