Post-doctorat : monitoring formel de systèmes cyber-physiques H/F
Il y a 2 mois
Informations générales
Intitulé de l'offre : Post-doctorat : monitoring formel de systèmes cyber-physiques H/F
Référence : UMR7030-ETIAND-002
Nombre de Postes : 1
Lieu de travail : VILLETANEUSE
Date de publication : mercredi 21 février 2024
Type de contrat : CDD Scientifique
Durée du contrat : 12 mois
Date d'embauche prévue : 1 juin 2024
Quotité de travail : Temps complet
Rémunération : Base brut standard : comprise entre 2932,85 euros brut mensuel et 3371,38 euros brut mensuel pour une personne en CDD de moins de 2 ans d'expérience
Niveau d'études souhaité : Niveau 8 - (Doctorat)
Expérience souhaitée : Indifférent
Section(s) CN : Sciences de l'information : fondements de l'informatique, calculs, algorithmes, représentations, exploitations
Missions
Les systèmes cyber-physiques sont omniprésents dans nos sociétés (métros automatiques, smartphones, appareils médicaux…).
Ces systèmes doivent éviter toute erreur imprévue (bug) à même de menacer des vies, et une vérification aussi exhaustive que possible est souhaitable.
Pour les systèmes cyber-physiques pour lesquels une vérification formelle complète ne serait pas envisageable (en raison d'une explosion combinatoire, ou pour les systèmes en boîte noire pour lesquels aucun modèle n'est disponible, par exemple pour des raisons de confidentialité, ou pour les systèmes basés sur des IA non fiables), appliquer des techniques de vérification légère, telles que le monitoring, est une option très intéressante.
Un challenge est de formaliser des requêtes complexes telles que « le véhicule est toujours à une distance minimale des autres véhicules, avec la consommation énergétique maintenue sous un seuil prédéfini (où ce seuil n'est pas nécessairement connu a priori), sauf en cas de danger exceptionnel au plus une minute par heure » ; puis d'en détecter la violation sur d'énormes quantités de données.
Ceci implique d'être à même de définir des formalismes quantitatifs expressifs, ainsi que des algorithmes de vérification efficace.
Ce sujet de post-doctorat s'inscrit dans ce cadre, avec un versant tant théorique qu'algorithmique / implémentation.
Activités
- proposition de formalismes expressifs (logiques, automates) à même d'exprimer des valeurs quantitatives dans de multiples dimensions (temps, coûts, énergie,
- proposition d'algorithmes efficaces de monitoring
- implémentation
Compétences
Une expertise dans un ou plusieurs domaines suivants sera appréciée :
- monitoring
- model checking
- logiques temporelles
- automates temporisés
- automates temporisés paramétrés
Contexte de travail
Le post-doc se déroule au sein du LIPN (Université Sorbonne Paris Nord), au sein de l'équipe LoVe (Logique et Vérification), axe vérification.
L'équipe LoVe compte une vingtaine de membres permanents, et plusieurs doctorants, post-doctorants et ingénieurs de recherche.
Contraintes et risques
N/A
Informations complémentaires
Embauche possible à tout moment, et au plus tard en septembre 2024
-
Post-doctorat : Monitoring Formel de Systèmes
il y a 2 jours
Villetaneuse, France CNRS Temps pleinCette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : mercredi 13 mars 2024 **Informations générales**: **Intitulé de l'offre **:Post-doctorat : monitoring formel de systèmes cyber-physiques H/F** Référence : UMR7030-ETIAND-002 Nombre de Postes : 1 Lieu de travail : VILLETANEUSE Date de publication :...
-
CDD Post-doctorat
il y a 1 semaine
Villetaneuse, France CNRS Temps pleinInformations générales Intitulé de l'offre : CDD Post-doctorat : Mise en œuvre d’un procédé de découpe laser diamant et développement de procédés de polissage du diamant (H/F) Référence : UPR3407-JOCACH-011 Nombre de Postes : 1 Lieu de travail : VILLETANEUSE Date de publication : mercredi 5 juin 2024 Type de contrat : CDD Scientifique...
-
Villetaneuse, France CNRS Temps pleinInformations générales Intitulé de l'offre : Chercheur postdoctoral H/F en photonique moyen infrarouge et physique moléculaire expérimentale Référence : UMR7538-BENDAR-011 Nombre de Postes : 1 Lieu de travail : VILLETANEUSE Date de publication : mercredi 8 mai 2024 Type de contrat : CDD Scientifique Durée du contrat : 12 mois Date d'embauche...
-
Cdd Post-doctoral
il y a 5 jours
Villetaneuse, France CNRS Temps pleinCette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : lundi 3 juin 2024 **Informations générales**: **Intitulé de l'offre **:CDD post-doctoral (H/F) : élaboration par voie de chimie douce et mise en forme par frittage SPS de composites nanostructurés multifonctionnels** Référence :...
-
Offre de Thèse
Il y a 2 mois
Villetaneuse, France CNRS Temps pleinCette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : lundi 14 août 2023 **Informations générales**: **Intitulé de l'offre **:Offre de thèse (H/F) - Nature physique de la transition de phase "BEnding-to-STretching" dans les réseaux de fibres semi-flexibles : des metamatériaux au...
-
Post-doctoral Research Fellowship Opportunity on spin wave
il y a 4 semaines
Villetaneuse, France CNRS Temps pleinInformations générales Intitulé de l'offre : Post-doctoral Research Fellowship Opportunity on spin wave (H/F) Référence : UPR3407-MOHBEL-002 Nombre de Postes : 1 Lieu de travail : VILLETANEUSE Date de publication : mardi 21 mai 2024 Type de contrat : CDD Scientifique Durée du contrat : 12 mois Date d'embauche prévue : 1 octobre 2024 Quotité...
-
Post-doctoral Research Fellowship Opportunity on spin wave
il y a 1 semaine
Villetaneuse, France CNRS Temps pleinInformations générales Intitulé de l'offre : Post-doctoral Research Fellowship Opportunity on spin wave (H/F) Référence : UPR3407-MOHBEL-002 Nombre de Postes : 1 Lieu de travail : VILLETANEUSE Date de publication : mardi 21 mai 2024 Type de contrat : CDD Scientifique Durée du contrat : 12 mois Date d'embauche prévue : 1 octobre 2024 Quotité...
-
Post-doctoral Research Fellowship Opportunity On
il y a 4 semaines
Villetaneuse, France CNRS Temps pleinCette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : mardi 11 juin 2024 **Informations générales**: **Intitulé de l'offre **:Post-doctoral Research Fellowship Opportunity on spin wave (H/F)** Référence : UPR3407-MOHBEL-002 Nombre de Postes : 1 Lieu de travail : VILLETANEUSE Date de publication : mardi...
-
Chercheur Postdoctoral
il y a 1 semaine
Villetaneuse, France CNRS Temps pleinCette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : mercredi 29 mai 2024 **Informations générales**: **Intitulé de l'offre **:Chercheur postdoctoral H/F en photonique moyen infrarouge et physique moléculaire expérimentale** Référence : UMR7538-BENDAR-011 Nombre de Postes : 1 Lieu de travail :...
-
Thèse Sur Le model-checking Pour La Détection de
il y a 1 mois
Villetaneuse, France CNRS Temps pleinCette offre est disponible dans les langues suivantes: Date Limite Candidature : dimanche 1 octobre 2023 **Informations générales**: **Intitulé de l'offre **:Thèse sur le "Model-checking pour la détection de virus informatiques" (H/F)** Référence : UMR7030-TAYTOU-005 Nombre de Postes : 2 Lieu de travail : VILLETANEUSE Date de publication : lundi 3...
-
Chercheur postoctoral
il y a 2 semaines
Villetaneuse, France CNRS Temps pleinInformations générales Intitulé de l'offre : Chercheur postoctoral (H/F) en équations aux dérivées partielles dispersives Référence : UMR7539-GREGIN-001 Nombre de Postes : 1 Lieu de travail : VILLETANEUSE Date de publication : lundi 3 juin 2024 Type de contrat : CDD Scientifique Durée du contrat : 10 mois Date d'embauche prévue : 1 octobre...
-
Chercheur postoctoral
il y a 1 semaine
Villetaneuse, France CNRS Temps pleinInformations générales Intitulé de l'offre : Chercheur postoctoral (H/F) en équations aux dérivées partielles dispersives Référence : UMR7539-GREGIN-001 Nombre de Postes : 1 Lieu de travail : VILLETANEUSE Date de publication : lundi 3 juin 2024 Type de contrat : CDD Scientifique Durée du contrat : 10 mois Date d'embauche prévue : 1 octobre...
-
Modélisation Micromécanique Linéaire Et Non
il y a 1 mois
Villetaneuse, France Université Sorbonne Paris Nord Temps plein**Modélisation micromécanique linéaire et non linéaire des matériaux à textures co-continues**: - Réf - **ABG-111914** - Sujet de Thèse- 10/03/2023- Financement public/privé- Université Sorbonne Paris Nord- Lieu de travail- Villetaneuse - Ile-de-France - France- Intitulé du sujet- Modélisation micromécanique linéaire et non linéaire des...
-
Gestionnaire Administratif
il y a 1 mois
Villetaneuse, France Université Sorbonne Paris Nord Temps pleinL’Université Sorbonne Paris Nord (USPN) constitue un pôle majeur d’enseignement et de recherche situé au nord de Paris. Déployée sur un territoire à la dynamique incontestable qui accueillera l’un des plus grands événements au monde en 2024, les Jeux Olympiques. Elle compte cinq campus, répartis sur les deux départements de la...
-
Agent D'accueil
il y a 3 semaines
Villetaneuse, France Crous de Créteil Temps plein**Assistant d’accueil et de secrétariat H/F** **Crous de Créteil** **Catégorie : C** **Ouvert aux titulaires et contractuels (CDD/CDI)** **Poste : Vacant** **Poste à pourvoir des que possible** **Quotité : 100 %** **Indemnitaire : C2** **Localisation : Villetaneuse** **Environnement** Le Crous de l’académie de Créteil est un...
-
Assistant SAV
il y a 1 mois
Villetaneuse, France 1001 Intérims Temps pleinA la recherche d'un emploi en CDI, CDD ou en intérim ? Nos clients recherchent chaque année des milliers de profils dans les métiers du bâtiment, industrie, transport et services. Dans le cadre de son activité et de nouveaux projets, notre client recrute un ASSISTANT SAV (H/F) à Villetaneuse 93430. Fort de ses 16 ans d'expérience, le groupe Notre...
-
Villetaneuse, France CNRS Temps pleinInformations générales Intitulé de l'offre : Chargé·e de conception et de fabrication de composants et ensembles optiques (bac+3) (H/F) Référence : UMR7538-ANNAMY-014 Nombre de Postes : 1 Lieu de travail : VILLETANEUSE Date de publication : vendredi 17 mai 2024 Type de contrat : CDD Technique/Administratif Durée du contrat : 12 mois Date...
-
Villetaneuse, France CNRS Temps pleinInformations générales Intitulé de l'offre : Chargé·e de conception et de fabrication de composants et ensembles optiques (bac+3) (H/F) Référence : UMR7538-ANNAMY-014 Nombre de Postes : 1 Lieu de travail : VILLETANEUSE Date de publication : vendredi 17 mai 2024 Type de contrat : CDD Technique/Administratif Durée du contrat : 12 mois Date...
-
Manutentionnaire Polyvalent
il y a 1 mois
Villetaneuse, France ÇA BRADE Temps pleinDescription de poste Titre du poste: (H/F) Aperçu du poste: Responsabilités: - Utiliser un chariot pour déplacer les produits dans l'entrepôt - Effectuer le chargement, déchargement et le stockage des produits conformément aux procédures établies - Préparer les commandes en suivant les instructions fournies - Assurer la propreté et...
-
Manutentionnaire Polyvalent
il y a 5 jours
Villetaneuse, France ÇA BRADE Temps pleinDescription de poste Titre du poste: (H/F) Aperçu du poste: Responsabilités: - Utiliser un chariot pour déplacer les produits dans l'entrepôt - Effectuer le chargement, déchargement et le stockage des produits conformément aux procédures établies - Préparer les commandes en suivant les instructions fournies - Assurer la propreté et...
