coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Joseph Kiniry <josr AT itu.dk>
- To: coq-club AT inria.fr, eapls AT jiscmail.ac.uk, fmics AT inrialpes.fr, bforum AT inrets.fr, info AT fmeurope.org, pvs AT csl.sri.com, rewriting AT ens-lyon.fr, seworld AT sigsoft.org, smt-lib <smt-lib AT cs.nyu.edu>, vdm-forum AT jiscmail.ac.uk, zforum AT prg.ox.ac.uk
- Cc: Carsten Schuermann <carsten AT itu.dk>, Joseph Roland Kiniry <kiniry AT acm.org>, Randi Markussen <rmar AT itu.dk>, Christopher Gad <chga AT itu.dk>, Nina Boulus <nbou AT itu.dk>
- Subject: [Coq-Club] PhD Positions on Trustworthy Electronic Elections
- Date: Wed, 16 Mar 2011 11:11:13 +0100
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 will attempt to prove or disprove 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. These positions are a part of the ITU PhD Spring call. Further position may follow in later calls. Several postdoc positions will also be announced soon. Applicants should have a strong background and interest in some combination of the following areas in computer science: cryptography, concurrency, epistemic logics, formal methods, information security, modal logics, operational semantics, programming languages, proof assistants, logical frameworks, requirement engineering, rewriting theory, security protocol design, software engineering, theorem proving, type theory and social science: democracy and science, democratic governance, ethnographic studies and ethnography of technologies, genealogy of democracy and technology, political technologies, public understanding of science, trust in information, science and technology studies (STS). To apply, please visit the project homepage <http://www.demtech.dk/>. See the ITU vacancies page for more details on the application process <http://itu.dk/en/Om-IT-Universitetet/stillinger>. PhD applications are due on the 7th of April (in approx. 3 weeks). Early expressions of interest are encouraged: Carsten Schuermann (carsten AT itu.dk), Joseph Kiniry (kiniry AT itu.dk), Randi Markussen (rmar AT itu.dk), Christopher Gad (chga AT itu.dk), or Nina Boulus (nbou AT itu.dk). Best regards, -- Joseph Kiniry and Carsten Schuermann |
- [Coq-Club] PhD Positions on Trustworthy Electronic Elections, Joseph Kiniry
Archive powered by MhonArc 2.6.16.