DOCTORAL RESEARCH GRANT Extensions of Logic Programming and Formal Methods
************************************************************** The Department of Software of the Technical University of Valencia UPV (Spain), offers one research scholarship to pursue a Ph.D. degree in the Extensions of Logic Programming and Formal Methods Group (ELP). The financial support is provided by the Spanish Ministry of Science and Technology. The grant is posted for one 1-year, extensible to 4 years. The applicants must have a degree in Computer Science to be eligible for PhD admission and research scholarship. The ELP Group currently has 7 faculty members at Valencia, leading activities in different research areas. The topics eligible for research are described below: - Programming Languages: Functional, Logic, Concurrent languages. Multiparadigm Programming. - Term Rewriting Systems. - Formal methods in Software Engineering: Semantics-based analysis, verification, learning, debugging, transformation and optimization of (multiparadigm) programs. Information about the ELP group (9 PhD's, 18 researchers) can be found at: http://www.dsic.upv.es/users/elp/elp.html ============================================================= Appointment and salary ---------------------- PhD students are appointed for a maximum period of 4 years with a gross salary around 10,000 Euros per year (this is not bad for the Spanish cost of living, particularly in Valencia). This includes a 1-month holiday. As part of their training, PhD students will enroll in the PhD program for the graduate courses. The scholarship will also cover all tuition fees. Information and application --------------------------- The call for applications, forms to fill, and all the information to apply can be found at the URL: http://www7.mcyt.es/becas/InicioBecas The deadline to send the application is February 21, 2002. Queries concerning the position should be directed to Maria Alpuente ([EMAIL PROTECTED]) ___________________________________________________ Prof. Maria Alpuente Frasnedo Dpto. de Sistemas Informaticos y Computacion U. Politecnica de Valencia Camino de Vera s/n - Apdo. 22.012 E-46022 Valencia (Spain) Fax +34 96 387 9726 http://www.dsic.upv.es/~alpuente ___________________________________________________ _______________________________________________ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
