Positions Available in programming languages

To: types@cis.upenn.edu
Subject: Positions Available in programming languages
From: Atsushi Ohori <ohori@jaist.ac.jp>
Date: Fri, 09 Jun 2000 17:43:27 +0900
Applications from people with `types' interest (i.e. logical
foundations of programming languages, type theory, novel type systems, 
type-based program analysis etc) would fit very well for the following 
positions, and I thought some members of TYPES-list might be
interested.
					   - Atsushi Ohori
---------------------------------------------------------------------

		Positions Available in Computer Science

	Japan Advanced Institute of Science and Technology (JAIST)
		    School of Information Science
                          Ishikawa, Japan

The following two positions in the area of programming languages
are available.
* Associate Professor
  We seek to appoint an associate professor who is expected to lead a
  research project and to supervise PhD research. This post is offered
  for a period of up to 10 years. A successful candidate must have a
  PhD in computer science (or closely related fields), and have a
  strong research record.
* Research Associate
  This post is offered for a period of up to 5 years. A successful
  candidate must have a PhD in computer science or closely related
  fields, and demonstrate strong research potential.
We seek candidates with research interests in all areas of programming 
languages.

To apply, please send
(1) a detailed curriculum vitae, 
(2) names of three references with their email addresses, 
(3) a statement outlining the candidate's past research contribution
    and future research plan,
(4) copies of selected publications (up to 5), and
(5) a cover letter indicating the post you are applying for (associate
    professor or research associate)  
to
  Faculty Search (Ref: Programming Languages)
  School of Information Science
  Japan Advanced Institute of Science and Technology
  1-1, Asahidai, Tatsunokuchi, Nomi,
  Ishikawa, Japan 923-1292
  TEL : +81 761-51-1298, FAX : +81 761-51-1149
In order to be considered fully, all the documents should be arrived
by July 31st, 2000.

JAIST is a graduate institute, founded in 1990, dedicated to research
and graduate education in Knowledge Science, Information Science, and
Materials Science. It is located in the suburbs of Kanazawa, a
beautiful old city. School of Information Science at JAIST is one of
largest and most active research centers in computer science in Japan,
consisting of about 50 research staffs, 300 master students and 70 PhD
students. 

JAIST web page: http://www.jaist.ac.jp/

For more information on the posts or JAIST, please contact:
    Atsushi Ohori
    School of Information Science
    JAIST
    Tatsunokuchi, Ishikawa 923-1292
    ohori@jaist.ac.jp
    TEL : +81 761-51-1275, FAX : +81 761-51-1149