Position Announcement

Dear readers of Types Forum,

My department is recruiting new faculty members for Autumn 1995.
Applicants who specialize in semantics of data base systems are
especially welcome to apply.  Applicants who work in other areas of
semantics (type theory, concurrency, static analysis, etc.) are
encouraged to apply, as well.

The advert for the positions is below.  If you'd like more
information, you are welcome to contact me (schmidt@cis.ksu.edu) and
visit the department's Web pages (http://www.cis.ksu.edu).

Dave Schmidt


Kansas State University
Department of Computing and Information Sciences

     The Department of Computing and Information Sciences at Kansas
State University invites applications for anticipated tenure-track
positions beginning in Fall 1996.  Applicants should have a PhD degree
in computer science by the starting date of the appointment; salary
will be commensurate with qualifications.  Applicants must be
committed to both teaching and research.  Primary consideration will
be given to candidates in the areas of programming language semantics,
data bases, and distributed computing.  Applications must include
descriptions of teaching and research interests along with copies of
representative publications.  Non-U.S. citizens must include visa

     The department has a faculty of seventeen and offers BS, MS, MSE,
and PhD degrees.  Computing facilities center around a network of
UNIX- and Solaris-based single- and multi-processor Sun workstations,
X-terminals, Macintoshes, and PCs.  Details can be found at the URL

     Please send applications to Dr. Virgil Wallentine, Head,
Department of Computing and Information Sciences, 234 Nichols Hall,
Kansas State University, Manhattan, KS 66506 (email:
virg@cis.ksu.edu).  Review of applications will commence January 15
and will continue until the positions are filled.

Kansas State University is an Affirmative Action Equal Opportunity