Research Assistant/PhD Vacancy

• To: types@cis.upenn.edu
• Subject: Research Assistant/PhD Vacancy
• From: nipkow@informatik.tu-muenchen.de
• Date: Wed, 13 Sep 2000 10:24:22 +0000
• Sender: nipkow@informatik.tu-muenchen.de

			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 nipkow@in.tum.de
(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 nipkow@in.tum.de.

• Prev: Job: post doc researcher in type systems at LFCS, Edinburgh
• Next: Paper announcement: Constructive Foundations for Featherweight Java
• Index(es):
  • Main
  • Thread