2013/14 Bourse de doctorat en informatique à l’Université de Newcastle au Royaume-Uni

Si vous avez des questions au sujet de cette aide se pose, s'il vous plaît visitez la source officielle et posez vos questions directement au centre.

Newcastle University offre bourse de doctorat en informatique Science – vérification des systèmes de cyber-physique au Royaume-Uni. UK/EU ou étudiants étrangers peuvent demander ces bourses. Déposant doit avoir soit une première classe baccalauréat spécialisé en informatique, mathématiques ou autres scientifiques pertinentes ou génie objet ou une classe supérieure-deuxième honore en informatique, mathématiques ou autres sciences pertinentes ou sujet ingénierie et une distinction niveau maîtrise dans une discipline connexe. La bourse couvrira les frais d’allocation de formation et d’enseignement au niveau international ou de UK/EU. L’allocation est de 14 790 £ (2013/14) par an. La date limite est le 30 août 2013… Ce projet combinera et développer des techniques basées sur des simulations (vérification de modèle statistique) et systèmes hybrides décision procédures pour activer la vérification des systèmes de cyber-physique complexes et réalistes. En particulier, nous allons développer un concolic (combiné concret et symbolique) framework pour compléter et étendre les points forts des techniques statistiques et numériques, conduisant à de nouvelles approches pour la vérification de systèmes de cyber-physique de tests. Ce projet est un effort de collaboration entre l’Université Carnegie Mellon, Université de Newcastle et Smart Technologies de flux d’informations. Le chercheur Principal est professeur Edmund M. Clarke (Carnegie Mellon). Le chercheur principal du projet à Newcastle est Dr Paolo Zuliani…  Bourses d’études sont disponibles pour la poursuite de diplôme de doctorat à l’Université de Newcastle au Royaume-Uni.

les domaines de la recherche de cette bourse sont : non fourni

qui est admissible à cette bourse ?

· Déposant doit avoir soit une première ·

classe honore diplôme en informatique, mathématiques ou autres sciences pertinentes ou génie sujet un ·

supérieur deuxième

· classe honore en informatique, mathématiques ou autres sciences pertinentes ou le sujet de génie et une distinction niveau maîtrise dans une discipline connexe.

· Le demandeur devrait également avoir connaissance des techniques de vérification automatisée et outils tels que le model checking, solveurs SAT/SMT, interprétation abstraite, etc..

avantages de la bourse : le prix couvrira les frais de l’allocation de formation et d’enseignement au UK/EU ou au niveau international. L’allocation est de 14 790 £ (2013/14) par an.

plus d’informations sur la bourse :

Durée : non fourni

nombre de bourses : non fourni

Bourses connexes