coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Research positions in cryptography, blockchain, and formal verification at Aarhus

From: Bas Spitters <b.a.w.spitters AT gmail.com>
To: undisclosed-recipients:;
Subject: [Coq-Club] Research positions in cryptography, blockchain, and formal verification at Aarhus
Date: Thu, 22 Nov 2018 03:13:04 +0100
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=b.a.w.spitters AT gmail.com; spf=Pass smtp.mailfrom=b.a.w.spitters AT gmail.com; spf=None smtp.helo=postmaster AT mail-yw1-f68.google.com
Ironport-phdr: 9a23:vk/WRRyM+ifDgbfXCy+O+j09IxM/srCxBDY+r6Qd1O0fIJqq85mqBkHD//Il1AaPAd2Lraocw8Pt8InYEVQa5piAtH1QOLdtbDQizfssogo7HcSeAlf6JvO5JwYzHcBFSUM3tyrjaRsdF8nxfUDdrWOv5jAOBBr/KRB1JuPoEYLOksi7ze+/94HQbglSmDaxfa55IQmrownWqsQYm5ZpJLwryhvOrHtIeuBWyn1tKFmOgRvy5dq+8YB6/ShItP0v68BPUaPhf6QlVrNYFygpM3o05MLwqxbOSxaE62YGXWUXlhpIBBXF7A3/U5zsvCb2qvZx1S+HNsLxULA0Xymt76ZwSBD0jCcHMCU5/3/KhcdtiK5Wrw6tqxl5zoXJYo+aKeB+c7vSct0aS2RPXdtfWDBcD46ndYQDE/AMMPxEo4XhpVYDqwa1Cwm2BOPozz9FnmL70rch0+88DA/GxA0gH84SsHvKttX1L7oZXOeuw6XS1zrPdf1X1S3m6IjQcxAhve2MUqxqccrK0kQvGAbFgU+RqYzhJT+ayuMNs22C4udmSOmhhWknqwRrrTiuwMchkpPGhp8Pxl/Z9iV0xps+K96gSENjf9KoDJ9duzuZOoZ2WM8uXmBltDsgxrAHupO2ejUBxo49yB7FcfOHdpCF4hL9W+aVJjd1nHdld6i+hxa26EShyuP9WtSt3FZErydIkcPAtn8K1xzU5ciHTuVy8l291jaI0gDf8uBEIUYqmqrHM5Mt3KI8m54JvUnAHiL6glj6ga6Lekk+++Wl6PzrYrD8qZ+dM490hBv+MqMrmsGnGus0KBIBU3KV+Oimz73j5Uz5QKlWjvIoiKnZq4vXJcsepqGjAg9V1pwv5Aq4DzejyNgYh2UILEpZeBKbiIjkI03BIPfhDfumn1uslCpryOvdM736ApTNK2DDn637cbZ87U5c0gszwspF65JaELFSaM70D1L3uN3DBRs+KAG4hvzqA9Rl144YRXndUfy3KqTX5HWB/aoUO+iQeIIPo36pIb4soeGolmc4hUMQZ7KB0p4eaXT+FfNjdRbKKUHwi8sMRD9Z9jE1S/bn3QHaCG8BVzOJR6s5owoDJsejBIbHSJqqheXYjii+F5xSIGtBDwLVSCu6R8C/Q/4JLRmqDIp5iDVdDOquToYg0Velswqok+M6fNqRwTURsNfY7PYw5+DXkktvpzl9DsDYwn7UCm8qziUHQDg52K05qkt4mA+O

Several full-time research positions in cryptography, blockchain, and formal verification

are available at Computer Science, Aarhus University 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 (Deadline February 2019). Assistant Professor or Associate Professor applications are sent here (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

[Coq-Club] Research positions in cryptography, blockchain, and formal verification at Aarhus, Bas Spitters, 11/22/2018