Emploi But - Palaiseau

Contexte : Les ingénieurs d'EDF réalisent de nombreuses études impliquant des calculs physiques sur les équipements de l'entreprise (centrales, barrages etc.). La plupart de ces calculs reposent sur la méthode des éléments finis et s'appuient sur des maillages 3D générés à partir de modèles géométri...

Mission : Développement et utilisation de programmes informatiques pour simuler le comportement mécanique de plusieurs parcs éoliens onshore & offshore. Contexte : A travers sa filiale EDF Renouvelables (EDF R), EDF exploite de nombreux parcs éoliens dans le monde et assure la surveillance et le mai...

Le département SEQUOIA (Services, Economie, Questions hUmaines, Outils innovants et IA) de la R&D, intervient en appui de la direction Marketing de la Branche Commerce d'EDF. Au sein de ce département, le groupe Consommation client offre de fourniture est spécialisé en analyse de données de consomma...

Domaine : Autre Contrat : Post-doctorat Description du poste : L’identification automatique de radionucléides à partir de mesures spectroscopiques joue un rôle clef dans différentes applications nucléaires telles que la prévention du trafic illicite de matières nucléaires, l’analyse de données expér...

Domaine : Mathématiques, information scientifique, logiciel Contrat : Stage Description du poste : Context:In 2008, a white paper [1], signed under the pseudonymous of Satoshi Nakamoto, defined one of the most interesting new technologies of the past decades: the Blockchain. In fact, such technology...

Domaine : Mathématiques, information scientifique, logiciel Contrat : Stage Description du poste : The LECA laboratory has developed a framework to detect TAs [3, 4] within programs, that is based on a formal model of a representative Out-of-Order (OoO) pipeline of processors described using the TLA...

Domaine : Autre Contrat : Stage Description du poste : Plusieurs méthodes ont étudiées ce sujet dans le cadre de la classification d’images. Ces approches peuvent être globalement classées en approches post-hoc et approches de régularisations de modèles en intégrant différentes formes d’outliers com...

Domaine : Composants et équipements électroniques Contrat : CDD Description du poste : Within a multidisciplinary technological research team of experts in SW/HW analyses by applying formal methods, you will be involved in a national research project aiming at developing a predictability toolbox to ...

Domaine : Mathématiques, information scientifique, logiciel Contrat : Stage Description du poste : Homomorphic encryption is a recent technique that enables computation on encrypted data. The subject of this internship is the TFHE cryptosystem and, in particular, its functional bootstrapping method....

Domaine : Sciences pour l'ingénieur Contrat : Stage Description du poste : A ce jour, il existe peu d'interfaces portées et abordables pour le grand public, offrant un retour riche et convaincant permettant d’interagir et de toucher les objets/personnes lors d'expériences virtuelles. Or, le sens du ...

Domaine : Systèmes d'information Contrat : CDI Description du poste : “Join the CEA to give meaning to your activity, lead and support national and international R&D projects, cultivate and bring to life your spirit of curiosity. »IN SUMMARY, WHAT DO WE OFFER YOU?The CEA is looking for Engineer-Rese...

Domaine : Autre Contrat : Stage Description du poste : ContexteL'analyse formelle d'un réseau de neurone peut s'effectuer avec un certain nombre de techniques et un grand nombre d'outils ont émergés pour cela. Dans notre laboratoire, l'outil PyRAT se base sur des techniques d’interprétation abstrait...

Domaine : Sciences pour l'ingénieur Contrat : Stage Description du poste : Rejoignez-nous en Stage ! En tant que stagiaire au CEA, vous aurez l'opportunité de travailler au sein d'un environnement de recherche de renommée mondiale. Nos équipes sont composées d'experts passionnés et dédiés, offrant u...

Domaine : Mathématiques, information scientifique, logiciel Contrat : Stage Description du poste : ContexteLa plupart des méthodes de vérification formelle de la robustesse d'un réseau de neurones proposent une vérification de propriété de robustesse assez simple : pour un voisinage d'une certaine t...

Domaine : Mathématiques, information scientifique, logiciel Contrat : Stage Description du poste : ContexteLe problème de la vérification de neurones a été prouvé comme NP-complet et comme souvent avec ce type de problème, il s'agit alors de trouver un trade-off entre précision et coût (temps de cal...