[TYPES/announce] PhD Scholarships in Types for Context-sensitive Services

Thomas Hildebrandt hilde at itu.dk
Fri Mar 6 09:58:53 EST 2009


*** PhD Scholarships in Types for Context-sensitive Services ***
*** Application deadline: 16 April 2009 at 12:00 noon (CET+1, Copenhagen 
time) ***

Dear colleagues,

One or more PhD scholarships within the Programming, Logic, and 
Semantics (PLS) research group at IT University of Copenhagen are 
available on the topic of "Types for Context-sensitive Services".

The scholarships are affiliated to the FIRST PhD school (www.first.dk) 
and the Jingling Genies project 
(http://sites.google.com/site/jinglinggenie/).

The aim of the projects are to develop a theory of types for 
context-sensitive services and thereby expand the limits of research in 
session types for communication-based computing and formal models for 
specifying context and contracts for web-services, as well as 
technologies and standards for describing web-service interfaces, 
contracts, and their context.

The successful applicant(s) will be supervised by Associate Professor 
Thomas Hildebrandt (hilde at itu.dk) and/or Associate Professor Arne J. 
Glenstrup (panic at itu.dk) in collaboration with Post Doc Søren Debois 
(debois at itu.dk) and Post Doc Marco Carbone (carbonem at itu.dk).

Applicants should apply to the general call for IT University of 
Copenhagen found at: http://www1.itu.dk/sw487.asp

Please do not hesitate to send an email for further information about 
the project.

Best regards
Thomas Hildebrandt and Arne J. Glenstrup
IT University of Copenhagen
www.itu.dk

----------------------------

General Information

PhD scholarships at IT University of Copenhagen normally run for a 
period of 3 or 4 years, depending on the educational level of the 
student. The following qualifications are accepted:

1) A Master’s degree (5 years of University Studies) qualifies for a 
3-year PhD program.
2) A Bachelor degree (3 years of University Studies) + one year (60ECTS) 
qualifies for the 4-year PhD program. The 60 ECTS should be transferable 
to one of the Master programs at the IT University.

As the joint research project has a strong aspect of global 
collaboration, a one year extension of the normal period due to 
international travels should be expected.

Appointment and salary will be in accordance with the agreement between 
the Ministry of Finance and the
Danish Confederation of Professional Associations. For example, the 
basic salary of a 3 year PhD student amounts to DKK 24,117.18 (Euro 
3236.20) per month.

Applicants should apply to the general call at IT University of 
Copenhagen: http://www1.itu.dk/sw487.asp

The application deadline is 16 April 2009 at 12:00 noon.



More information about the Types-announce mailing list