You are here

Proposition of PhD subjects

Phd offers IRISA :

D1 - LARGE SCALE SYSTEMS
Subject Equipe
Robust and light-weight overlay management for decentralized learning ASAP
Distributed troubleshooting of edge-compute functions (with Technicolor) ASAP
Simuler l'Internet des objets MYRIADS
D2 - NETWORKS, TELECOMMUNICATION AND SERVICES
Subject Equipe
L'orchestration des IoT via une infrastructure logicielle unifiée DIONYSOS
4th Industrial Revolution: Converging on Industrial Deterministic Wireless Network OCIF
Converging on Industrial Deterministic Network OCIF
Allocations de ressources opportunistes dans les réseaux 5eme Génération (5G) ADOPNET
D3 - ARCHITECTURE
Subject Equipe
Compiler support for speculative custom hardware accelerators CAIRN
Conception d'algorithmes temps réel pour transpondeurs optiques élastiques à très haut débit GRANIT
Learning to survive: Dynamic programming for autonomous and heterogeneous IoT networks GRANIT
Thread convergence prediction for SIMT architectures PACAP
D4 - LANGUAGE AND SOFTWARE ENGINEERING
Subject Equipe
Control of adaptative systems SUMO
Efficient Abstraction Techniques for Timed Automata Verification SUMO
DISCOVERER: An Integrated Web-Based DSL Factory for Computational Science to Reason Over Wicked Problems DIVERSE
Théorie des jeux et logiques pour l'analyse de robustesse et de vulnérabilité de systèmes multi-agents. Applications à la sécurité. LogicA
Refinement types for cyber-physical system design TEA
Compilation sécurisée de services sous forme d’unikernels au moyen d’un langage système et de preuve automatique TEA
Refinement types for stream processing languages TEA
Analyse de vulnérabilité dans des systèmes embarqués face à des attaques en force brute TAMIS
D5 - DIGITAL SIGNALS AND IMAGES, ROBOTIC
Subject Equipe
Mixed tactile-force feedback for safe and intuitive robotic teleoperation LAGADIC
Efficient Algorithms for Large-Scale Sketched Acoustic Learning PANAMA
Influence de l’attention esthétique sur l’attention visuelle : caractérisation et modélisation (Priorité 1) SIROCCO
Optimal transport for the classification of structured data OBELIX
D6 - MEDIA AND INTERACTIONS
Subject Equipe
Understanding Expressive Movement Knowledge: Developing a Taxonomy of Movement Feature EXPRESSION
Modèles de perception visuelle pour l’imagerie HDR FRVSENSE
Enhancing Avatars in Virtual Reality through Control, Interactions and Feedback HYBRID
Object-Relation model for Mixed Reality HYBRID
Interprétation temps réel de la production de schémas « géométriques » pour la génération de e-feedback en « Digital Learning » INTUIDOC
Apprentissage évolutif d’un système de reconnaissance à la volée de tracés/gestes manuscrits INTUIDOC
Combinaison de connaissances structurelles, logiques et sémantiques pour l’analyse d’images de documents complexes INTUIDOC
A topology-driven approach to retargeting of filmic style in 3D environments MIMETIC
Perception-based Virtual Human Motion Personalisation MIMETIC
Creating Perceptual Variety in Crowd Simulations MIMETIC
Indexation de données audiovisuelles LINKMEDIA
D7 - DATA AND KNOWLEDGE MANAGEMENT
Subject Equipe
Learning grammars with long-distance correlations on proteins DYLISS
Méthodes et algorithmes pour la détection de variants complexes dans des données de séquençage nouvelle génération GENSCALE
Assemblage d’espèces complexes ou de métagénomes par intégration de données de séquençage hétérogènes. GENSCALE
Making Data Science more accessible by bridging Data Mining and Artificial Intelligence LACODAM
Modèles temporels de séquences thérapeutiques pour l'exploration de données médico-administratives LACODAM
Applied Logics Based on Plausibility for Reasoning about Uncertainty SemLIS
Semantic Lifting of Complex Data by Hypergraph Compression - Stylistics in the usage of computer languages SemLIS

IRISA PhD thesis labelled for the EIT ICT Labs Doctoral School :