At present
Jesus College

Associate Professor of Computer Science, University of Oxford, since 2014.
Tutorial Fellow, Jesus College, since 2017.

European Research Council Starting Grant (ERC StG) PowAlgDO, 2017-2021.
Royal Society Research Fellowship (URF), 2013-2018.

   The Royal Society   
  2013 - 2017  
Oxford

Associate Professor of Computer Science, University of Oxford, since 2014.
Research Lecturer in Computer Science, University of Oxford, 2013-2017.

Fellow and Tutor, Keble College, 2016-2017.
Research Fellow and Tutor, Keble College, 2014-2016.
Special Supernumerary Fellow, University College, 2013-2014.

Visiting Scientist, Simons Institute, UC Berkeley, 2016.
Royal Society Research Grant, 2014-2017.
EPSRC Grant, 2014-2017.

   The Royal Society   
  2012 - 2013 
University of Warwick

SRF (Senior Research Fellow) in Advances in Discrete Mathematics and its Applications, Department of Computer Science, University of Warwick.

Member of the Foundations of Computer Science Research Group and DIMAP.

   DIMAP   
 2009 - 2012 
Univ

JRF (Stipendiary Junior Research Fellow) in Mathematical and Physical Sciences, University College, University of Oxford.

Stipendiary Lecturer in Computing, Balliol College, 2010-2012.
Researcher, Microsoft Research Cambridge, summer 2010.
EPSRC PhD Doctoral Prize/PhD+, University of Oxford, 2009-2010.

   MS Research

EPSRC

  
 2006 - 2009 
The Royal Society

D.Phil. (Ph.D. equivalent) in Computer Science, Department of Computer Science and Keble College, University of Oxford.

ACP (Association for Constraint Programming) doctoral research award.
Funded by the Engineering and Physical Sciences Research Council.
Non-stipendiary Lecturer in Computing, Hertford College, 2008-2009.

   Oxford   
 2005 - 2006 
Charles University
RNDr. (Rerum Naturalium Doctor, M.Phil. equivalent), Department of Theoretical Computer Science and Mathematical Logic, Charles University.

Department of Mathematics, University of Turku, spring 2006.

   University of Turku   
 2004 - 2005 
    VU M.Sc. cum laude in Computer Science, Faculty of Sciences, VU University in Amsterdam.

 1999 - 2005 
MFF

Mgr. (Magister, B.Sc.+M.Sc. equivalent) summa cum laude in Theoretical Computer Science, Faculty of Mathematics and Physics, Charles University.