Industrial Ph.D

Tallinn / Tartu / Estonia / Remote

Join our research team

The R&D team of Guardtime in Tallinn, Estonia, in cooperation with the Tallinn University of Technology invites applications for an industrial Ph.D. position in Formal Methods for Cryptography.

We offer two possible projects for the candidate to choose from. The first project involves the definitions, constructions, and security proofs of cryptographic timestamping services. The second project is related to the design, implementation, and formal analysis of server- assisted digital signatures.

The position is for four years of research. The candidate will have an opportunity to closely collaborate with research groups of Tallinn University of Technology and Tartu University.

The candidate should have an M.Sc. degree in computer science or mathematics and be excited about implementing verified cryptographic protocols. Some background and strong interest in at least two of the following areas is desired: programming, cryptography, formal verification, program analysis, and protocol design.

The salary range is 24000-30000 Euro per year, which is very competitive for Estonia.

To apply, please send the following documents to [email protected]:

  • Motivation letter
  • Curriculum vitae
  • Letter of reference
  • Copy of M.Sc. degree certificate (if already available)
Please contact Denis Firsov ([email protected]) if you have more questions about the projects, the required background, Tallinn, Estonia, or the position itself. We can also provide mode detailed descriptions of the research projects.

We encourage candidates to apply as soon as possible.