[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Several full-time research positions in cryptography, blockchain, and formal
verification
are available at Computer Science, Aarhus University <http://cs.au.dk/> at
several levels.
We are looking for:
-
PhD students
-
Postdocs
-
Assistant Professors (tenure track)
-
Associate Professors
We are hiring within the following topics
-
Consensus protocols for blockchains
-
Blockchain technology
-
Game theoretic analysis of cryptographic protocols and blockchains
-
Privacy-enhancing technologies
-
Differential Privacy
-
Zero-knowledge proofs
-
Efficient implementation of secure multiparty computation
-
Theory of secure multiparty computation
-
Secure multiparty computation for the blockchain
-
Cryptographic security models
-
Formally verified cryptographic implementations
-
Language design and semantics for smart contracts
-
Formal verification of cryptographic protocols, including blockchain and
secure multiparty computation
Applying
If you are interested in a PhD or postdoc position contact us as soon as
possible. Positions will stay open until suitable candidates are found. PhD
students will later formally apply here
<http://talent.au.dk/phd/scienceandtechnology/apply-here> (Deadline
February 2019). Assistant Professor or Associate Professor applications are
sent here
<http://cs.au.dk/about-us/vacancies/scientific-positions/stillinger/Vacancy/show/1009431/5283/>
(deadline January, 2019), but feel free to contact us for more information
if you are interested in applying.
Contact e-mails:
-
Ivan Damgård, [email protected]
-
Jesper Buus Nielsen, [email protected]
-
Claudio Orlandi, [email protected]
-
Bas Spitters, [email protected]
