[TYPES/announce] PhD opening in Formal Models for Concurrency and Coordination at IT University of Copenhagen (Deadline: April 23)

[Thomas Hildebrandt]

Dear colleagues,
The Computational Artifacts (COMPART) project seeks an excellent PhD student with a background in theoretical computer science, to research in foundational formal models for interactive and adaptive concurrent processes with applications to coordination of human interaction.
In more detail, the aim of the PhD project is to develop formal process languages able to express artefacts used in the coordination of human interaction as studied in Computer Supported Cooperative Work (CSCW) and found in workflow and adaptive case management systems, project management, e-Health and e-Government systems. In particular, it is expected that the models should support (run-time) adaptation, description of goals and regulations (policies and laws), (physical & virtual) context and resources.
The ideal candidate has experience in one or more of the following areas: 1) true concurrency models (e.g. Petri Net, event structures, DCR Graphs), 2) formal models for flexible and adaptive processes, 3) types, logics and categorical models for concurrent processes and their interaction.
The COMPART project is an inter-disciplinary partnership between University of Copenhagen, Copenhagen Business School and IT University of Copenhagen (ITU), supported by the Velux foundation. The project involves senior researchers, post docs and PhD students in theoretical computer science, human-computer interaction, CSCW, sociology of organisation, communication theory and linguistics. The project is anchored in the Center for Communication and Computing (CCC) at the University of Copenhagen (http://ccc.ku.dk) - next door to ITU. The candidate will be located at ITU as member of the Theoretical Computer Science section and affiliated to two vibrant research groups for Process and System Models (www.itu.dk/research/models), and Programming, Logic and Semantics (www.itu.dk/research/pls).
Contact: Associate professor, Thomas Hildebrandt. (hilde at itu.dk, www.itu.dk/people/hilde).<http://www.itu.dk/people/hilde).> Supervisor of the PhD project and Head of the Process and System Models Group?
The deadline is April 23 and starting date is in fall 2014 (August/September). Successful applicants will be employed and enrolled at the ITU University for a period of 3 or 4 years depending on the university degree level of the applicant.

The scholarship includes full time salary and funding for travels etc.

For conditions and on-line application see :
https://delta.hr-manager.net/ApplicationInit.aspx?cid=119&ProjectId=168671&departmentId=3439&MediaId=5?

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20140321/245648ce/attachment-0001.html>