Welcome to the Quantitative Automated Verification And Synthesis (QAVAS) Research Group.
Led by Professor Marta Kwiatkowska, QAVAS forms part of the Verification research theme in Department of Computer Science at the University of Oxford.
Our research is concerned with developing modelling and automated verification techniques that can guarantee the stable, safe, secure, timely, reliable and resource-efficient operation of computing systems.
QAVAS Research
Our research can be split into several key themes.
QAVAS Projects
We are pleased to have research funded by the ERC and EPSRC.
QAVAS People
QAVAS is a research group comprised of Post Doctoral Researchers, Research Associates and DPhil Students led by Professor Marta Kwiatkowska.
Opportunities
Research Opportunities with QAVAS
We are seeking exceptional Research Associates interested in formulating theories, models and algorithms for probabilistic verification and synthesis to enable robust AI.
If this is you, and you hold a PhD in computer science, mathematics or related discipline, we would love to hear from you.
Doctoral Study in Computer Science
We welcome applications for doctoral study and postdoctoral visitors in areas relevant to our research interests.
Possible research topics are described here, but we are also happy to consider students’ own proposals.
If you are interested in a D.Phil. position (this is what PhD is called at Oxford) we want to hear from you.
Please contact Marta (marta.kwiatkowska@cs.ox.ac.uk) or Anita (anita.hancox@ox.ac.ox.uk) to learn more about Research or D.Phil opportunities with QAVAS.
