Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Postdoc Positions at the IT University of Copenhagen on Trustworthy Electronic Elections

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

Early expressions of interest are encouraged: Carsten Schuermann (carsten AT itu.dk), Joseph Kiniry (kiniry AT itu.dk).

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





Archive powered by MhonArc 2.6.16.

Top of Page