Postdoctoral Research Position at Yale

              Post-Doctorate Research Position
                      Yale University
               Department of Computer Science

The FLINT project (URL - http://flint.cs.yale.edu ) in the Department
of Computer Science at Yale University is seeking applicants for a
Post-Doctoral Research Position.  The successful applicant will be
expected to participate in a rigorous research program centered on the
following topics:

   o Typed intermediate languages and type-directed compilation
   o Proof-carrying code and certifying compilation
   o Systems programming in advanced type-safe languages
   o Application of language theory to secure internet programming

(more information about these topics can be found in the white paper
 available at URL - http://flint.cs.yale.edu/publications/pcc-white )

Successful applicants must have a PhD in Computer Science or closely
related field, and experience with modern programming languages such
as ML, Java, or Haskell. The term of the position is 1 year with an
option to renew for an additional year.  A starting date around
September 2000 (or earlier) is expected; candidates should have
completed all thesis requirements by that time. A competitive salary
will be offered, with actual salary dependent on the applicant's
qualifications and experience. Yale University is an Equal
Opportunity/Affirmative Action employer; qualified women and minority
candidates are encouraged to apply.

Interested applicants should send a resume, a one- to two- page research
statement, and three letters of recommendation to Professor Zhong Shao
(Email Address: shao-zhong@cs.yale.edu).  Electronic application is 
preferred, but if necessary, applications may be sent to the address below.

Professor Zhong Shao
Department of Computer Science
Yale University
P.O. Box 208285
New Haven, CT 06520-8285, USA

Phone: 203-432-6828
Email: shao-zhong@cs.yale.edu