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

Dear all,

I am writing to inform you that the IT University of Copenhagen is
looking for outstanding PhD applicants in the areas of

Programming languages, automated reasoning, logical frameworks, proof
assistants, semantics, category theory, domain theory, distributed and
mobile computing, business processes, concurrency theory, electronic
voting, formal methods, verification, algorithms, planning,
scheduling, verification, test, configuration; user interface software
technology, ubiquitous computing, software architectures, empirical
studies of software development in organizations, functional and
object-oriented languages.

Please find more information about the PhD positions on our webpage.


Application deadline:  October 10, 2008, noon.

Sincerely yours,
-- Carsten Schuermann

Reply via email to