[Agda] Open DemTech PhD positions @ ITU

Carsten Schürmann carsten at schuermann.org
Wed Mar 21 08:48:47 CET 2012

IT University seeks candidates for open PhD positions in the DemTech project.

DemTech invites applications for several PhD positions on developing
and evaluating trustworthy electronic election technology.  A
successful applicant will conduct research for example, on formal
specification and verification of software to hold machines
accountable for their actions, how to build domain specific proof
assistants to assist this task, how to run trusted code in untrusted
environments, how to develop software in a trust-preserving way, or to
evaluate technology form a societal point of view.

Expected start date of employment: September 1st, 2012.
Deadline for applications is: 

	     April 16, 2012 at 12.00 Copenhagen time.

The deadline is strict.

Applicants should have a strong background and interest in some
combination of the following areas of computer science: cryptography,
formal methods, information security, logical frameworks, programming
and specification languages, security protocol design, software
engineering, and verification.

As a PhD student you will be part of a vibrant research environment
here at ITU with many international collaborations in computer and
social science.

Early demonstration of interest strongly encouraged.  Please contact
Carsten Schuermann (carsten at demtech.dk) or Joseph Kiniry
(kiniry at demtech.dk)

The application process is electronic and a part of the general call
at ITU, together with scholarships in other projects. Please see:




There you can also find contact points regarding administrative
matters in the application process.

Best regards,
-- Joseph Kiniry and Carsten Schuermann

More information about the Agda mailing list