[Agda] PhD Positions on Trustworthy Electronic Elections

[Carsten Schürmann]

PhD Positions on Trustworthy Electronic Elections

(for more information see  http://www.demtech.dk/)

The IT University of Copenhagen invites applications for several PhD positions on developing and evaluating trustworthy electronic election technology.   With this project, we try to prove that it is possible to modernize the democratic process using information technology without losing the trust of the voters.   The PhD positions are concerned with different aspects of this research question, for example, how to design formal techniques to hold machines accountable for their actions, to run trusted code in untrusted environments, to develop software in a trust-preserving way, and to evaluate technology form a societal point of view.   

Applicants should have a strong background in some combination of the following areas in computer science: cryptography, concurrency, epistemic logics, formal methods, modal logics, proof assistants, logical frameworks, requirement engineering, security protocol design, software engineering, theorem proving, type theory.  Successful PhD applicants will want work with epistemic logics and logical frameworks, epistemic logics and cryptography, or with formal trust preserving software engineering techniques.

To apply, please visit the project homepage  http://www.demtech.dk/. Early expressions of interest are encouraged: Carsten Schuermann (carsten at itu.dk), Joseph Kiniry (kiniry at acm.org), Randi Markussen (rmar at itu.dk), Christopher Gad (chga at itu.dk), or nina Boulus (nbou at itu.dk).  

Best regards,
-- Carsten Schuermann and Joseph Kiniry
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20111004/35cc31a4/attachment.html