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

[Christian Skalka]

==================================================
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.  Our current research has two main thrusts.  The first is
type-and-effect analysis for enforcing temporal safety properties in
software as a form of programming language based security.  The second
is the use of formalisms and programming logics to specify and
implement distributed trust management (authorization) systems for
applications such as web services.  More information about these
projects and associated publications are 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, with possible extensions, beginning as soon as
possible after August 15, 2006.

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 relevant to the projects described above.

To Apply: Please send cv, statement of research, and contact
information for 2 references by July 15, 2006, 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