Información general sobre esta subvencion
Descripción general
2 financiado íntegramente por el grupo de investigación de verificación de la Universidad de Oxford a todos los estudiantes del Departamento de Ciencias de la computación se ofrecen becas de doctorado. Una beca se dirige a los estudiantes "hogar" y el otro para estudiantes extranjeros. El premio incluye la provisión de algunos fondos de viajes. El proyecto será financiado por 3 años. Cubrirá los fundamentos teóricos y la aplicación de herramientas de software prototipo. El proyecto también abarca una amplia gama de temas tales como hadoop, mapa-reducir, distribuido consistencia y muchos otros. Los candidatos se trabajará con un equipo de primera clase.
Requisitos
Los estudiantes aplican están obligados a presentar una declaración clara cómo contribuirían al proyecto. Se espera de ellos para mostrar excelencia académica y la recomendación de la organización designada y la cabeza o el departamento donde el estudiante graduado. Deben demostrar habilidades teóricas y fuerte ingeniería aplicada. El solicitante también están obligados a tener buena redacción, presentación, habilidades de comunicación organización ad. Aparte de eso, los potenciales becarios deberán cumplir los requisitos habituales para estudiar para un doctorado en Oxford. El grupo de investigación de verificación será también necesario CV, transcripción de los registros y una carta de motivación para tomar la decisión final.