fr

Doctorant en informatique avec un accent sur l'analyse formelle des programmes pour le matériel sécurisé et les périphériques embarqués

Doctorant en informatique avec un accent sur l'analyse formelle des programmes pour le matériel sécurisé et les périphériques embarqués

Suède 01 mai 2021
Université d'Umea

Université d'Umea

Université étatique, Parcourir ses opportunités similaires

DÉTAILS OPPORTUNITÉ

Récompense totale
0 $
Université étatique
Région
Pays hôte
Date limite
01 mai 2021
Niveau d'études
Type d'opportunité
Spécialités
Financement d'opportunité
Non financé
Pays éligibles
Cette opportunité est destiné à tous les pays
Région éligible
Toutes les régions

L'Université d'Umeå, le Département des sciences informatiques (www.cs.umu.se), est à la recherche d'un doctorant en informatique avec un accent sur l'analyse formelle des programmes pour le matériel sécurisé et les périphériques embarqués. Le Département des sciences informatiques est un environnement dynamique avec environ 130 employés de plus de 20 pays à travers le monde. La date limite de candidature est le 1er mai 2021.

Le groupe de génie logiciel automatisé (ASE) a un large éventail d'intérêts de recherche, allant du développement des nouvelles mathématiques du comportement de calcul des systèmes logiciels à tous les aspects de la logique en passant par l'étude et le développement de méthodes de conception et de vérification de systèmes. Le groupe a une force particulière dans l'automatisation du raisonnement pour construire formellement des systèmes logiciels fiables et vérifiés afin d'assurer la confidentialité, l'intégrité et la disponibilité. Les membres de l'ASE ont une réputation de leader mondial dans la logique informatique et la vérification, en particulier dans la vérification logicielle et le raisonnement automatisé. D'autres domaines d'intérêt incluent la vérification d'exécution, la synthèse de programmes, les tests de logiciels, les systèmes cyber-physiques et la sécurité. ASE développe deux outils de vérification et de test de logiciels primés, dont ESBMC et JBMC, qui ont régulièrement remporté des concours internationaux de vérification et de test de logiciels au cours des dix dernières années. Le groupe a apporté des contributions significatives à la vérification logicielle et au raisonnement automatisé: théorie et techniques de mise en œuvre. L'ASE a également des liens étroits avec l'industrie, notamment des collaborations avec ARM, AWS, Intel et Nokia.

GUÊPE

Le projet fait partie du Wallenberg AI, Autonomous Systems and Software Program (WASP), le plus grand programme de recherche individuelle de Suède jamais réalisé, une initiative nationale majeure pour la recherche fondamentale, l'éducation et le recrutement de professeurs à motivation stratégique. Le programme aborde la recherche sur l'intelligence artificielle et les systèmes autonomes agissant en collaboration avec les humains, s'adaptant à leur environnement grâce à des capteurs, des informations et des connaissances, et formant des systèmes de systèmes intelligents. Le logiciel est le principal catalyseur de ces systèmes et constitue un thème de recherche intégré du programme.

La vision de WASP est une excellente recherche et compétence en intelligence artificielle, systèmes autonomes et logiciels au profit de l'industrie suédoise. »

Pour en savoir plus: https://wasp-sweden.org/

L'école d'études supérieures au sein de WASP fournit des bases, des perspectives et des connaissances de pointe dans les différentes disciplines enseignées par des chercheurs de premier plan dans le domaine. Grâce à un programme ambitieux avec des visites de recherche, des universités partenaires et des conférenciers invités, l'école doctorale soutient activement la formation d'un solide réseau professionnel multidisciplinaire et international entre les doctorants, les chercheurs et l'industrie. Il offre ainsi une valeur ajoutée en plus des programmes de doctorat existants dans les universités partenaires, offrant des opportunités uniques aux étudiants qui se consacrent à atteindre l'excellence de la recherche internationale avec une pertinence industrielle.

Description du projet

Le projet mène des recherches dans le domaine de la vérification des modèles logiciels, des tests automatisés, de la synthèse de programmes, des systèmes embarqués et cyber-physiques et de la sécurité.

Conditions d'admission

Les conditions générales d'admission pour les études doctorales sont un diplôme de deuxième cycle ou des exigences de cours complètes d'au moins 240 crédits ECTS, dont au moins 60 crédits ECTS sont au niveau du deuxième cycle, ou ont une formation équivalente à l'étranger, ou équivalent qualifications. Pour remplir les conditions d'entrée spécifiques aux études de doctorat en informatique, le candidat doit avoir complété au moins 90 crédits ECTS en informatique ou dans une matière considérée comme directement pertinente pour la spécialisation en question. Les candidats qui ont par ailleurs acquis des compétences jugées équivalentes sont également éligibles.

Les candidats doivent avoir de très bonnes connaissances dans au moins l'un des domaines suivants:

Les qualités personnelles importantes sont:

Autres qualifications souhaitables:

Termes d'emploi

Le poste est destiné aux études de doctorat et à la recherche pendant un équivalent de quatre ans à temps plein, menant à un examen de doctorat. Il est principalement consacré aux études de troisième cycle (au moins 80% du temps), mais peut inclure jusqu'à 20% de service départemental (généralement l'enseignement). Si tel est le cas, la durée totale du poste est prolongée en conséquence (jusqu'à cinq ans au maximum). La date de début prévue est le 1er juin 2021 ou comme convenu autrement.

La procédure de recrutement pour le poste est conforme à l'ordonnance sur l'enseignement supérieur (chapitre 12, 2§) et la décision concernant le poste est sans appel.

Application

Les candidatures doivent être soumises par voie électronique en utilisant le système de recrutement électronique de l'Université d'Umeå.

Une demande complète doit contenir les documents suivants:

La demande doit être rédigée en anglais ou en suédois. Les documents joints doivent être au format Word ou pdf. Les candidatures doivent être soumises par voie électronique en utilisant le système de recrutement électronique de l'Université d'Umeå et être reçues au plus tard le 1er mai 2021.

Le Département d'informatique valorise les qualités qu'une répartition homogène des sexes apporte au département, et c'est pourquoi nous encourageons particulièrement les femmes à postuler pour le poste.

Nous avons hâte de recevoir votre candidature!

Admission

20-06-01

Numéro d'enregistrement

AN 2.2.1-194-21

Un salaire

Månadslön

représentant syndical

SACO 090-786 53 65

SEKO 090-786 52 96

ST 090-786 54 31

Autres organisations


Choisissez votre destination d'études


Choisissez le pays que vous souhaitez le visiter pour étudier gratuitement, travailler ou faire du bénévolat

Vous trouverez aussi