[TYPES/announce] Postdoctoral Research Position at University of Vermont

[Christian Skalka]

**Please note: this announcement was originally sent April 16 with an 
incorrect application deadline, that has been corrected in this posting
(correct deadline is June 15, 2007).

==================================================
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,
skalka at cs.uvm.edu.

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, 2007, to (email is
preferable):

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

  skalka at cs.uvm.edu

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



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