[ 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. 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,
[EMAIL PROTECTED]
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
[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
==============================
