Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Open PhD positions


view this post on Zulip Email Gateway (Aug 18 2022 at 12:59):

From: Carsten Schuermann <carsten@itu.dk>
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


Last updated: Nov 21 2024 at 12:39 UTC