2 entièrement financé d.Phil bourses sont offertes par le groupe de recherche de vérification à l'Université d'Oxford, à tous les étudiants du département de Science informatique. Une bourse d'études s'adresse aux étudiants « maison » et l'autre pour les étudiants étrangers. Le prix comprend la fourniture pour certains fonds de voyage. Le projet sera financé pour 3 ans. Il couvrira les fondements théoriques et la mise en œuvre d'outils logiciels de prototype. Le projet couvre également un large éventail de sujets tels que hadoop, réduction de mappage, distribué de cohérence et bien d'autres. Les candidats retenus travaillera avec une équipe de première classe.
Les étudiants s'appliquant sont tenus de soumettre une déclaration claire comment ils contribueraient à ce projet. Il attendra d'eux pour voir l'excellence académique et de la recommandation de l'organisation proposée pour inscription et de la tête o le département où l'étudiant est diplômé. Elles doivent montrer fort génie appliqué et des compétences théoriques. Le demandeur doivent aussi avoir la bonne écriture, présentation, capacités de communication organisation ad. Other than that, les boursiers potentiels doivent satisfaire aux exigences habituelles pour étudier une thèse de doctorat à Oxford. Le groupe de recherche de vérification sera également exigée CV, le relevé de notes et une lettre de motivation afin de rendre la décision finale.