The Verification Research Group - Doctoral Studentships in Verification

Descrizione generale

2 completamente finanziato DPhil borse di studio sono offerti dal gruppo di ricerca verifica presso l'Università di Oxford, a tutti gli studenti del dipartimento di informatica. Una borsa di studio è mirato per studenti "casa" e l'altro per studenti stranieri. Il premio comprende l'accantonamento per alcuni fondi di viaggio. Il progetto verrà finanziato per 3 anni. Riguarderà sia i fondamenti teorici e l'implementazione di strumenti software prototipo. Il progetto comprende anche una vasta gamma di argomenti come hadoop, mappa-ridurre, distribuito coerenza e molti altri. I candidati saranno lavorare con un team di prima classe.

Requisiti

Applicando gli studenti sono tenuti a presentare una dichiarazione chiara come contribuiscono al progetto. Sarà previsto da loro per eccellenza accademica Visualizza e raccomandazione dell'organizzazione nominato e la testa o il reparto dove si è laureato lo studente. Devono mostrare forte ingegneria applicata e competenze teoriche. La ricorrente inoltre sono tenuti ad avere buona scrittura, presentazione, capacità di comunicazione ad organizzazione. Oltre a questo, i potenziali titolari di borsa di studio devono soddisfare i requisiti usuali per studiare per un dottorato a Oxford. Il gruppo di ricerca di verifica verrà anche richiesto CV, trascrizione di record e una lettera motivazionale al fine di prendere la decisione finale.