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 ([email protected]),
Joseph Kiniry ([email protected]), Randi Markussen ([email protected]), Christopher Gad
([email protected]), or nina Boulus ([email protected]).
Best regards,
-- Carsten Schuermann and Joseph Kiniry
------------------------------------------------------------------------------
All the data continuously generated in your IT infrastructure contains a
definitive record of customers, application performance, security
threats, fraudulent activity and more. Splunk takes this data and makes
sense of it. Business sense. IT sense. Common sense.
http://p.sf.net/sfu/splunk-d2dcopy1
_______________________________________________
hol-info mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/hol-info
