[TYPES/announce] Searching for MT-LAB Phd students

[Andrzej Wąsowski]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1


PhD Position within the MT-LAB project

MT-LAB is A cooperative research center of The Technical University of
Denmark, Aalborg University and the IT University of Copenhagen focusing
on exploring and developing methods for modeling and analysis of
advanced software systems.

We seek applicants for the following PhD project within the research centre:

STOCHASTIC MODELS FOR OPEN SYSTEMS

This PhD scholarship is for you if you would like to study quantitative
game models and specifications for components (quantitative interface
theories, modal transition system like models, reliability models,
compositional reasoning, analysis and synthesis algorithms, behavioral
type systems).

You have background in concurrency theory and/or Markov models and/or
model checking/verification. You are a computer scientist, or a
mathematician interested in computation, algorithms, etc. The enrollment
is at the ITU in Copenhagen, within the MT-LAB research centre, in
collaboration with CISS at AAU and LBT group at DTU. You will be
affiliated with Programming languages, Logics and Semantics group (PLS),
which traditionally attracts PhD students specializing in theoretical
computer science or mathematics.

In Denmark PhD positions are open for applicants who hold an MSc degree
(or are about to obtain one), or have completed at least one year of an
MSc degree.

Application deadline: October 6th (strict!)

More information:
http://www.itu.dk/phd
http://itu.dk/Om-IT-Universitetet/stillinger.aspx

contact: Andrzej Wa
sowski <wasowski at itu.dk>

- -- 
Andrzej Wąsowski, PhD, http://www.itu.dk/~wasowski/
Associate prof., head of MSc Programme on Software Development
IT University, Rued Langgaards Vej 7, 2300 Copenhagen, Denmark
office 4C12, phone +45 7218 5086, fax +45 7218 5001

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.16 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/

iQGcBAEBAgAGBQJMh1MPAAoJEKbbkSq7tE5u1osL/2q59CATrAFrE3k6uPqG3o/Z
9+RwVGZ+0XHJpNdRtXpbEkmyFgoU1fYpr6yFs1RjwineEMzI1Wc9/eea1wVInfxb
To/Uy7z6bCJqJ+VL4cxhdEqQS9rZj6aOBnd43b9UGrTHMxOwVzwfcU7TbY6shTjr
FmC2ZHJCDWPAIzU7Qoa8T6pUxx6Q3lSFYYeQURKutKztjT4/605kOiMSNApzNZ1H
OhSoUbu2mbFxnQBm4EikHKrsK6/boqyF8g1/fDL2GalnhsLnya2G+ANzmHOUezjE
VZ0scJf2uXVsNbCljgGo0U+P7KeYmRn0ZVxLfiC/gM32NlOlXpgt5JXtrdyNdWH1
r0CngXhonXCmkjmR8FWewlHSg6pmutyw8/X3hhVG234EiJZs2l8bzl1m7Sk0x7PV
PaIEAWp4+mZ76GaUsRtMp8TTJy8gjWuzHZkvinzaJYEe/EVZfLxdSrIIeSpbkZw7
EE7sJuVdjj3PiCY+pygol2nF8ZiM/jhzWn9h++OxYg==
=Iio4
-----END PGP SIGNATURE-----
-------------- next part --------------
A non-text attachment was scrubbed...
Name: mt-lab-phd-scholarship.pdf
Type: application/octet-stream
Size: 61561 bytes
Desc: not available
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20100908/09a4690e/attachment-0001.obj>