[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, ***@cs.au.dk
-

Jesper Buus Nielsen, ***@cs.au.dk
-

Claudio Orlandi, ***@cs.au.dk
-

Bas Spitters, ***@cs.au.dk