Apologies for reposting: The correct application deadline is 23. July 2012.
Best regards,
-- Carsten Schuermann
The IT University of Copenhagen invites applications for several postdoctoral
fellow positions on trustworthy electronic election technology. The positions
are part of a larger effort to prove that it is possible to modernize the
democratic process without losing the trust of the voters.
We are looking for experts in 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. 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 (
[email protected]), Joseph Kiniry ([email protected]).
The application deadline July 23, 2012. Please follow this link
https://delta.hr-manager.net/ApplicationInit.aspx?ProjectId=116151&DepartmentId=5237&MediaId=5
to file your application.
Best regards,
-- Carsten Schuermann and Joseph Kiniry
------------------------------------------------------------------------------
Live Security Virtual Conference
Exclusive live event will cover all the ways today's security and
threat landscape has changed and how IT managers can respond. Discussions
will include endpoint security, mobile security and the latest in malware
threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/
_______________________________________________
hol-info mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/hol-info
