[TYPES/announce] PhD assistantships available at UVM
Christian Skalka
skalka at cs.uvm.edu
Tue Jan 10 23:50:28 EST 2006
The Department of Computer Science (http://www.cs.uvm.edu) at the
University of Vermont has open assistantship positions for PhD studies
in 2006-07, in the form of Graduate Research Assistantships (GRAs) and
Graduate Teaching Assistantships (GTAs). These assistantships are for
incoming students studying towards the PhD degree in Computer Science.
More information about applying for these positions is available online at:
http://www.cs.uvm.edu/gradinfo/info/PhDOpportunities-06-07.shtml
Successful applicants will have demonstrated interest in active research
areas at UVM CS. Ongoing research projects of likely interest to readers
of this mailing list include:
- Static language-based access control.
- Static enforcement of temporal program logics.
- Distributed authorization logic.
More information about these projects is available at:
http://www.cs.uvm.edu/~skalka/skalka-pubs/skalka-projects.html
The application deadline for Fall 2006 assistantship opportunities is
February 1, 2006.
==============================
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