Research Internships

idtitlehostteamplacefile
60 Obfuscations sûres de programmes C IRISA Celtique Rennes file
61 Un compilateur optimisant pour les ordinateurs quantiques IRISA PACAP Rennes file
62 Timed Negociations IRISA/INRIA SUMO Rennes file
63 Verification of Supervisory Control Problems IRISA SemLIS Rennes file
64 Un Formalisme Générique pour Mettre à Jour l'Incertitude IRISA SemLIS Rennes file
65 Jeux avec Communication: de la Révision des Croyances au Choix Social IRISA SemLIS Rennes file
66 Synthèse de protocoles "Gossip" avec DEL et la Théorie des Automates IRISA SemLIS Rennes file
67 Au-delà du Calcul de Lambek IRISA SemLIS Rennes file
68 How to do better than deep learning ? Network recurrent weight adjustment Inria https://team.inria.fr/mnemosyne Sophia-Antipolis, France file
69 Malware Data Visualization Inria Rennes TAMIS Rennes, France file
70 Accélération matérielle pour l’analyse de données massives pour la Lutte Informatique Défensive IRISA - Nokia Shaman - Bell Labs Lannion Lannion file
71 Deep learning for saliency prediction IRISA PERCEPT RENNES file
72 Graph-KRIMP: mining graph patterns that compress IRISA SemLIS Rennes file
73 Make text look like speech: disfluency generation using sequence-to-sequence neural networks IRISA Expression Lannion file
74 Unbreakable Shared-Key Cryptography Implementation Inria Rennes TAMIS Rennes, France file
75 Malware Network Behavioural Signature Inria Rennes TAMIS Rennes, France file
76 Changing focus point and focus spread in lightfield images IRISA PERCEPT Rennes file
77 Modélisation des Flux passagers dans les systèmes ferroviaires urbains. IRISA SUMO Rennes file
78 Incremental learning and on-the-fly recognition of handwritten patterns and gestures IRISA IntuiDoc Rennes file
79 Analyse de la vulnérabilité dans le cadre des systèmes de systèmes socio-techniques IRISA ARCHWARE Vannes, France file
80 Recherche d’attracteurs dans des réseaux booléens en ASP IRISA /INRIA DYLISS Rennes file
81 AlphaGo goes shopping IRISA SemLIS Rennes, France file
82 Modélisation et vérification du nommage pour le développement d'application hétérogène. IRISA PASS Brest file
83 Hop.js en Coq Inria Celtique Rennes file
84 Offset cubic projections for 360-degree video streaming Campus IMT Atlantique Adopnet Rennes file
85 Learning more expressive local substitutable grammars IRISA / Inria Rennes-Bretagne Atlantique Dyliss Rennes, France file
86 Inférence de modèles biologiques multi-échelles à l’aide de propagateurs de contraintes. IRISA - INRIA Rennes Dyliss Rennes file
87 Verification of equivalence-based properties: the case of stateful protocols IRISA / LSV EMSEC /SECSI Rennes / Cachan file
88 How to know how much we know IRISA LACODAM Rennes file
89 Sécurité du routage et des communications dans les réseaux de drones INRIA/IRISA CIDRE Rennes file
90 Dérivation symbolique d'interpréteur abstrait en Coq IRISA/Inria Celtique Rennes file
91 Compilation et programmation constant-time IRISA/Inria Celtique Rennes file
92 Apprentissage profond pour l’asservissement visuel IRISA - Inria Rennes Lagadic Rennes, France file
93 Machine Learning and Configurable Systems IRISA DiverSE Rennes, France file
94 Metamorphic Testing of Metamorphic Languages IRISA DiverSE Rennes, France file
95 Numerical rule mining for prediction of wheat and vine diseases IRISA LACODAM Rennes file
96 Simulation de foule par apprentissage IRISA Lagadic Rennes file
97 Analyse et modélisation de foule de piétons IRISA Lagadic Rennes file
98 Privacy-Preserving Geo-distributed Graph Processing Irisa DRUID Rennes file
99 Why don‘t you drive my car? Mining PSA car sharing data IRISA LACODAM Rennes, France file
106 Résilience de la preuve de seL4 aux modifications de son code et de son architecture ? Orange Labs SDS (System and Device Security) Cesson-Sévigné file
109 Interprétation de documents pdf natifs : Application à la presse magazine IRISA IntuiDoc Rennes file
110 Apprentissage et reconnaissance de structures tabulaires dans des documents manuscrits anciens IRISA IntuiDoc Rennes file
111 Annotation (semi-)automatique de l'expressivité et de l'émotion dans la parole Irisa Expression Lannion file
112 Parametererized Model Checking of Probabilistic Systems with Abstractions IRISA SUMO Rennes, France file
113 Analyse et reconnaissance de gestes 3D IRISA IntuiDoc & MimeTIC Rennes file
114 Automatic ontology learning and semantic search in HR domain Entreprise ALTEN R&D (co-supervided by DRUID / IRISA) Rennes file
115 Deep learning based semantic search applied to recruitment platforms Entreprise ALTEN R&D (co-supervided by DRUID / IRISA) Rennes file
116 Control of adaptative systems INRIA SUMO Rennes file
117 Contrôle distribué de l’opacité pour des secrets concurrents INRIA SUMO Rennes file
118 Context-Aware Motion-Based Interfaces for Virtual and Augmented Reality IRISA / Inria Rennes Hybrid Rennes, France file
119 Minimizing Motion Sickness Effects in Virtual Reality through Adapted Navigation Control Mechanisms IRISA / Inria Rennes Hybrid Rennes, France file
120 Autonomous cinematographic flock of drones IRISA/INRIA Rennes Mimetic Rennes file
121 Virtual Steadicam Simulator IRISA/INRIA Rennes Mimetic Rennes file
122 Crowd Simulation: Mixing Simulation Models for Visual Variety Inria MimeTIC Rennes file
123 Modeling, Design and Analysis of Augmented Reality Applications in Virtual Reality IRISA / Inria Rennes Hybrid Rennes, France file
124 Influence of biological motion cues on collision avoidance temporal decision processing Irisa/Inria Mimetic Rennes file
125 Tracking of Deformable Objects in Augmented Reality IRISA/Inria Hybrid Rennes file
126 Synthèse de test pour les ssytèmes temporisés IRISA Sumo Rennes, France file
127 Low Latency Storage for Stream Data IRISA KerData Rennes file
128 Quantitative analysis in security risk analysis, event vs. state-based approaches IRISA LogicA Rennes file
129 Decentralized Similarity Learning for Peer-to-Peer Recommenders IRISA ASAP (http://www.irisa.fr/asap/) Rennes file
130 Big data on a budget: Investigating compact representations for non-parametric KNN graph construction IRISA / Inria Rennes ASAP (http://www.irisa.fr/asap/) Rennes file
131 Private Queries on Plug Devices Inria/Irisa ASAP Rennes file
132 Privacy-Preserving Self-Preferences IRISA DRUID Rennes file
133 Characterizing the Performance and Energy Efficiency of In-memory Storage Systems Inria KerData Rennes file
134 Exploitation opportuniste de données de capteurs imprécis pour une mesure de la qualité de l’air IRISA E4SE (ex. TACOMA) Rennes, France file
135 Apprentissage de règles descriptives discriminantes. Application au domaine de l’agro-écologie IRISA Lacodam-Druid Rennes file
136 Locality-Aware Placement in Geographically Distributed Clouds IRISA / Inria Myriads Rennes, France file
137 Apport de modèles hybrides pour la prédiction de séries temporelles IRISA LACODAM Rennes file
138 Distributed identity management systems for peer-to-peer architectures Inria/IRISA CIDRE Rennes, France file
139 Blending-Based Personalised Human Motion: an Application to Walking Inria MimeTIC Rennes file
140 Search-based test amplification KTH Software lab Stockholm, Sweden file
141 Cloud application adaptation using machine learning IRISA / Inria Rennes-Bretagne Atlantique Myriads Rennes file
142 Modélisation de l'imprécision et de l'incertitude de données dans les plateformes de crowdsourcing IRISA DRUID / Orange Labs Lannion file