[TYPES/announce] PhD Positions at IT University of Copenhagen

[Marco Carbone]

Dear all,

The Process and System Models group (Models) and Programming, Logics
and Semantics (PLS) group at IT University of Copenhagen would like to
solicit people to apply for PhD positions. Ideal applicants are
expected to define a PhD project within one or several of the
following sub-areas (contact person in brackets):

- Separation Logic and Program Verification
  (Jesper Bengston - jebe at itu.dk)

- Analysis and Transformation of Software Product Lines
  (Claus Brabrand - brabrand at itu.dk)

- Choreography and Session Types
  (Marco Carbone -  maca at itu.dk)

- Concurrency Theory and Applications
  (Thomas Hildebrandt - hilde at itu.dk )

- Denotational Semantics and Category Theory
  (Rasmus Møgelberg - mogel at itu.dk)

- Logical Frameworks and Security
  (Carsten Schürmann - carsten at itu.dk)

- Formal Models for Engineering of Systems
  (Andrzej Wasowski - wasowski at itu.dk)


Successful candidates will join a vibrant and international research
group consisting of several faculty members, postdocs, and PhD
students.

Useful information:

- deadline: 13th October 2013, 23:59 CET

- application link:

https://delta.hr-manager.net/ApplicationInit.aspx?cid=119&ProjectId=148867&departmentId=3439&MediaId=5

- Models group: http://www.itu.dk/research/models

- PLS group: http://www.itu.dk/research/pls
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20130909/3f09761e/attachment.html>