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
143 Etude du problème Polynomial Learning With Errors IRISA EMSEC Rennes file
144 Virtual or Real Pedestrian: Evaluating Avoidance Strategies in VR Inria MimeTIC Rennes file
145 Character Animation based on Early Motion Recognition Inria MimeTIC Rennes file
147 Browser-Based Video Streaming Inria ASAP Rennes file
148 A biclustering approach to Recommender Systems Inria ASAP/MIMETIC Rennes file
149 Information Flow Control via Hybrid Monitoring Inria INDES Sophia Antipolis file
150 Trade-off between Robustness and Optimality in Strategic Reasoning IRISA SUMO and LogicA Rennes file
151 Embedding sémantique pour la constitution de graphes de connaissance par fouille de contenus journalistiques Ouest France, en collaboration avec IRISA OF/SIB et IRISA/LINKMEDIA Rennes file
152 Optimisation combinatoire avancée appliquée à la génomique IRISA GenScale Rennes file
153 Validation formelle d’un OS pour syste?mes a? alimentation intermittente IRISA / Inria Rennes Celtique Rennes, France file
154 Étude de l'intérêt de la visualisation 3D immersive pour explorer des graphes de communautés Lab-STICC IHSEV Brest file
155 Analysis of sponsored mobile data and its impact on the network neutrality debate Inria Dionysos Rennes file
156 Building and Verifying a Simple Secure Compiler INRIA Paris Prosecco Paris file
157 Software security: Bug finding from safety to hypersafety CEA LIST, Paris Saclay Laboratoire de Sûreté Logicielle Saclay file
158 Automatic Exploit Generation for USB Drivers Royal Holloway, University of London Department of Computer Science Egham, United Kingdom file
159 Analyzing 3D gaze data in VR environment Laboratoire des Sciences du Numérique de Nantes Image Perception Interaction Nantes, France file
160 deep neural networks and adversarial classification irisa linkmedia rennes, france file
161 Interrogation linguistique et personnalisée de données IRISA SHAMAN Lannion, Bretagne, France file
162 Intrusion detection through detection of timing deviations IRISA Pacap + Cairn Rennes file
163 Traduction Dynamique de Binaires pour des Architectures Reconfigurables à Gros Grain IRISA CAIRN Rennes file
164 Neighbor Search in Non-metric Spaces INRIA DataShape Sophia Antipolis file
165 Apprentissage de comportements d'intérêt LS2N / ONERA DUKe (LS2N) / DTIS-TCS (ONERA) Nantes or Palaiseau file
166 Approches géométriques pour le calcul d'espaces de Riemann-Roch et interactions avec les systèmes polynomiaux Inria Nancy - Grand Est Project-team CARAMBA Nancy, France file
167 Privacy-Preserving Identity Management Systems Inria Montbonnot (Grenoble) Privatics team 655 Avenue de l'Europe, 38330 Montbonnot-Saint-Mar file
168 Simulation and control of a tensegrity mechanism inspired from a bird neck Laboratoire des Sciences du Nume?rique de Nantes Robotique et Vivant Nantes file
169 La conjecture de Gallai de décomposition en chemins : le cas des graphes planaires LaBRI CombAlgo Bordeaux file
170 Octogones entiers et re?els en programmation par contraintes LS2N TASC Nantes file
171 Conception d'une variante "regression symbolique" de l'algorithme Black-DROPS. Inria Nancy - Grand Est ResiBots Nancy file
172 Etude sur les contrôles de la Sécurité Applicative IRISA et CGI Archware Rennes file
173 Analyse syntaxique et sémantique des productions des apprenants : le cas du code source d’un programme informatique Institut de Recherche en Informatique de Toulouse SIERA Toulouse, France file
174 Modélisation de contraintes tonales pour la génération de phrases musicales IRISA Panama Rennes, France file
177 Acquisition compressée en Imagerie par résonance magnétique de diffusion pour la reconstruction de paramètres de microstructure de la matière blanche cérébrale IRISA / Inria Rennes Bretagne Atlantique VisAGeS Project-Team Rennes, France file
178 Dynamic Obstacle Avoidance for Indoor Robot Platooning IMT Altantique Bretagne - Pays de la Loire, LabSTI IHSEV Brest file