IACR News item: 04 July 2012
IT University of Copenhagen, Denmark
Job PostingWe 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 (carsten (at) itu.dk), Joseph Kiniry (kiniry (at) itu.dk).
Additional news items may be found on the IACR news page.