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. 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 (
[email protected]), Joseph Kiniry ([email protected]).
The application deadline May 15. 2011. Please follow this link Post doc in
Computer Science to file your application.
Best regards,
-- Carsten Schuermann and Joseph Kiniry
------------------------------------------------------------------------------
Benefiting from Server Virtualization: Beyond Initial Workload
Consolidation -- Increasing the use of server virtualization is a top
priority.Virtualization can reduce costs, simplify management, and improve
application availability and disaster protection. Learn more about boosting
the value of server virtualization. http://p.sf.net/sfu/vmware-sfdev2dev
_______________________________________________
hol-info mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/hol-info
