Sort by
Refine Your Search
-
feeds Large Language Model (LLM) for source code analysis in security evaluation H/F 138 / 463 vacancy Détail de l'offre Description du poste Domaine Mathématiques, information scientifique, logiciel
-
feeds Stage Quantification d'un World Model de type JEPA pour une inférence embarquée-Saclay-H/F 188 / 820 vacancy Détail de l'offre Description du poste Domaine Sciences pour l'ingénieur Contrat Stage
-
verification techniques, in particular model checking. -- Methods / Means: TLA+/TLC, Python, EMF/xtext Level required: Master's degree, Bac+5 - Master of Science Duration: 6 months Skills
-
Congress of Embedded Real Time Systems (ERTS 2026) , 2026. ⟨10.82331/ERTS.2026.42⟩. ⟨hal-05513843⟩ [2] Eclipse Aidge. https://eclipse.dev/aidge/ [3] Projet DeepGreen - https://deepgreen.ai/ [4] Projet
-
. --------- ENGLISH VERSION To implement, within the ECMWF’s ecLand model, a module describing the dynamics of plant carbon pools (leaves, stem, roots, reserves), as well as the associated CO
-
Scaling analog in-memory computing towards large generative AI models H/F Subject Your work will span device-to-algorithm co-design, focusing on state-of-the-art small language model engineering and
-
correlation and identifiability issues during model calibration. The method, will consider the following steps: 1.identify operating conditions for which different physical mechanisms are expected to
-
external memories by reusing data already calculated previously in the model stages. A large part of the work today focuses on its management. Contract duration (months) 6 Job description The LIAE is
-
mostly judged on factorization alone, yet a factorized model is also quantized before it is deployed. Does preparing a model for low rank help or hurt once it is also quantized, and can the combination
-
connaitre - M.Faure 2026: https://ieeexplore.ieee.org/document/11561453 - M. Alsukour EUMW2025: https://ieeexplore.ieee.org/document/11234388 Profil du candidat Qu’attendons-nous de vous ? Vous