[TYPES/announce] Open PhD positions in Computer Science and Systems Engineering at the University of Genova

[Davide Ancona]

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

PhD positions are available within the PhD program in Computer Science
and Systems Engineering coordinated by the Department of
Computer Science, Bioengineering, Robotics and Systems Engineering of
the University of Genova in partnership with Fondazione Bruno Kessler (FBK) - 
Trento.

The PhD program includes, among others, the following research themes:
Programming Languages, Compilers, Type Theory, Semantics, Concurrency, 
Theoretical Computer Science.

-- 12 positions in computer science
-- 3 positions in systems engineering curriculum.

The deadline for application is June, 10th 2016 at noon.

Detailed instructions and further details on the
application procedure are available at
http://www.studenti.unige.it/postlaurea/dottorati/

Further details regarding the PhD Program and research themes are available at
http://phd.dibris.unige.it/csse/

[TYPES/announce] Open PhD positions

[Carsten Schuermann]

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

Dear colleagues,

the IT University of Copenhagen (ITU) invites applications for several
PhD scholarships starting in September 2009 in the following areas:
 
Algorithms for searching and storing of large amounts of data,
automated reasoning, business processes, category theory, complexity
theory, concurrency theory, distributed and mobile computing, domain
theory, efficient solutions to problems arising in logical
formulations within planning, empirical studies of software
development in organizations, scheduling, verification, test, and
configuration; efficient computation, electronic health records,
electronic voting, logical frameworks, software architectures,
object-oriented methodology and notations, programming languages,
programming language technology for functional and object-oriented
languages, proof assistants, semantics, ubiquitous computing, user
interface software technology, workflow languages.

Applicants accepted will be employed and enrolled at the IT University
for a period of 3 or 4 years.  Appointment and salary will be in
accordance with the agreement between the Ministry of Finance and the
Danish Confederation of Professional Associations.  For example, the
basic salary of a 3 year PhD student amounts to DKK 24,117.18 (Euro
3236.20) per month.

For more information consult the webpage:

http://www1.itu.dk/sw487.asp

I would be grateful if you could circulate this information among
potential applicants. 

Best regards,
-- Carsten Schuermann