[TYPES/announce] PhD Scholarship in Formal Semantics and Types for Mobile Adaptive Business Processes

[hilde@itu.dk]

PhD Scholarship in Formal Semantics and Types for Mobile Adaptive Business
Processes

I hereby invite applicants for a PhD scholarship within Formal Semantics
and Types for Mobile Adaptive Business Processes (ref. no. 225-0026) at
the IT University of Copenhagen (ITU).

The scholarship is affiliated to the FIRST graduate school (www.first.dk),
the Programming, Logic and Semantics Research Group
(http://www.itu.dk/research/pls/) and the Computer Supported Mobile
Adaptive Business Processes (www.CosmoBiz.org) research project at ITU.

Application deadline is May 7, 2007 at 12.00 noon.

The PhD scholarship runs for a period of three years (possibly four years
if initiated prior to
obtaining a MSc). It is expected to start summer/fall 2007.

Applicants are expected to have an MSc (or having completed 4 years of
studies towards a MSc) in Computer Science, Engineering or Mathematics and
in particular have experience in one or more of the areas of:
- type theory
- formal semantics
- process calculi
- bigraphs
- graph rewriting
- concurrency theory
- implementation of research-based software systems.

The successful applicant will be an excellent student capable of
conducting research, under
supervision, at the highest international level.

In the evaluation of the applications emphasis will especially be put on
grade average, prior academic performance, collaborative skills and the
ability to make a realistic and promising work plan for the project.

CosmoBiz is funded by ITU, the Danish Research Council for Technology and
Production (grant no 274-06-0415) and Microsoft Development Center
Copenhagen (http://www.microsoft.com/danmark/om/mdcc/default.mspx).

The full announcement of the scholarship can be found at:
http://www1.itu.dk/sw60830.asp

Application form and guidelines for the application can be found at:
http://www1.itu.dk/sw38325.asp

For more information on the CosmoBiz project please consult the project
web page at www.CosmoBiz.org and feel free to contact me by email at
hilde at itu.dk

Best regards,
Thomas Hildebrandt, Associate Professor
The Programming, Logic and Semantics Research Group
(http://www.itu.dk/research/pls/)
IT University of Copenhagen, Denmark