[TYPES/announce] 4 Ph.D. scholarships available at DIKU

[Fritz Henglein]

[Dear Types reader: Language-based security based on type systems is one of
the research areas of interest in the enclosed announcement.]


4 Ph.D.-scholarships at the Theory and Practice of Programming Languages
(TOPPS) group at the Department of Computer Science, University of
Copenhagen (DIKU) are available in connection with 3gERP, a joint research
project with Copenhagen Business School and Microsoft.  We are looking for
strong computer science majors with interests (and preferablely a bit of
background) in formal methods and programming language technology, such as
declarative (functional and/or logical) programming, process algebras, type
systems, static analysis, abstract interpretation, etc.

The full text of the Ph.D. scholarship announcements is at
http://www.3gERP.org/scholarships.pdf
.  See http://www.3gERP.org <http://www.3gerp.org/> for more information on
3gERP.

Please feel free to pass this message on to other colleagues and students
who might be interested in the scholarships (or the 3gERP Project).

Fritz

-- 
Fritz Henglein, Ph.D.
Professor mso
Dept. of Computer Science, University of Copenhagen (DIKU)
Universitetsparken 1
DK-2100 Copenhagen
Denmark
Email: henglein at diku.dk
Tel.: +45-35321463 (office at DIKU), +45-77343435 (office at home), +45-41414158
(cell)
Skype: henglein
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20060705/8cbaf642/attachment.htm