
gres.uoc.edu
GRES-UOC: Research Group in Software EngineeringResearch Group in Software Engineering. GRES-UOC is a research group within the Internet Interdisciplinary Institute. IN3) of the Open University of Catalonia. The focus of its research are tools and methods for Computer-Aided Software Engineering in areas such as validation, formal verification, synthesis or simulation. 2008/01/17: Two PhD positions available, deadline September 30. More information here [ PDF. 2007/10/22: One PhD position available, deadline November 15. More information here [ PDF.
http://gres.uoc.edu/