[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

==================================================
POSTDOCTORAL RESEARCH POSITION IN COMPUTER SCIENCE

The University of Vermont, USA
==================================================

Location: Department of Computer Science, The University of Vermont
(UVM), Burlington, Vermont, USA.

  http://www.cs.uvm.edu
  http://www.uvm.edu
  http://www.ci.burlington.vt.us

Job Description: We are seeking a qualified postdoctoral research
assistant for ongoing projects in the foundations of computer
security.  Applicants should have a background in programming
languages, type theory, and/or mathematical logic, with an interest in
the intersection of theory and practice.  Information about previous
relevant research at UVM is available online:
 
  http://www.cs.uvm.edu/~skalka/skalka-pubs/skalka-projects.html

Research will be conducted in the context of larger projects being
carried out by the Distributed Systems Group:

  http://www.cs.uvm.edu/research/distrsys

This position is funded by a grant from the Department of Defense
(DoD), Air Force Office of Scientific Research (AFOSR).

Duration: 1 year.

Inquiries: Please direct questions to Christian Skalka,
[EMAIL PROTECTED]

Requirements: Applicants should have or be sufficiently near
completion of a PhD, and have a background (including published work)
in topics described above.

To Apply: Please send cv, statement of research, and contact
information for 2 references by June 15, 2006, to (email is
preferable):

  Christian Skalka
  Department of Computer Science
  University of Vermont
  33 Colchester Ave.
  Burlington, VT 05405

  [EMAIL PROTECTED]

  http://www.cs.uvm.edu/~skalka

==============================
Christian Skalka
Assistant Professor
Department of Computer Science
University of Vermont
http://www.cs.uvm.edu/~skalka
==============================

Reply via email to