Ph.D. scholarships at the IT University of Copenhagen

Ph.D. scholarships at the IT University of Copenhagen

[Lars Birkedal]

[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]


Dear All,

A number of Ph.D. positions are available in the FIRST research school
at the IT University of Copenhagen. The FIRST research school covers
theoretical computer science and fundamental software technologies.
Please see
   http://www1.itu.dk/sw487.asp
for the official announcement and for information on how to apply.
Application deadline is October 7, 2009.

Potential applicants are welcome to contact me or any of the other 
faculty members in the PLS group (www.itu.dk/research/pls) for
more information.

Best wishes,

Lars Birkedal
Professor, Head of PLS group and
the FIRST research school.
www.itu.dk/~birkedal

Ph.D. scholarships at the IT University of Copenhagen

[Lars Birkedal]

Dear All,

A number of Ph.D. positions are available in the FIRST research school
at the IT University of Copenhagen. The FIRST research school covers
theoretical computer science and fundamental software technologies.
Please see
   http://www1.itu.dk/sw487.asp
for the official announcement and for information on how to apply.
Application deadline is October 7, 2009.

Potential applicants are welcome to contact me or any of the other
faculty members in the PLS group (www.itu.dk/research/pls) for
more information.

Best wishes,

Lars Birkedal
Professor, Head of PLS group and
the FIRST research school.
www.itu.dk/~birkedal


[For admin and other information see: http://www.mta.ca/~cat-dist/ ]

Ph.D. scholarships at the IT University of Copenhagen

[Lars Birkedal]

A number of Ph.D. scholarships are available at the IT University of
Copenhagen, including some in the areas of the Programming, Logic and
Semantics (PLS) Group with research in programming languages, automated
reasoning, logical frameworks, type theory, semantics, category
theory, domain theory, distributed and mobile computing, business
processes, concurrency theory, electronic voting.

Please let potential students know.
Deadline for application is October 22.
See http://www1.itu.dk/sw66047.asp for the official announcement.

Best wishes,
Lars Birkedal
Head of the PLS group.

Ph.D. scholarships at the IT University of Copenhagen

[Lars Birkedal]

A number of Ph.D. scholarships are now advertised at the IT University of
Copenhagen, Denmark. There are openings in several areas, including the
research areas of the Theory Department: algorithms and complexity theory,
semantics of logics and programming languages, category theory, categorical
logic and type theory, models of concurrency, verification, mobile
computation.

The official announcement of the Ph.D. scholarships can be found at
  http://www.it-c.dk/Internet/jobs/puuAlA/

Application deadline is noon March 19, 2003.

More information about the Theory Deparment can be found at
  http://www.it-c.dk/English/research/theory/

Best regards,
Lars Birkedal


----------------------------------------------------------------------
Lars Birkedal  (birkedal@it-c.dk)
Associate Professor, Ph.d.
Head of Theory Department
The IT University of Copenhagen