Stage Méthodes Formelles

Le stage s’inscrit dans le cadre d’activités de validation logicielle industrielles à l’aide du langage de modélisation HLL (HLL), un langage de programmation synchrone, déclaratif, à flots de données. Propriétaire durant de nombreuses années, HLL devrait bientôt disposer d’une spécification ouverte « standardisée » en consortium par...

Le stage s’inscrit dans le cadre d’activités de validation logicielle industrielles à l’aide du langage de modélisation HLL (HLL), un langage de programmation synchrone, déclaratif, à flots de données. Propriétaire durant de nombreuses années, HLL devrait bientôt disposer d’une spécification ouverte « standardisée » en consortium par...

Le stage s’inscrit dans le cadre d’activités de validation logicielle industrielles à l’aide du langage de modélisation HLL (HLL), un langage de programmation synchrone, déclaratif, à flots de données. Propriétaire durant de nombreuses années, HLL devrait bientôt disposer d’une spécification ouverte « standardisée » en consortium par...

Le stage s’inscrit dans le cadre d’activités de validation logicielle industrielles à l’aide du langage de modélisation HLL (HLL), un langage de programmation synchrone, déclaratif, à flots de données. Propriétaire durant de nombreuses années, HLL devrait bientôt disposer d’une spécification ouverte « standardisée » en consortium par...

Le stage s’inscrit dans le cadre d’activités de validation logicielle industrielles à l’aide du langage de modélisation HLL (HLL), un langage de programmation synchrone, déclaratif, à flots de données. Propriétaire durant de nombreuses années, HLL devrait bientôt disposer d’une spécification ouverte « standardisée » en consortium par...

Lors de votre stage, vous interviendrez sur le projet InfoCoursesPro qui est un système de gestion de contenus développé par RS2i destiné aux sociétés organisatrices de courses françaises de chevaux. Cette plateforme a pour objectif de diffuser aux opérateurs sur internet les informations leur permettant d’organiser la prise de paris sur les...

L'IKOS GROUP recherche un spécialiste pour rejoindre son équipe d'expertise en modélisation de langage formel. Ce poste est axé sur la création d'un parser pour HLL 4.0, un langage de programmation synchrone et déclaratif.Ce projet vise à développer un outil capable de traiter les modèles HLL avec une grande efficacité, ce qui nécessite une...

Les années 2000 ont permis au Groupe Smartbox de passer du stade de start-up française au stade d’ETI internationale, grâce à une forte croissance organique et externe. Dans un contexte concurrentiel plus mature, le groupe se donne pour ambition l’excellence opérationnelle, grâce à l’amélioration de son organisation et de ses processus...

Et si tu devenais chargé(e) de recrutement ?_ Tu cherches un métier passionnant pour ton stage final ? N’hésite pas et rejoins la belle aventure Aquantis ! **Au programme**: - Une culture forte et bienveillante. - Des valeurs définies ensemble : "Bienveillance, responsabilisation, entraide". - Une organisation en croissance, où tu seras...

Avec plus de 15 millions d’utilisateurs chaque mois (web, mobile, vidéo), 7 millions d'abonnés sur les réseaux sociaux et 80 millions de Vidéos Vues par mois, 20 Minutes s’est imposé dans le paysage médiatique français. En quelques années, elle est devenue la marque d’info et de divertissement préférée des Français. Suivi par 2,6 millions...

Dans le cadre d'un projet de recherche en optimisation appliquée, ce stage s’inscrit dans une démarche de résolution heuristique d’un problème de planification de la maintenance ferroviaire complexe. Le modèle développé intègre plusieurs contraintes logistiques et opérationnelles, telles que la disponibilité limitée des ressources dans...

**Business Data Analyst and reporting Fraud - H/F - Stage 6 mois.** Ce stage basé à LEVALLOIS PERRET est à pourvoir pour une durée de 6 mois. **Vos missions dans une équipe engagée**: Au sein de votre équipe, vous serez en charge: - d'adapter le reporting fraude en fonction des évolutions du marché (nouveaux produits, nouveaux types de fraude,) -...

Avec plus de 15 millions d’utilisateurs chaque mois (web, mobile, vidéo), 7 millions d'abonnés sur les réseaux sociaux et 80 millions de Vidéos Vues par mois, 20 Minutes s’est imposé dans le paysage médiatique français. En quelques années, elle est devenue la marque d’info et de divertissement préférée des Français. Suivi par 2,6...

À propos de l'entreprise : VINCI Facilities est une entreprise de premier plan dans le domaine des services de gestion des infrastructures et des bâtiments. Filiale du groupe VINCI, nous proposons des solutions sur mesure pour l'entretien, l'exploitation et l'optimisation d'établissements de sites tertiaires. VINCI Facilities IDF Tertiaire lance sa...

À propos de l'entreprise : VINCI Facilities est une entreprise de premier plan dans le domaine des services de gestion des infrastructures et des bâtiments. Filiale du groupe VINCI, nous proposons des solutions sur mesure pour l'entretien, l'exploitation et l'optimisation d'établissements de sites tertiaires. VINCI Facilities IDF Tertiaire lance sa...

Développeur de langage de programmationL'IKOS GROUP recherche un développeur passionné pour créer un parser pour le langage de programmation HLL 4. Ce poste s'inscrit dans le cadre d'activités de validation logicielle industrielle à l'aide du langage de modélisation HLL.Compétences requisesIngenieur ou Master 2 en...

Cabinet de Conseil 100% indépendant, orienté Organisation et Systèmes d’Information, principalement implanté dans le domaine de la Banque, de la Finance et de l’Assurance mais multi-sectoriel, Silverteam accompagne les acteurs du marché dans tout le cycle de vie de leurs projets ainsi que dans l’amélioration et l’optimisation de leurs...

**Intégration Sécurisée et Évolutive des Logiciels Embarqués dans les Systèmes Interactifs : Approche Formelle dans un Environnement Fog-Cloud**: - Réf **ABG-126151** - Sujet de Thèse- 07/10/2024- Autre financement privé- ESME Sudria- Lieu de travail- Ivry sur Seine et Vélizy - Ile-de-France - France- Intitulé du sujet- Intégration Sécurisée...

À propos de l'entreprise : VINCI Facilities est une entreprise de premier plan dans le domaine des services de gestion des infrastructures et des bâtiments. Filiale du groupe VINCI, nous proposons des solutions sur mesure pour l'entretien, l'exploitation et l'optimisation d'établissements de sites tertiaires. À propos du rôle : ...

À propos de l'entreprise : VINCI Facilities est une entreprise de premier plan dans le domaine des services de gestion des infrastructures et des bâtiments. Filiale du groupe VINCI, nous proposons des solutions sur mesure pour l'entretien, l'exploitation et l'optimisation d'établissements de sites tertiaires. À propos du rôle :...