Stage Méthodes Formelles
il y a 7 jours
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 tous les acteurs majeurs du langage. En outre, les outils de model checking pour HLL actuellement utilisés par le client sont tous des outils propriétaires, basés sur la résolution du problème de satisfiabilité booléenne (sat solver) , alors que l’utilisation massive d’arithmétique dans les modèles HLL industriels du client pose la question de la pertinence de l’utilisation de moteurs de preuve basés sur des problèmes de satisfiabilité modulo des théories (SMT).
L’objectif du stage :
- Produire un parser pour HLL 4.0 pouvant être réutilisé en interne par le client pour diverses applications futures et éventuellement proposé en open source afin que toute la communauté des utilisateurs d’HLL puisse en profiter.
- Comparer les performances des outils propriétaires utilisés actuellement par le client avec celles d’une approche basée sur des solveurs SMT open source. Pour ce faire, il s’agira de développer un moteur de preuve dont le coeur serait la transformation de tout modèle HLL en un ensemble de formules exprimées en une logique compatible avec SMT-LIB (smt-lib), afin de pouvoir être traité par tout solveur SMT supportant ce standard.
Compétences recherchées :
• Ingénieur ou Master 2 en informatique
• Connaissance des bases en méthodes formelles : logique, model checking, sémantique des langages de programmation et systèmes de typage.
• A de bonne connaissance théorique et pratique des langages (écrire un parser/ traiter un arbre syntaxique, notions de typage)
• Est familier avec un langage fonctionnel (ocaml) serait idéal)
• Connait éventuellement un langage synchrone/ a flux de données : (Lustre) par exemple
-
Stage Méthodes Formelles
il y a 3 jours
Levallois-Perret, France IKOS GROUP Temps pleinLe 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...
-
Stage Méthodes Formelles
il y a 5 jours
Levallois-Perret, France IKOS GROUP Temps pleinLe 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...
-
Stage Méthodes Formelles
il y a 1 mois
Levallois-Perret, France Ikos Temps pleinLe 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...
-
Stage Méthodes Formelles
il y a 5 jours
Levallois-Perret, Hauts-de-Seine, France IKOS GROUP Temps pleinLe 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...
-
Stage Méthodes Formelles
il y a 5 jours
Levallois-Perret, Hauts-de-Seine, France IKOS GROUP Temps pleinLe 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...
-
Spécialiste en Modélisation de Langage Formal
il y a 5 jours
Levallois-Perret, Île-de-France IKOS GROUP Temps pleinL'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...
-
Stage - Business Controller
il y a 1 semaine
Levallois-Perret, France Smartbox Group Temps pleinLes 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...
-
Stage - Charge(E) de Recrutement
Il y a 7 mois
Levallois-Perret, France AQUANTIS Temps pleinEt 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...
-
Stage en Recherche Opérationnelle
il y a 1 mois
Levallois-Perret, France Ikos Temps pleinDans 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...
-
Stage 6 Mois
Il y a 7 mois
Levallois-Perret, France BNP Paribas Temps plein**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,) -...
-
Spécialiste en programmation industrielle HLL
il y a 5 jours
Levallois-Perret, Île-de-France IKOS GROUP Temps pleinDé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...
-
Stage ou Alternance
il y a 1 semaine
Levallois-Perret, France Tomcat Factory Temps plein**L’écosystème Tomcat** **TOMCAT INVEST** soutient et s’engage dans l’accompagnement de **startups spécialisées en BtoB et BtoBtoC** qui auront passé avec succès le programme d’accélération de la TOMCAT FACTORY L’objectif est d’investir dans 6 à 10 projets par an, du pré-SEED à la série B via des **investissements de 500K€ à...
-
Stage - Assistant(E) Formation (H/F) - 6 Mois
il y a 3 semaines
Levallois-Perret, France BNP Paribas Temps plein**Votre rôle au quotidien** Rattaché(e) au département Risk de BNP Paribas Personal Finance (BNPP PF), vous rejoindrez le service RISK Chief Operating Office constitué d'une quinzaine de collaborateurs, basés à Levallois-Perret, Mérignac et le Portugal. Dans le cadre de votre stage, vous travaillerez en étroite collaboration avec la Responsable...
-
Contrôleur de Gestion
Il y a 4 mois
Levallois-Perret, France Lagardère Travel Retail Temps plein**Entité**:*** **Lagardère Travel Retail France** *** **Métier**:*** **Finance / Comptabilité / Gestion** *** **Type de contrat**:*** **Stage** *** **Localisation**:*** **Levallois-Perret** *** **Publiée le**:*** **17 septembre 2024** *** **Début du contrat**:*** **Janvier 2025** *** Lagardère Travel Retail France au service des...
-
Stage – Assistant(e) en Gestion de Patrimoine H/F
il y a 4 semaines
Levallois-Perret, France vytor Temps pleinAccompagnement personnalisé Le candidat bénéficiera d'un suivi par un référent dédié qui l'accompagnera tout au long de son intégration. Ce référent sera disponible pour répondre à ses questions, l'aider à comprendre les processus internes et le guider dans la prise en main de ses missions. Formation et montée en compétences Une session...
-
Stagiaire Comptabilité
il y a 3 semaines
Levallois-Perret, France Cegelem Temps plein**Description du poste** **Vos missions principales** - **Création d’entreprises** : Vous gérerez la création de structures entrepreneuriales vendues par vos collègues sous la tutelle directe de votre maître de stage. - **Suivi comptable des entrepreneurs**: Après votre formation, vous assurerez le suivi des premières déclarations fiscales des...
-
Levallois-Perret, France BNP Paribas Temps plein**Missions, équipe et environnement de travail, ça donne quoi ?** Vous intégrerez l'équipe Efficacité Opérationnelle et Marketing de la Direction de la Mobilité France chez BNP Paribas Personal Finance, équipe dynamique de 10 personnes avec des profils variés (marketing, formation, commerce, projet). L'équipe est en charge de la définition et de...
-
Levallois-Perret, France 20 Minutes France Temps pleinAvec 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...
-
Levallois-Perret, Nanterre, France 20 Minutes France Temps pleinAvec 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...
-
Levallois-Perret, France 20 Minutes France Temps pleinAvec 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...
