Postdoctoral Position at University of Minnesota

This advertisement should be of interest to subscribers to the Types
Forum since at least part of the research relates to a programming
language based on a type-theoretic logic.  --Gopalan


		Department of Computer Science and Engineering
			     University of Minnesota

The Department of Computer Science and Engineering at the University of
Minnesota invites applications for a postdoctoral research position in the
area of advanced programming languages.  Applicants should have a Ph.D. in
Computer Science or a related field and, in addition, a background and
interest in one or more of the following areas:

 	 - design and implementation of declarative programming languages
 	 - type systems, module systems and related approaches to program
 	 - logic-based approaches to program analysis and reasoning

The ideal candidate would be one who has past experience in system
building and an enthusiasm for developing and exploiting new
approaches to programming.  The position will offer flexibility in the
choice of research topics within the broad context of an ongoing
project related to the development of the language Lambda Prolog.
Further details concerning this project and associated research may be
found at http://teyjus.cs.umn.edu and by following links from the
page at http://www.cs.umn.edu/~gopalan.

Initial appointment to this position will be for the period of a year
with the potential of renewal for a second year.  Salary will be
compatible with departmental rates for postdoctoral research fellows
and will take experience into consideration.

Please direct inquiries and applications to:

			Professor Gopalan Nadathur
			Computer Science and Engineering
			4-192 EE/CS Building
			200 Union Street S.E.
			University of Minnesota
			Minneapolis, MN 55455

                        Email: gopalan@cs.umn.edu
                        Phone: 612-626-1354

An application should include a curriculum vitae and a list of three
references.   Review of applications will begin November 15, 2000 and will
continue until the position is filled.

The University of Minnesota is an equal opportunity educator and employer.