[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

[Please note that for all 3 Ph.D. scholarships candidates with a background and
interest in type theory and type systems are sought.]

Summary:

 Three Ph.D. scholarships are at the IT University of Copenhagen (ITU)
 and the Department of
 Computer Science, University of Copenhagen (DIKU).

 1)  Foundations for domain-specific typed languages and process models (ITU)
 2)  Foundations for proof-carrying-code for concurrent and distributed
 interacting processes (DIKU)
 3)  Behavior type-driven user-interface generation (DIKU)

 The scholarships are part of the Trustworthy Pervasive Healthcare
 Services (www.TrustCare.eu) project, a collaborative strategic research project
 aimed at developing and leveraging concurrency and programming language
 theory & technology for effective and trustworthy pervasive
healthcare services.


 Details:

 Three Ph.D. scholarships are available within the research group for
 Programming, Logic and Semantics (PLS) group at IT University of
 Copenhagen (ITU) and the Theory and Programming Languages (TOPPS)
 group at the Department of Computer Science, University of Copenhagen
 (DIKU), which are located within 50 meters of each other in
 ├śrestaden, a booming new section of Copenhagen South, located less
 than 10 minutes by Metro from downtown Copenhagen.  Copenhagen is,
 according to Fodor's Travel Guides, a "youthful city, where all ages
 seem to truly enjoy the best Copenhagen can offer" (see
 http://www.fodors.com/world/europe/denmark/copenhagen -- please note
 that smoking now has been restricted and that Ph.D. schlolarship
 awards are at a level commensurate with the City's price level).

 The scholarships are part of the Trustworthy Pervasive Healthcare
 Services (www.TrustCare.eu) project, a collaborative strategic research project
 jointly with Resultmaker ApS (www.resultmaker.com) funded by the Program
 Committee for Nanoscience and technology, Biotechnology and Information
 Technology (NABIIT) under the Danish Strategic Research Council, IT
 University of Copenhagen and the Faculty of Science at the University of
 Copenhagen.

 The general goal of TrustCare is to contribute significantly to the
 research in pervasive computing, and in particular research in
 domain-specific languages, concurrency theory, process models, logic,
 type systems and user-interfaces.

 The scholarships are associated with the cross-university Ph.D. school
 FIRST (Foundations for Innovative Research-based Software Technologies,
 www.first.dk) with members from all computer science research institutions in
 Copenhagen and providing an active, stimulating and international
 research environment with more than 30 computer science PhD students.

 Depending on the topic of the Ph.D. project the successful applicant
 will be enrolled at either the Faculty of Science, University of Copenhagen,
 or at the IT University of Copenhagen.

 Concretely we anticipate three Ph.D. projects with focus on the
 following topics:

 1)  Foundations for domain-specific typed languages and process models
 for dynamically changing interacting workflows (enrolled at ITU,
 supervised by Thomas Hildebrandt, ITU and co-supervised by Fritz
 Henglein, DIKU).

 2)  Foundations for proof-carrying-code for concurrent and distributed
 interacting processes (enrolled at DIKU, supervised by Andrzej
 Filiniski, DIKU and co-supervised by Carsten Schurmann, ITU).

 3)  Techniques for automatic generation of user-interface logic and
 (re-)validation of types for dynamically changing interacting workflows
 (enrolled at DIKU, supervised by Fritz Henglein, DIKU and co-supervised
 by Thomas Hildebrandt, ITU).

 Hereto comes a Post Doc project in the Software Development Group at ITU
 in collaboration with Professor Jakob Bardram (possibly substituted by a
 Ph.D project) in extensions to the activity based computing paradigm for
 pervasive user-interfaces to encompass workflow management and
 trustworthy user-interface logic. (This position will soon be announced
 separately.)

 If you are interested in a scholarship/Post Doc position, we encourage
 you to read the detailed material and calls on the project website
 www.trustcare.eu and submit two (!) applications, one to DIKU and one to
 ITU, following the respective guidelines.


                    **** IMPORTANT DATES ****

 Application deadline: Monday, April 7th, 2008, 12:00 noon (Central
 European Summer Time).

 Expected start of the positions are subject to negotiation, though
 preferably no later than August 1st, 2008.


                   **** CONTACT INFORMATION ****

 For questions regarding a scholarship at ITU, contact: Thomas Hildebrandt
 (email: [EMAIL PROTECTED], tel.: +45-72185279, Skype: hildebrandtdk).

 For questions regarding a scholarship at DIKU, contact: Fritz Henglein
 (email: [EMAIL PROTECTED], tel.: +45-35321463, Skype: henglein).

 For questions regarding the PostDoc position in the Software Development
 Group at ITU, contact: Jakob Bardram (email: [EMAIL PROTECTED], tel.:
 +45-72185311).

Reply via email to