You are here

Proposition of PhD subjects

Phd offers IRISA :

D1 - LARGE SCALE SYSTEMS
Subject Equipe
Towards new solutions to build large scale distributed applications in the cloud ASAP
Simuler l'Internet des objets MYRIADS
Decentralized Fog Computing Infrastructure Control MYRIADS
D2 - NETWORKS, TELECOMMUNICATION AND SERVICES
Subject Equipe
L'orchestration des IoT via une infrastructure logicielle unifiée DIONYSOS
Converging on Industrial Deterministic Network OCIF
4th Industrial Revolution: Converging on Industrial Deterministic Wireless Network OCIF
Allocations de ressources opportunistes dans les réseaux 5eme Génération (5G) ADOPNET
D3 - ARCHITECTURE
Subject Equipe
Vers l’exécution efficace d’applications sur des architectures multi-cœur résilientes CAIRN
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
Vérification formelle légère pour les programmes fonctionnels CELTIQUE
Efficient Abstraction Techniques for Timed Automata Verification SUMO
Control of adaptative systems 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
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
Large-Scale Virtually-Supervised Learning for Auditory Scene Analysis with Robots PANAMA
Optimal transport for the classification of structured data OBELIX
D6 - MEDIA AND INTERACTIONS
Subject Equipe
Script optimisation for the expressive synthesis of audio books EXPRESSION
Understanding Expressive Movement Knowledge: Developing a Taxonomy of Movement Feature EXPRESSION
Script optimisation for the expressive synthesis of audio books EXPRESSION
Universal speech synthesis through embeddings of massive heterogeneous data 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
Apprentissage évolutif d’un système de reconnaissance à la volée de tracés/gestes manuscrits INTUIDOC
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
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
Raisonnement sur des réseaux booléens pour identifier des signatures complexes de pathologies 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
Evaluation de la qualité des contributions et des contributeurs sur plateformes de crowdsourcing DRUID
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 :