Enseignement supérieur, séminaire, bourses d'études
 
AccueilPortailCalendrierFAQRechercherMembresGroupesS'enregistrerConnexionGagner de l'argentRéussir ses étudesBourse d'étudesOffres de Stage
Derniers sujets
» Bourse MBA Rainbow Bridge pour les femmes africaines et asiatiques, France
Dim 1 Oct - 19:59 par Admin

» Citation du jour : L'esprit, c'est comme un parachute
Jeu 15 Juin - 23:52 par Admin

» Citation du jour : innocence
Jeu 15 Juin - 23:47 par Admin

» Citation du jour : derange
Jeu 15 Juin - 23:43 par Admin

» Citation du jour : rire
Jeu 15 Juin - 23:40 par Admin

» Citation du jour : maths
Dim 11 Juin - 21:23 par Admin

» Citation du jour : faché
Dim 11 Juin - 21:18 par Admin

» Citation du jour : les tricheurs
Ven 9 Juin - 21:44 par Admin

» Citation du jour : anti triche
Ven 9 Juin - 21:12 par Admin


Poster un nouveau sujet   Répondre au sujet
Partagez | 
 

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

Voir le sujet précédent Voir le sujet suivant Aller en bas 
AuteurMessage
Admin
Admin



MessageSujet: PhD stagiaire en informatique Vérification des Systèmes Cyber-physiques   Mer 24 Avr - 14:15

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/
Revenir en haut Aller en bas
Voir le profil de l'utilisateur http://www.reussiravecvous.com
 
PhD stagiaire en informatique Vérification des Systèmes Cyber-physiques
Voir le sujet précédent Voir le sujet suivant Revenir en haut 
Page 1 sur 1
 Sujets similaires
-
» Le Monde : "Le prof, clé de voûte des meilleurs systèmes"
» Contestation d'affectation pour stagiaire
» [informatique]J'ai fait une mauvaise manip'
» que faire en salle informatique avec des 5ème ?
» Recherche stagiaire pour reportage M6

Permission de ce forum:Vous pouvez répondre aux sujets dans ce forum
 :: Réussir ses études :: Bourse d'étude et offres de formation-
Poster un nouveau sujet   Répondre au sujetSauter vers: