coq-club AT inria.fr
Subject: The Coq mailing list
List archive
[Coq-Club] Postdoc Positions at the IT University of Copenhagen on Trustworthy Electronic Elections
chronological Thread
- 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] Postdoc Positions at the IT University of Copenhagen on Trustworthy Electronic Elections
- Date: Tue, 26 Apr 2011 13:49:32 +0200
The IT University of Copenhagen invites applications for several Postdoctoral fellow positions on trustworthy electronic election technology. The positions are part of the DemTech project, a larger effort to prove that it is possible to modernize the democratic process without losing the trust of the voters [0]. We plan to use epistemic logical framework technology and cryptographic methods, such as full homomorphic encryption. The research will be conducted under the supervision of Profs. Joseph Kiniry and Carsten Schürmann. A successful applicant will be hired initially for one year with the option to renew. The start date is flexible, but the position cannot be filled before 1 July, 2011. Candidates are also encouraged to explore research ideas beyond the project description. The positions provide significant opportunities for professional development. Postdoctoral candidates should have a Ph.D. in Computer Science or Mathematics and an established research record in one or more of the following fields: • applied formal methods • cryptography • electronic voting systems (of primary importance) • rigorous software engineering • trust and trustworthiness • logic and semantics • logical frameworks and type theory • proof theory and higher-order theorem proving • program verification The application deadline May 15. 2011. Please follow this link Post doc in Computer Science to file your application [1]. Best regards, -- Joseph Kiniry and Carsten Schuermann |
- [Coq-Club] Postdoc Positions at the IT University of Copenhagen on Trustworthy Electronic Elections, Joseph Kiniry
Archive powered by MhonArc 2.6.16.