- Accueil France Travail
- Emploi
- Enseignement et formation
- Professeur des écoles
- Haute-Garonne
- Toulouse
- Détail de l'offre 9218977
Doctorante / doctorant en informatique (H/F) 31 - TOULOUSE
Offre n° 9218977
Doctorante / doctorant en informatique (H/F)
31 - TOULOUSE - Localiser avec Mappy
Publié le 19 juin 2024
L'objectif de cette thèse est de contribuer à la vérification formelle des propriétés graphiques sur les langages réactifs en développant une approche déductive reposant sur le calcul des plus faibles préconditions. Cet objectif est original car d'une part l'approche vise à adapter aux langages réactifs une approche de vérification formelle qui est classique dans le domaine des langages impératifs, mais peu développée pour les langages réactifs ; et d'autre part elle cherche à vérifier formellement des propriétés relatives à l'interface homme-machine, particulièrement les propriétés dites « graphiques » (impliquant l'affichage et la perception des caractéristiques des objets graphiques telles que le positionnement, la forme, la visibilité, la couleur etc.). - Connaissances de base en vérification formelles (par exemple : model checking, preuve, interprétation abstraite.) - Connaissance de base en conception et réalisation d'interface Homme-Machine (scène graphique, propriétés graphiques, programmation réactive) - Capacité en développement de logiciel
- Type de contrat
-
Contrat à durée déterminée - 36 Mois
Contrat travail
Profil souhaité
Expérience
- Débutant accepté
Langue
- Français
Informations complémentaires
- Secteur d'activité : Activités des agences de placement de main-d'œuvre
Entreprise
ENAC
Créée il y a 70 ans, l'ENAC, École Nationale de l'Aviation Civile, est la plus importante des Grandes Écoles ou universités aéronautiques en Europe. Elle assure la formation initiale et le perfectionnement des cadres et des principaux acteurs de l'aviation civile : ingénierie, navigation aérienne, pilotage, gestion aéroportuaire, recherche, expertises, développement à l'international. L'ENAC est un établissement public à caractère scientifique, culturel et professionnel...
D'autres offres peuvent vous intéresser :
(déjà vu)
Enseignant spécialisé (H/F)
PORTES DE GARONNE - 31 - Muret
Présentation Etablissement : L'établissement Portes de Garonne est un établissement médico-social qui accueille des enfants, adolescents et jeunes majeurs de 0 à 20 ans présentant des troubles neuro...
CDD - Temps plein
Publié il y a 3 jours
CDD
Temps plein(déjà vu)
Professeur des écoles classe CM - 14h/semaine (H/F)
ECOLE LA DECOUVERTE - 31 - CASTANET TOLOSAN
L'école La Découverte est une petite structure qui accueille entre 26 et 30 enfants avec deux groupes distincts : - le groupe des 3-6 ans qui bénéficie de la pédagogie Montessori ; - le...
CDI - Temps partiel
Publié il y a 8 jours
CDI
Temps partiel(déjà vu)
Enseignant anglophone (H/F)
KALEIDOSCOPE ECOLE BILINGUE - 31 - PLAISANCE DU TOUCH
Nous souhaitons recruter des enseignants(es) enthousiastes et très motivés(e) pour nos clubs d'immersion en anglais du mercredi et des vacances scolaires à Plaisance (31 -...
CDI - Temps partiel
Publié il y a 12 jours
CDI
Temps partiel(déjà vu)
ENSEIGNANT(E) EN CLASSE PRIMAIRE (H/F)
31 - TOULOUSE
Ecole élémentaire basée sur des pédagogies alternatives recherche un.e enseignant.e pour le cycle 3 (CM1/CM2) en double niveau ( 16/18 élèves). Il/elle devra : - Concevoir et mettre en œuvre son...
CDI - Temps plein
Publié il y a 17 jours
CDI
Temps plein(déjà vu)
ENSEIGNANT/ENSEIGNANTE EN CLASSE MATERNELLE (H/F)
31 - TOULOUSE
Ecole maternelle basée sur des pédagogies alternatives recherche un.e enseignant.e pour le cycle 1 (PS/MS) en double niveau ( 15 élèves). Travaille en binôme avec une AED. Il/elle devra : - Concevoir...
CDI - Temps partiel
Publié il y a 17 jours
CDI
Temps partiel(déjà vu)
Enseignant H/F (H/F)
ANRAS DITEP ST FRANCOIS - 31 - TOULOUSE
MISSIONS PRINCIPALES : Sous la responsabilité fonctionnelle de la Directrice d'Etablissement, vous aurez les missions suivantes : - Enseigner dans le contexte particulier d'un DITEP, accueillir...
CDD - Temps plein
Publié il y a 10 jours
CDD
Temps plein(déjà vu)
Professeur / Professeure des écoles (H/F)
FEDERATION CALANDRETAS MIDI-PYRENEES - 31 - Villefranche-de-Lauragais
La Fédération Calandreta recrute un enseignant / une enseignante à quart temps, pour l'école Calandreta del Lauragués, école privée laïque bilingue occitan/français sous contrat d'association avec...
CDD - Temps partiel
Publié il y a 25 jours
CDD
Temps partiel(déjà vu)
Intervenants - BTS GPME (F/H) (H/F)
IFAG TOULOUSE - 31 - BALMA
L'IFAG, école de management installée dans 27 campus, forme les créateurs et repreneurs d'entreprises ainsi que tous ceux qui souhaitent occuper une fonction de direction. L'IFAG rassemble 2 500...
Profession libérale - Non renseigné
Publié il y a 2 jours
Profession libérale
Non renseigné(déjà vu)
Ingénieur physique de la mesure optique - (f/h) (H/F)
31 - TOULOUSE
Au sein de la sous-direction « Techniques et Performances des instruments », le service « Physique de la Mesure Optique » a pour rôle de garantir la qualité radiométrique des produits d'imagerie...
CDI - Non renseigné
Publié il y a 3 jours
CDI
Non renseigné(déjà vu)
Chargé d'enseignement en Automatique F/H - Formation initiale et continue (H/F)
Ecole supérieure d'ingénierie informatique - 31 - TOULOUSE
Descriptif du poste: Titulaire d'un doctorat et/ou d'un BAC+5, vous aimez transmettre vos connaissances acquises dans le milieu industriel et/ou universitaire. Vous êtes passionné(e) par le domaine...
CDI - Non renseigné
Publié il y a 2 jours
CDI
Non renseigné
Découvrez d'autres services web
Réussir son CV et sa lettre de motivation
Suscitez l’intérêt du recruteur et donnez-lui envie de vous rencontrer.
B.A.BA Entretien
Apprenez à préparer votre prochain entretien.
Informations sur le marché du travail
Accédez aux informations et statistiques sur ce métier.
Simulateurs d'aides et allocations en cas de reprise d'emploi
Estimez vos futures ressources financières sur les 6 prochains mois.
- Voir plus de services (Emploi store)