[TYPES/announce] Postdoctoral Position at UVM Computer Science
Christian Skalka
skalka at cs.uvm.edu
Mon Apr 16 08:06:32 EDT 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, 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
==============================
Christian Skalka
Assistant Professor
Department of Computer Science
University of Vermont
http://www.cs.uvm.edu/~skalka
==============================
More information about the Types-announce
mailing list