Accueil > Verimag > Partenaires > Partenaires
Partenaires
Collaborations Anciennes (<8 ans)
Anciens Partenaires academiques
- CEA Saclay: TAVA
- CEA/LETI, Grenoble, France: BRAIN-IoT
- CEA/LIST: CAOTIC : Collaborative Action on Timing Interferences
- CITI: Thèse financée : Gestion dynamique de la mémoire non-volatile embarquée
- DFKI - German Research Center for Artificial Intelligence, Germany: ADE
- GIPSA-Lab: SACADE
- INRIA/Gallium: VOCaL (The Verified OCaml Library)
- INRIA/Kairos: CAOTIC : Collaborative Action on Timing Interferences
- INRIA/POLARIS: CASERM
- INRIA/SPADES: CASERM
- INRIA/Tamis: SUCCESS
- IRISA: CAOTIC : Collaborative Action on Timing Interferences
- IRIT: CAOTIC : Collaborative Action on Timing Interferences
- IRIT/MACAO: Moc4Space
- Joanneum Research Forschungsgesellschaft, Austria : ADE
- King’s College London, UK: ADE
- LaBRI: ESTATE
- LCIS Valence: CLAM
- LCTI: CAOTIC : Collaborative Action on Timing Interferences
- LIG/Vasco: SACADE
- Links Foundation, Turin, Italy: BRAIN-IoT
- LIP6: ESTATE
- LRI Orsay / INRIA: VOCaL (The Verified OCaml Library)
- LS2N: CAOTIC : Collaborative Action on Timing Interferences
- Middlesex University London, UK: SUCCESS
- The Chancellor, Masters and Scholars of the University of Oxford, UK: ADE
- TIMA, Grenoble, France: CLAM
- Universidad de Malaga, Spain: ADE
- Universita del Salento, Italy : ADE
- University of Twente, The Netherlands: SUCCESS
Anciens partenaires industriels
- Airbus Defence and Space, UK: ADE
- Amossys: TAVA
- Cassidian Cybersecurity SAS - Airbus, France: BRAIN-IoT
- Empresa Municipal de Aguas de la Coruna SA, Spain: BRAIN-IoT
- eVaderis: Thèse financée : Gestion dynamique de la mémoire non-volatile embarquée
- GMV Innovating Solutions, Spain: ADE , Moc4Space
- IDATE, France: BRAIN-IoT
- IRT: CAOTIC : Collaborative Action on Timing Interferences
- Kalray, Grenoble, France: KALRAY , KALRAY-CompCert , Matheus Schuh , the Chamois CompCert Compiler
- MathWorks: [master or PhD] Convex polyhedra in floating point
- OCamlPro: VOCaL (The Verified OCaml Library)
- Paremus Ltd, UK: BRAIN-IoT
- Robotnik Automation SLL, Spain: BRAIN-IoT
- Siemens Aktiengesellschaft, Germany: BRAIN-IoT
- Siotic Spain SL - Improving Metrics, Spain: BRAIN-IoT
- STMicroelectronics/Grenoble: BRAIN-IoT , Certified compilation for security , Potential CIFRE PhD : Hardened circuits for critical applications , STMicroelectronics
- Thales Alenia Space Italia SPA, Italy: ADE
- TRASYS International Geie, Belgium: ADE
- TrustInSoft: VOCaL (The Verified OCaml Library)
Verimag is member of the
Contact |
Plan du site |
Site réalisé avec SPIP 4.4.29 +
AHUNTSIC
[CC License]
info visites 57056590
|
|
|