Ingénieur-Chercheur en méthodes formelles pour le quantique

Description de l'offre Vous rejoindrez notre équipe de recherche et développement au sein du CEA, spécialisée en analyse automatique de code exécutable pour la sécurité. Pour relever des défis scientifiques et techniques ambitieux, nous nous appuyons sur la recherche de l'excellence scientifique associée au travail en équipe pour capitaliser...

Description de l'offre Vous rejoindrez notre équipe de recherche et développement au sein du CEA, spécialisée en analyse automatique de code exécutable pour la sécurité. Pour relever des défis scientifiques et techniques ambitieux, nous nous appuyons sur la recherche de l'excellence scientifique associée au travail en équipe pour capitaliser...

Description du poste Vous intégrerez notre équipe LSL/SABR, dédiée à l'analyse automatique de code exécutable en matière de sécurité. Pour relever des défis scientifiques et techniques ambitieux, nous nous appuyons sur l'excellence scientifique et la collaboration en équipe afin de tirer parti de méthodes et de plateformes logicielles...

Description du poste Le candidat rejoindra le groupe LSL/SABR, qui se concentre sur l'analyse automatique de code exécutable en matière de sécurité. Pour relever des défis scientifiques et techniques de haut niveau, nous misons sur l'excellence scientifique et le travail collaboratif, en utilisant des méthodes et des plateformes logicielles...

Qui sommes-nous? Thales Research & Technology est un centre de recherche et de développement français du groupe Thales, situé sur le campus de l'École polytechnique à Palaiseau. Nous sommes un équipe de chercheurs et d'ingénieurs passionnés par l'innovation et la technologie. Le Groupe de Recherche Sciences et Techniques de l'Information de...

Présentation de l'ONERAL'ONERA est un acteur clé dans le domaine de la recherche aéronautique et spatiale, avec une équipe de plus de 2100 professionnels. Sous la tutelle du Ministère des Armées, l'établissement dispose d'un budget de 294 millions d'euros, dont une part significative provient de contrats de recherche et d'études. En tant qu'expert...

Présentation de l'ONERAL'ONERA est un acteur clé dans le domaine de la recherche aéronautique et spatiale, comptant plus de 2100 collaborateurs. Sous la tutelle du Ministère des Armées, l'établissement dispose d'un budget de 294 millions d'euros, dont une part significative provient de contrats de recherche et d'études. En tant qu'expert d'État,...

Présentation du poste Au sein de notre département LSL/SABR, vous serez impliqué dans l'analyse automatisée de code exécutable axée sur la sécurité. Nous visons à relever des défis scientifiques et techniques de haut niveau, en mettant l'accent sur l'excellence scientifique et la collaboration en équipe. Notre outil phare, BINSEC, illustre...

Présentation du poste Au sein de notre département LSL/SABR, vous serez impliqué dans l'analyse automatisée de code exécutable axée sur la sécurité. Nous visons à relever des défis scientifiques et techniques de haut niveau, en mettant l'accent sur l'excellence scientifique et la collaboration en équipe. Notre outil phare, BINSEC, illustre...

QUI SOMMES-NOUS ?Thales Research & Technology (TRT) France, situé sur le campus de l'École polytechnique, est le centre d'innovation et de recherche du Groupe Thales. Nous nous engageons à développer des solutions technologiques avancées pour soutenir les activités mondiales de Thales. En collaborant étroitement avec le milieu académique et un...

Présentation de l'offreL'ONERA, un leader dans la recherche aéronautique et spatiale, recherche un expert en calcul quantique pour rejoindre son équipe de recherche.MissionsÉvaluer les algorithmes quantiques pour la simulation d'écoulements multi-physiquesÉvaluer les solutions technologiques pour la résolution des problèmes en...

À propos du poste Le Commissariat à l'Énergie Atomique et aux Énergies Alternatives (CEA) recherche un Ingénieur Chercheur spécialisé dans la vérification et la validation de systèmes d'intelligence artificielle. Vous rejoindrez notre groupe LSL/AISER, spécialisé en explicabilité, résilience et sureté des systèmes d'IA. Vos missions ...

Notre équipe recherche un chercheur postdoctoral talentueux pour contribuer à des projets révolutionnaires dans le domaine de l'information quantique.Au sein du Centre de Nanosciences et de Nanotechnologies (C2N), notre groupe d'Optique Quantique à l'Etat Solide se distingue par son expertise reconnue dans le contrôle de l'interaction lumière-matière...

Présentation de l'ONERAL'ONERA est un acteur clé dans le domaine de la recherche aéronautique et spatiale, comptant plus de 2100 collaborateurs. Sous l'égide du Ministère des Armées, l'établissement dispose d'un budget de 294 millions d'euros, dont une part significative provient de contrats de recherche et d'études. En tant qu'expert d'État,...

Qui sommes-nous? Thales Research & Technology est un centre de recherche et de développement situé sur le campus de l'École polytechnique, au cœur du pôle scientifique et technologique d'envergure mondiale de Paris-Saclay. Nous sommes un groupe de recherche et de développement qui travaille en étroite collaboration avec le monde...

Professeur Junior en Réseaux QuantiquesTélécom Paris, une école de l'IMT (Institut Mines-Télécom) et membre fondateur de l'Institut Polytechnique de Paris, se classe parmi les cinq meilleures écoles d'ingénieurs généralistes en France.Notre mission principale est de former, imaginer et développer des modèles numériques, des technologies et des...

Présentation de l'ONERAL'ONERA est un acteur clé dans le domaine de la recherche aéronautique et spatiale, comptant plus de 2100 collaborateurs. Sous l'égide du Ministère des Armées, l'établissement dispose d'un budget conséquent, dont une part significative provient de contrats de recherche et d'études. En tant qu'expert d'État, l'ONERA se...

Professeur Junior en Réseaux Quantiques Télécom Paris, une école de l'IMT (Institut Mines-Télécom) et membre fondateur de l'Institut Polytechnique de Paris, se classe parmi les cinq meilleures écoles d'ingénieurs généralistes en France. La mission principale de Télécom Paris est de former, d'imaginer et de concevoir des modèles numériques,...

Mission et ObjectifsL'objectif principal de ce poste est de contribuer au développement de technologies innovantes dans le domaine du calcul quantique et de la programmation. Vous serez chargé de porter des algorithmes sur des machines quantiques et de les optimiser, ainsi que de participer à la mise en œuvre de moyens d'exécution et/ou de...

Mission et ObjectifsL'objectif principal de ce poste est de contribuer au développement de technologies innovantes dans le domaine du calcul quantique et de la programmation. Vous serez chargé de porter des algorithmes sur des machines quantiques et les optimiser, de participer à la mise en œuvre de moyens d'exécution et/ou de simulation de...