The Coq mailing list

[Joseph Kiniry <josr AT itu.dk>]

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

[0] http://www.demtech.dk/

[1] https://delta.hr-manager.net/ApplicationInit.aspx?ProjectId=88568&DepartmentId=3439&MediaId=5