PhD stagiaire en informatique Vérification des Systèmes Cyber-physiques

Code de référence: CS040

Date de clôture: 31 mai 2013

Détails:

Nom du superviseur
Dr. Paolo Zuliani

Sponsor
École d'informatique

Durée du prix
trois années

Description du projet
Ce projet permettra de combiner et étendre les techniques basées sur la simulation statistique (model checking) et les procédures de prise de systèmes hybrides pour permettre la vérification des systèmes cyber-physiques complexes et réalistes. En particulier, nous allons développer un framework de test (concrète et symbolique combiné) concolique pour compléter et étendre les forces des techniques statistiques et numériques, conduisant à de nouvelles approches pour la vérification des systèmes cyber-physiques.
Ce projet est un effort de collaboration entre l'Université de Carnegie Mellon , Université de Newcastle, et les informations SMART Flow Technologies. Le chercheur principal est le professeur Edmund M. Clarke (Carnegie Mellon). L'enquêteur du projet à Newcastle est le Dr Paolo Zuliani.

Valeur de la bourse
La bourse couvrira les frais les allocations et les frais de scolarité au niveau UK / EU ou international. L'allocation est 14.790 £ (2012/13) par an.

Personne Spécification
Vous devez avoir soit un diplôme de premier classe spécialisé en informatique, en mathématiques, ou d'autres données scientifiques pertinentes ou sciences de l'ingénieur, ou d'un ou de 2,1 en sciences informatiques, les mathématiques ou d'autres sciences ou en génie sujet pertinent et d'un niveau master de distinction dans un domaine connexe sujet. Vous devez avoir connaissance des techniques de vérification automatisés et des outils tels que le model checking, SAT / solveurs SMT, interprétation abstraite, etc

Comment faire une demande
Vous devez présenter une demande en ligne par l'Université formulaire de demande de troisième cycle insertion de la référence CS040 et en sélectionnant «PhD Informatique ', avec le code programme 8050F , que le programme d'études. Les champs obligatoires doivent être remplis et une lettre de motivation, CV et (si l'anglais n'est pas votre langue maternelle) une copie de vos compétences linguistiques anglais doit être jointe. La lettre d'accompagnement doit indiquer le titre de la bourse d'études, le numéro de référence CS040 et décrire comment vous répondez aux exigences du cahier des personne (max. 2 pages). Si vous avez déjà publié des articles de recherche une liste de références bibliographiques doivent être inclus dans la lettre d'accompagnement.

Vous devez également envoyer votre lettre de motivation et CV par e-mail à Dr Zuliani à paolo.zuliani @ ncl.ac.uk et le Secrétaire d'études supérieures à cs.pg @ ncl.ac.uk

Informations complémentaires
Pour plus de détails, veuillez communiquer avec le Dr Paolo Zuliani (Maître de conférences)
E-mail: paolo.zuliani @ ncl.ac.uk
Téléphone: 0191 222 8064
Site Web: https://sites.google.com/site/zupaolo/