International Association
for Cryptologic Research

Over the last few years, a new breed of machines have appeared in the quantum computing landscape, the so-called analog quantum computers of which the machines presently sold by the Canadian company D-Wave are the first instances. From an abstract point of view, such a machine may be seen as an oracle specialized in the resolution of an NP-hard optimization problem (of the spin-glass type) with an algorithm analogous to the well-known simulated annealing but with a quantum speedup (the precise characterization of which still being an open question). If the theory of quantum annealing is now relatively well understood by the physics community, the extent to which D-Wave machines implements it properly is still the subject of some controversy within that community. Still, quantum annealing machines do exists today at a non-trivial scale (between 500 and 1000 bits of internal state) and their technological path towards larger scales is much clearer than for their digital cousins. Furthermore, it is presently considered that a quantum annealing machines with an internal state between 6 to 10 kbits would be competitive with the most powerful classical computers for solving optimization problems. In this context, the present thesis aims at investigating polynomial transformation paths from some NP problems (not necessarily NP-hard and which selection will be done as part of the thesis work) towards the reference problem of the annealing machine. Thus, the main objective of this thesis is to develop a better understanding of the theoretical performances of these machines, as well as a first return on experience if access to a D-Wave machine (via an institution owning such a machine) is possible. Depending on the candidate profile, the subject will bend more towards either physical aspects, computational complexity theory aspects or more applicative aspects (operations research, cryptanalysis notably).

Closing date for applications: 31 December 2017

Contact: Renaud Sirdey

More information: http://www-instn.cea.fr/

We are looking for Research Fellow (Post-Doc), Research Associate, Research Assistant, PhD student (several positions) to join our group.

Candidates for research fellow/associate should have completed (or close to completing) a PhD in computer science, mathematics, or a related discipline. Research assistant are expected to have an honours degree or an equivalent qualification. Applicants should have solid experience in any of the following areas:

1. public key cryptography and provable security.

2. system and network security

3. software engineering

Successful candidates are expected to contribute to one of the following topics:

- applications of blockchain technology

- lattice-based cryptography

- mobile security

- network security

The post has a flexible starting date. The initial appointment will be for 12 months, with a strong possibility for further appointment.

Applicants for PhD studentship should possess:

- a bachelor degree in computer science with good programming skills; or

- a bachelor degree in mathematics with strong interest in cryptography.

Review of applications will start immediately until the positions are filled.

Closing date for applications: 1 November 2017

Contact: Contact: Daniel Xiapu Luo (http://www4.comp.polyu.edu.hk/~csxluo) (csxluo at comp dot polyu dot edu dot hk)

Man Ho Allen Au (http://www4.comp.polyu.edu.hk/~csallen/) (csallen at comp dot polyu dot edu dot hk)

We are looking for an excellent, motivated, self-driven doctoral student to work in the area of information security and cryptography. The position is for up to five years at the Department of Computer Science and Engineering, within the group of Prof. Katerina Mitrokotsa who is doing research in cryptographic protocols that guarantee reliable authentication, privacy-preservation and verifiable delegation of computation. The topic of this project is focusing on investigating security and privacy issues for resource-constrained devices (e.g., sensors) that rely on external untrusted servers in order to perform computations. More precisely, the student shall be working on investigating efficient authentication and verifiable delegation of computation mechanisms that provide: i) provable security guarantees, and ii) rigorous privacy guarantees. The overall aim of the PhD position will be to design and evaluate cryptographically reliable and privacy-preserving authentication and verifiable delegation of computation protocols. The research shall also consider the case where multiple clients outsource jointly computations to untrusted cloud servers. Experience in one or more domains such as cryptography, design of protocols, secure multi-party computation and differential privacy is beneficial. Mathematical maturity is essential.

The PhD student will be supervised by Prof. Katerina Mitrokotsa: http://www.cse.chalmers.se/~aikmitr/

Full-time temporary employment. PhD student positions are limited to five years. Starting salary is 27,835 SEK a month before tax. The position is intended to start in Sept 2017.

Submit your applications here: http://goo.gl/PfyRzY

Attention! You need to select project C4 in your application.

Closing date for applications: 31 May 2017

Contact: Katerina Mitrokotsa, Associate Professor, Chalmers Univ. of Technology

More information: http://www.cse.chalmers.se/~aikmitr/PhD-Cryptography-Cloud.html

Do you have a PhD degree in Computer Science with specialization in Network / Cybersecurity? Are you interested in breaking into the rapidly-growing automotive security market?

OnBoard Security, formerly the Embedded Security division of Security Innovation, is the leader in automotive cybersecurity and we are looking for a Researcher to work on exciting projects.

Position Overview

OnBoard Security delivers world-class research and consulting services in secure communications, network security architecture, PKI, and security for connected vehicles. You will support research projects on a variety of security and privacy topics relating to connected and automated vehicles. You will also help us out in our Connected Vehicle Security consulting business.

Required Qualifications

• PhD degree in Computer Science (specialization in network security is a plus) or 5 years in industry, including work in a research-aligned environment

• Publications in top-tier conferences (please attach your best publication to your application)

• Experience with simulation tools (e.g. VEINS)

• Good communication skills

About us

We can’t name all the customers we’ve worked with, but recent specific projects have included being technical editor of IEEE Std 1609.2, the standard for all communications security for connected vehicle; and serving as security lead for the New York City Connected Vehicle Pilot, shaping all aspects of application, communication and configuration security for an upcoming 8,000 vehicle deployment on the streets of New York. Our security middleware was selected by GM for inclusion in the MY 2017 Cadillac CTS, the first car to have DSRC installed for sale to the general public. On the research side, we are working on topics ranging from cryptography (e.g. Garbled Circuits) to network and system security (e.g. misbehavior detection) and privacy (e.g. pseudonym system).

OnBoard Security is an equal opportunity employer.

Closing date for applications: 1 August 2017

Contact: Jonathan Petit, Senior Director of Research

jobs (at) onboardsecurity.com

More information: http://www.onboardsecurity.com

WHO?
We are eciotify, a new venture supported by NBT AG. We envision a world whereby IoT devices are enabled to freely participate in an economy; buying, selling and trading their digital assets by our secure, low cost and inter-operable technologies.
As our Blockchain Expert you will be responsible for the developments of our Blockchain Technology.

WHAT?
Take an active role in decisions on designing new systems and architectures based on Blockchain technologies

MUST HAVES: 

• Significant experience in blockchain technologies (e.g. Ethereum, Hyperledger)
• In-depth knowledge in smart contract programming, ideally proven by some previous projects

WHY SHOULD YOU JOIN?

People matter for us!
Our employees are the foundation of everything we accomplish.
The only way to realize our full potential is by providing an inspiring work environment, by enabling our employees to grow and provide them with everything they need to become thought leaders in their field.

Be in the driver seat of your personal and professional development
We offer you responsible and versatile tasks in a highly motivated international team. You will find minimal hierarchies, quick decision-making, a great work environment atmosphere. If you are a self motivated thinker and doer, we will provide you with astonishing opportunities to grow on a personal and professional level! In collaboration with Professor Gajek, eciotify is providing a great R&D environment for the most curious minds! We also offer the possibility to make your PhD and are able to connect you with the international research community.

 

To sum it all up in one sentence:

Build cool stuff with us!

Closing date for applications: 15 June 2017

Contact: Dennis Wegener

Head of HR

buildcoolstuff (at) eciotify.io

More information: http://eciotify.io

The International Max Planck Research School for Computer Science (IMPRS-CS) is a graduate program jointly run by the Max Planck Institute for Informatics, the Max Planck Institute for Software Systems and Saarland University.

The IMPRS-CS offers a PhD program upon successful completion of which students receive a Doctoral Degree in Computer Science from Saarland University. The program is open to students who hold or are about to receive a research-oriented Masters degree in Computer Science (or an equivalent degree). Successful candidates will typically have ranked at or near the top of their classes, have already engaged in research and published their results, and be highly proficient in written and spoken English.

Admitted students receive a support contract that covers all living expenses and tuition fees. They enjoy a research-oriented education with close supervision by world-renowned scientists in a competitive, yet collaborative, environment rich in interaction with other students, post-docs, and scientists.

Applications are accepted all year round; the current round closes on July 15th, 2017.

Further information, including instructions on how to apply, can be found here: http://www.imprs-cs.de

,

Closing date for applications: 15 July 2017

Contact: Jennifer Gerling, IMPRS-CS Coordinator

E-Mail: imprs (at) mpi-inf.mpg.de

Phone: +49 681 9325 1800

More information: http://www.imprs-cs.de

We are looking for a top early career academic to join our diverse and internationally renowned Department of Computer Science as a Lecturer in Digital Security. The position is part of an appealing environment of existing competencies within digital security which include undergraduate courses and a postgraduate programme and an internationally respected group of academics undertaking pure and applied research in this domain.

The successful appointee will have a PhD, demonstrated excellence in research, and a commitment to high quality research-informed teaching. The ideal candidate would have a research program that complements and builds on existing areas of strength within the department (http://www.cs.auckland.ac.nz).

The scope of the search is digital security, broadly defined. We will be particularly interested in candidates who have developed techniques for digital forensics, security testing, or software obfuscation; or who have demonstrated expertise in security or privacy for mobile devices, cyber-physical systems (esp. Internet of Things), machine-to-machine systems, and big data systems.

The appointee will be expected to teach at undergraduate and postgraduate levels in their specialist area, at introductory levels more widely, and to engage in research and publication both personally and through the supervision of research students. The appointee would also be expected to seek research funding, to engage with the profession, and to contribute to departmental service.

This is a full time, permanent position based on the University of Auckland\'s city campus.

Apply

Please apply online at www.opportunities.auckland.ac.nz job code: 18586.

Applications close Thursday 25 May 2017.

Closing date for applications: 25 May 2017

Contact: Robert Amor

More information: https://www.opportunities.auckland.ac.nz/psp/ps/EMPLOYEE/HRMS/c/HRS_HRAM.HRS_CE.GBL?Page=HRS_CE_JOB_DTL&Action=A&JobOpen

About Us

At Cloudflare, we have our eyes set on an ambitious goal: to help build a better Internet. Today, Cloudflare runs one of the world’s largest distributed networks that powers more than 1.5 trillion pageviews each month across 5 million Internet properties. More than 10 percent of all global Internet requests flow through Cloudflare’s network. Cloudflare protects and accelerates any Internet application online without adding hardware, installing software, or changing a line of code.

About the Department

We are looking for a seasoned cryptography engineer for a development role in the Technology group. This role focuses on the implementation of cutting-edge cryptographic protocols for use at web scale in CloudFlare’s systems.

Candidates will have extensive experience in implementing real-world cryptographic protocols such as TLS. Substantial contributions to cryptographic software such as OpenSSL are preferred. Experience in Go, C, and assembly are required. Cryptography Engineers are expected to be familiar with the nuances of implementing public-key cryptography (PKI), side-channel attacks, padding oracles, constant-time implementations, and have deep domain knowledge.

Requirements

B.S. or M.S. Computer Science or related field, or equivalent experience

Experience building security in a fast-paced, web-scale environment

Advance knowledge of networking protocols - TCP/IP, DNS, SMTP, BGP etc.

In-depth knowledge of authentication protocols, applied cryptography, PKI and SSL/TLS

Proficiency in these languages - Go, C, and x86/amd64 assembly

Knowledge of the latest attack trends, tools and the threat landscape

Proven track record of independently driving security projects in a fast-paced environment

Excellent communication skills on both technical and non-technical issues

Bonus Points

Substantial contributions to cryptography software such as OpenSSL

Experience with high throughput/low latency real-time systems and/or content delivery networks

Closing date for applications: 1 October 2017

Contact: Ed Burns

ed (at) cloudflare.com

More information: https://boards.greenhouse.io/cloudflare/jobs/634967#.WQuUsVPyumk

We are looking for a top early career academic to join our diverse and internationally renowned Department of Computer Science as a Lecturer in Digital Security. The position is part of an appealing environment of existing competencies within digital security which include undergraduate courses and a postgraduate programme and an internationally respected group of academics undertaking pure and applied research in this domain.

The successful appointee will have a PhD, demonstrated excellence in research, and a commitment to high quality research-informed teaching. The ideal candidate would have a research program that complements and builds on existing areas of strength within the department (http://www.cs.auckland.ac.nz).

The scope of the search is digital security, broadly defined. We will be particularly interested in candidates who have developed techniques for digital forensics, security testing, or software obfuscation; or who have demonstrated expertise in security or privacy for mobile devices, cyber-physical systems (esp. Internet of Things), machine-to-machine systems, and big data systems.

Closing date for applications: 25 May 2017

Contact: Professor Robert Amor, Head of Department, trebor (at) cs.auckland.ac.nz

More information: https://www.opportunities.auckland.ac.nz

The Institute of Information Security at University of Stuttgart offers several

Ph.D. and Postdoc Positions

in the fields

- System and Web Security,

- Services and Cloud Computing Security,

- Cryptography, e.g., in the context of electronic voting, and

- Formal Methods in Security.

The positions are available immediately and paid according to the German public salary scale TVL-E13 or TVL-E14, depending on the candidate’s qualification. Appointment periods follow the German Wissenschaftszeitvertragsgesetz (WissZeitVg).

The Institute for Information Security offers a creative international environment for top-level international and creative research in Germany’s high-tech region.

The successful candidate should have a Master’s degree or a Ph.D. (or should be very close to completion thereof) in Computer Science, Mathematics, Information Security, or a related field. We value strong analytical skills. Knowledge in one of the mentioned fields is an asset. Since some teaching is done in German, knowledge of German is required for positions that involve teaching.

The deadline for applications is

May 28th, 2017.

However, late applications will be considered until the positions are filled.

Closing date for applications: 28 May 2017

Contact: Prof. Ralf Küsters

ralf.kuesters (at) sec.uni-stuttgart.de

https://sec.informatik.uni-stuttgart.de

More information: https://sec.informatik.uni-stuttgart.de/jobopenings

We are looking for an excellent, motivated, self-driven doctoral student to work in the area of information security and cryptography. The position is for up to five years at the Department of Computer Science and Engineering, within the group of Prof. Katerina Mitrokotsa who is doing research in cryptographic protocols that guarantee reliable authentication, privacy-preservation and verifiable delegation of computation. The topic of this project is focusing on investigating security and privacy issues for resource-constrained devices (e.g., sensors) that rely on external untrusted servers in order to perform computations. More precisely, the student shall be working on investigating efficient authentication and verifiable delegation of computation mechanisms that provide: i) provable security guarantees, and ii) rigorous privacy guarantees. The overall aim of the PhD position will be to design and evaluate cryptographically reliable and privacy-preserving authentication and verifiable delegation of computation protocols. The research shall also consider the case where multiple clients outsource jointly computations to untrusted cloud servers. Experience in one or more domains such as cryptography, design of protocols, secure multi-party computation and differential privacy is beneficial. Mathematical maturity is essential.

The PhD student will be supervised by Prof. Katerina Mitrokotsa: http://www.cse.chalmers.se/~aikmitr/

Full-time temporary employment. PhD student positions are limited to five years. Starting salary is 27,835 SEK a month before tax. The position is intended to start in Sept 2017.

Closing date for applications: 31 May 2017

Contact: Katerina Mitrokotsa, Associate Professor, Chalmers Univ. of Technology, aikmitr (at) chalmers.se

More information: http://www.cse.chalmers.se/~aikmitr/PhD-Cryptography-Cloud.html

A Research Associate position is available within UCL’s Computer Science Department. This position is part of an £11M (total investment £16M) EPSRC funded Interdisciplinary Research Centre on Early-Warning Sensing Systems for Infectious Diseases. The purpose of this post is to investigate (i) how to design and develop novel privacy-enhancing protocols capable of supporting user data aggregation, for purposes of statistics extraction and training of machine learning models for infectious disease surveillance and epidemiology; (ii) meaningful user interfaces and appropriate incentives to maximize user adoption and retention.

The post-holder will be required to work as part of a multidisciplinary research team and will be responsible for tasks that include designing and implementing software to collect data for various sources on the web, such as Google searches and browser activity, develop privacy-preserving protocols for data aggregation, designing experiments to analyze the data and compare the results to existing surveillance information, designing real-time visualization tools to display the information, designing and implementing databases to store information and documenting and publishing the results.

This position is funded until 30 September 2018 in the first instance.

Closing date for applications: 6 May 2017

Contact: Emiliano De Cristofaro

https://emilianodc.com

More information: https://tinyurl.com/isense-privacy-position

The Cyber Security (CSec) research group and the Centre for Parallel Computing (CPC) at the University of Westminster are looking for one Research Associate in Cloud Security to carry out research within the EU funded H2020 COLA (Cloud Orchestration at the Level of Application) project. COLA will define and provide a reference implementation of a generic and pluggable framework that supports the optimal and secure deployment and run-time orchestration of cloud applications. The successful candidate will carry out tasks in relation to the design and development of novel secure and privacy-preserving cloud orchestration solutions, specifically targeting and supporting application developers. In addition to that, the successful candidate will be also expected to contribute in writing project deliverables and research papers related to the project.

We expect candidates to have a strong research background in network security and/or applied cryptography. Proven research in areas such as trusted computing, cloud security, safety verification, security verification, data privacy, cyber-physical and internet of things security and cloud or mobile security will be considered as a plus.

The primary objective of the Cyber Security Research Group at the University of Westminster is to bring together expertise in education, research and practice in the field of information security and privacy. The group members conduct research in areas spanning from the theoretical foundations of cryptography to the design and implementation of leading edge efficient and secure communication protocols. To this end, we welcome applications from candidates whose research areas complement the existing research of the group.

• Job reference number: 50046999
• Salary: £33,387 to £38,489 per annum
• Contract: Fixed Term until June 2019
• Closing date: 16th May 2017
• Interviews are likely to be held on: 31st of May 2017

Closing date for applications: 16 May 2017

Contact: For an informal discussion contact Dr Antonis Michalas (a.michalas (at) westminster.ac.uk) or Dr Tamas Kiss (T.Kiss (at) westminster.ac.uk).

More information: http://tinyurl.com/hdawr6e

Expression of Interest: Vienna Research Groups for Young Investigators Call 2017 - Mathematics and….

The Faculty of Informatics at the Vienna University of Technology is looking for outstanding young researchers from abroad to set up and manage an independent research group as part of the Vienna Science and Technology Fund’s (WWTF) Vienna Research Groups for Young Investigators (VRSYI) Call 2017 - Mathematics and… .

Applications are sought from researchers from abroad who have recently completed their PhD (2 – 8 years ago) with an excellent research track record. Selected candidates will, together with an experienced researcher of the Faculty of Informatics as a proponent, prepare a proposal to be submitted to the WWTF VRSYI Call 2017 - Mathematics and… . Should this proposal be successful, the proposed project will be funded to the amount of 1.6 million euro by the WWTF for a period of 6 – 8 years. The Vienna University of Technology will further offer the successful candidate a tenure-track position (assistant professor), which will be later transformed into a tenured position (associate professor) subject to a positive overall assessment, with subsequent possibility of promotion to full professor.

Applications from researchers working on mathematical methods for Security and Privacy, such as

- Cryptography

- Formal Methods for Security and Privacy

- Language-based Security

- Security and Privacy in Machine Learning

are welcome. These should be sent in digital format (a single pdf file) to Univ. Prof. Matteo Maffei (matteo.maffei (at) tuwien.ac.at). The deadline for applications is May 2, 2017. The application should consist of

- CV (including a list of publications)

- a brief outline of the intended research project

Further information on the call is available at:

https://www.wwtf.at/programmes/vienna_research_groups/index.php?lang=EN#VRG17

Closing date for applications: 2 May 2017

Contact: Univ. Prof. Matteo Maffei

Organisation

CEA Tech is the CEA’s technology research unit. In 2013, CEA Tech opened regional branch offices with one in South of France close to the Cadarache center. Based in Provence, the Secure Systems and Architectures (SAS) research team is located at Gardanne within the campus of the CMP (Center of Microelectronic of Provence) near a cluster of academic and industrial partners. Its research interest is mostly in the design and test of secure integrated circuits.

Job

The post-doctoral position (12 months) is financed by the PROSECCO project (ANR) that aims at developing tools that will automatically insert protections against side-channel and fault attacks in the compilation flow and formally prove the functional equivalence and the robustness of the protected software. The consortium is composed of the LIP6 (Univ. Paris 6) and the CEA.

The post-doc work will be focus on the security analysis of the code generated with the Prosecco flow according to different use cases (verify pin, AES, bootloader) and different threats (SCA, FA). This analysis will be conducted with state-of-the-art side channel and fault injection benches. Some intermediate security evaluations will also be conducted with \"low cost\" equipment setups. This work will imply a close interaction with the other teams. The retained candidate will bring to other tasks of the project a central expertise about physical attacks and countermeasures.

Applicant Profile

PhD in microelectronic, computer science or a related field with a focus on hardware security and physical attacks (SCA and/or FA).

Knowledges and experiences in some or all of the following fields will be an asset during the position: Hardware security, Physical attacks and countermeasures, Cryptography, Microprocessors, Software and compilation

Good programming practice. Written and spoken English.

A brief description of the PhD thesis, a publication list and some recommendations should be included to your application.

Job location : Gardanne (Fr)

Start date : 01/09/2017, (to be discussed)

Closing date for applications: 1 September 2017

Contact:

Pierre-Alain Moellic

pierre-alain.moellic (at) cea.fr

Singapore University of Technology and Design (SUTD) is a young university established in collaboration with MIT. Cyber security is one of its most important areas and grows very fast with rich research funding. It has the world’s best facilities in cyber-physical systems (CPS) including testbeds for Secure Water Treatment (SWaT), Water Distribution (WADI), Electric Power and Intelligent Control (EPIC), and IoT.

I am looking for PhD interns on cyber-physical system security (IoT, autonomous vehicle, and power grid etc.), especially on the topics such as 1) Lightweight and low-latency crypto algorithms for CPS devices, 2) Resilient authentication of devices and data in CPS, 3) Advanced SCADA firewall to filter more sophisticated attacking packets in CPS, 4) Big data based threat analytics for detection of both known and unknown threats, 5) Attack mitigation to increase the resilience of CPS. The attachment will be at least 3 months. Allowance will be provided for local expenses.

Interested candidates please send your CV with a research statement to Prof. Jianying Zhou.

Closing date for applications: 30 May 2017

Contact: Prof. Jianying Zhou

Email: jianying_zhou (at) sutd.edu.sg

More information: http://jianying.space/

Applications are invited in the prescribed format to recruit one JRF for a period of 3 Years (Initially for 1 year) for the project \"Design and development of an Automatic Kinship Verification system for Indian faces with possible integration of AADHAR Database\"

Closing date for applications: 26 April 2017

Contact: Dr. T. Meenpal

Assistant Professor,

Electronics & Telecommunication Engineering

Department

NIT Raipur,Chhattisgarh- 492010

Email: tmeenpal.etc (at) nitrr.ac.in

More information: http://www.nitrr.ac.in/downloads/recruitment/recruitment2017/project_fellow/JRF_EnTC_advertisement_ETC_10042017.pdf

This is an urgent call for interested applicants. A funded Ph.D. student position is available starting August 2017 to work on different aspects of Cryptographic Engineering in the CSE department at USF.

USF is an R1 university and among the leading institutions in Florida. We are looking for motivated, talented, and hardworking applicants who have background and are interested in working on different aspects of Cryptographic Engineering with emphasis on:

- Cryptographic hardware systems

- Side-channel attacks, particularly fault and power analysis attacks

The required expertise includes:

- Masters (or Bachelors with outstanding background) in Computer Engineering or Electrical Engineering

- Solid background in digital design, VLSI, computer arithmetic, and ASIC/FPGA implementations

- Solid HDL expertise

- Outstanding English (if English tests are taken) to be eligible for department funding

- Motivation to work beyond the expectations from an average Ph.D. student and publish in top tier venues

Please closely observe the admission requirement details here before emailing:

http://www.usf.edu/engineering/cse/graduate/phd-program.aspx

Please send me your updated CV (including list of publications, language test marks, and references), transcripts for B.Sc. (and M.Sc.), and a statement of interest at usfcrypto2017 (at) gmail.com as soon as possible.

NOTE: At this time, I consider only the applicants who have already taken TOEFL/IELTS and GRE exams with excellent marks. The successful candidate will be asked to apply formally very soon to the USF CSE department, so all the material has to be already ready.

Closing date for applications: 20 April 2017

The position is connected to the project “Construction of optimal Boolen functions”. The prime objectives of this project are Boolean functions with optimal resistance to various cryptographic attacks (differential, linear, algebraic et al.) and their applications in discrete mathematics (such as commutative semifields, o-polynomials, difference sets, dual hyperovals, regular graphs, m-sequences, codes et al.).

For further information and for application for the position see the webpage:

https://www.jobbnorge.no/en/available-jobs/job/137029/phd-position-in-boolean-functions

Closing date for applications: 15 May 2017

Contact: Dr. Lilya Budaghyan lilya.budaghyan (at) uib.no

At the Quantum Cryptography Group, University of Tartu, we have two open postdoc positions on Verification of Quantum Cryptography.

We are starting a project in which we will develop methods for the verification of proofs in quantum cryptography. Similar to what the EasyCrypt tool does in classical cryptography. The scope of the project covers everything from the logical foundations, through the development of tools, to the verification of real quantum protocols.

The ideal candidate would have experience in:

• Semantics
• Theorem proving
• Verification of classical cryptography
• Quantum cryptography
• Quantum computation / communication

Of course, expertise in all those areas is very rare, so candidates who are strong in some of those areas and are interested in the others are encouraged to apply!

Please contact Dominique Unruh if you have more questions about the project, the required background, Estonia, the position itself, or the application process.

The salary range is 30000-36000 Euro per year (depending on experience), which is highly competitive in Estonia due to low costs of living and low income tax rate (20%), pension contributions and health insurance are covered by the employer.

The position is for three years, September 1, 2017 till August 31, 2020. The starting date and duration can be negotiated (in both directions).

For application instructions, see the link below.

Closing date for applications: 1 June 2017

Contact: Dominique Unruh
Professor of Information Security
Department of Computer Science
University of Tartu
unruh (at) ut.ee

More information: http://crypto.cs.ut.ee/Main/PostdocInVerificationOfQuantumCryptography