[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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 [EMAIL PROTECTED] Best regards, Thomas Hildebrandt, Associate Professor The Programming, Logic and Semantics Research Group (http://www.itu.dk/research/pls/) IT University of Copenhagen, Denmark