[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