[TYPES/announce] Postdoctoral 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 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 minimum, with possible extensions.

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: Position will remain open until filled.  Please send cv,
statement of research, and contact information for 2 reference 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
==============================