Modernisation Fullstack de L’atelier B

**Objectif du stage **:Travaux de développement et d’évolution sur un outil de preuve formelle. Atelier B est un environnement graphique de développement de logiciel avec la méthode B, une méthode de développement logiciel basée sur les méthodes formelles. Atelier B est en constante évolution pour apporter des améliorations ergonomiques et...

**Objectif du stage **:Travaux de développement et d’évolution sur un outil de preuve formelle. Atelier B est un environnement graphique de développement de logiciel avec la méthode B, une méthode de développement logiciel basée sur les méthodes formelles. Atelier B est en constante évolution pour apporter des améliorations ergonomiques et...

**Objectif du stage **:Travaux de développement et d’évolution sur un outil de preuve formelle. Atelier B est un environnement graphique de développement de logiciel avec la méthode B, une méthode de développement logiciel basée sur les méthodes formelles. Atelier B est en constante évolution pour apporter des améliorations ergonomiques et...

Modernisation du générateur d’obligation de preuve d’Atelier B **Objectif : M**oderniser et simplifier le code source du générateur d’obligations de preuve de telle sorte à minimiser ses dépendances externes tout en tirant partie des évolutions récentes du langage C++. **Contexte**: La méthode B est utilisée pour développer formellement...

Titre du PosteNous recherchons un Chef de Projet Développement FullStack senior pour renforcer notre équipe technique.**Description du Poste** Nous proposons un poste de Développeur Principal FullStack au sein de notre équipe technique, spécialisée dans les technologies PHP (Laravel) et JavaScript/TypeScript (NuxtJS). Le candidat idéal doit posséder...

Modernisation du générateur d’obligation de preuve d’Atelier B **Objectif : M**oderniser et simplifier le code source du générateur d’obligations de preuve de telle sorte à minimiser ses dépendances externes tout en tirant partie des évolutions récentes du langage C++. **Contexte**: La méthode B est utilisée pour développer formellement...

Développement d’un workbook pour l’Atelier B et la méthode B **Objectif **:développer un workbook à destination des étudiants découvrant la méthode B et l’Atelier B. **Contexte**: L’environnement technique est: - B pour la modélisation, - le langage de preuve (script, règles mathématiques) du prouveur interactif de l’Atelier B, - C...

Développement d’un workbook pour l’Atelier B et la méthode B **Objectif**: développer un workbook à destination des étudiants découvrant la méthode B et l’Atelier B. **Contexte**: L’environnement technique est: - B pour la modélisation, - le langage de preuve (script, règles mathématiques) du prouveur interactif de l’Atelier B, - C...

À propos du posteNous recherchons un Développeur Leader Technique Fullstack Java pour rejoindre notre équipe à Aix-en-Provence.Ce poste est parfait pour les passionnés de technologie qui veulent travailler dans un environnement collaboratif et innovant.

Stage - Développeur FullStackNous cherchons un développeur qui a fait ses preuves sur au moins un élément de la stack : AngularJs, NodeJS, MongoDBMotivé, disponible et impliqué, vous êtes à la recherche d’un challenge à partager en équipe.Compétences complémentaires appréciées :Algorithmes avancésDéveloppement pour mobile (RWD,...

Description du poste Réaliser la conception technique et le développement web (interfaces et/ou services) Programmer les fonctionnalités qui correspondent aux besoins du client pour son site web Décliner les choix d’architecture préconisés Développer, documenter et tester les fonctionnalités techniques d’une application Assurer le...

QUI SOMMES-NOUS ? Nos équipes de l’activité Systèmes d’information critiques et cybersécurité fournissent des services et des solutions globales optimisant la performance, la résilience et la sécurité des systèmes d’information afin de faire face aux ruptures technologiques et aux cybermenaces.Description de l'emploi Le Centre de...

Nos ingénieur(e)s pilotent les activités de « Digital Transformation ». Nous prenons actuellement en main des sujets d'envergure dans les domaines de la défense, du e-commerce, du médical etc. Notre expertise s'applique à la production et/ou à la chefferie de projet notamment dans des environnements techniques complexes comme la RPA, la...

État de l'art dans la technologie et opportunités de développement Sopra Steria est une entreprise majeure du secteur des services numériques en Europe avec 56 000 collaborateurs dans près de 30 pays. Nous sommes reconnus pour nos activités de conseil, de services numériques et d'édition de logiciels.Au sein de notre équipe, nous recherchons un...

Description de l'EmploiSopra Steria, un groupe leader en technologie en Europe, recherche un Développeur Fullstack Java Expert pour rejoindre son équipe. En tant que ingénieur développeur java profilé, vous serez chargé de mettre en œuvre des solutions de développement back-end et front-end utilisant la plateforme Spring. Vous travaillerez sur des...

QUI SOMMES-NOUS ? Thales propose des systèmes d’information et de communication sécurisés et interopérables pour les forces armées, les forces de sécurité et les opérateurs d’importance vitale. Ces activités, qui regroupent radiocommunications, réseaux, systèmes de protection, systèmes d’information critiques et cybersécurité,...

Description du poste :\Nous recherchons un développeur fullstack Java expérimenté pour rejoindre notre équipe de développement. Votre rôle consiste à concevoir, développer et déployer des applications métier répondant aux besoins de nos clients.\Missions clés :\\Réaliser des développements en Java (nouvelle application ou ajouts dans une des...

Résumé de l'offreINetum Software, un éditeur de logiciels métiers français, recherche un développeur fullstack Java pour rejoindre sa division Sécurité Civile. Cette dernière doit se réinventer en adoptant des technologies micro-service et accompagner ses clients dans leur transformation digitale.Description du poste- Étude et proposition de...

**PYRAME XL à AIX LES MILLES** recherche un **Réceptionnaire après-vente Poids-lourds H/**F afin de renforcer notre équipe. Rattaché(e) au responsable Après-vente, vous assurez principalement les missions suivantes : - Accueil physique/téléphonique - Prise de RDV et tenue de planning - Rédaction d'ordres de réparation, de commandes, de travaux -...

QUI SOMMES-NOUS ?Nos équipes de l’activité Systèmes d’information critiques et cybersécurité fournissent des services et des solutions globales optimisant la performance, la résilience et la sécurité des systèmes d’information afin de faire face aux ruptures technologiques et aux cybermenaces.Description de l'emploiLe Centre de Compétences...