[Agda] Research positions in cryptography, blockchain, and formal verification at Aarhus

[Bas Spitters]

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, ivan at cs.au.dk
   -

   Jesper Buus Nielsen, jbn at cs.au.dk
   -

   Claudio Orlandi, orlandi at cs.au.dk
   -

   Bas Spitters, spitters at cs.au.dk
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20181124/96b0ec65/attachment.html>