Project-team CAPSULE Applied Cryptography and Implementation Security CAPSULE’s research activities are organized along four axes, namely symmetric-key cryptography, post...
Project-team LINKMEDIA Creating and exploiting explicit links between multimedia fragments The challenge that multimedia faces today is that of context awareness, i.e., describing documents...
Job opportunities PhD Position F/M Decentralised Market-based Application Orchestration in Fog and IoT Environments Deadline to apply 23/06/2024
Job opportunities PhD Position F/M IA-based automated detection and behavior analysis among piglets Deadline to apply 31/05/2024
Job opportunities PhD Position F/M Understanding and Improving Human Interactions in Social eXtended Reality Deadline to apply 31/05/2024
Job opportunities Post-Doctoral Research Visit F/M Post-doc position in Games for verification Deadline to apply 23/07/2024
Project-team DYLISS Dynamics, Logics and Inference for biological Systems and Sequences Our common "knowledge-based approach" aims at gaining in sensitivity and expressivity through a...
Project-team EPICURE Semantic analysis and compilation for secure execution environments The frequent announcements of yet another cybersecurity breach show that the security of the...
Project-team ERMINE Measuring and Managing Network operation and economics Networks are omnipresent and increasingly complex, and require an efficient management of their...
Project-team GALLINETTE Gallinette: developing a new generation of proof assistants The EPI Gallinette aims at developing a new generation of proof assistants, with the belief that...
Project-team KERDATA Scalable Storage for Clouds and Beyond The KerData project-team is namely focusing on designing innovative architectures and systems for...
Project-team LACODAM Large scale Collaborative Data Mining The objective of the LACODAM team is to considerably facilitate the process of making sense from...
Project-team MIMETIC Analysis-Synthesis Approach for Virtual Human Simulation The MimeTIC research team focuses on designing methods for anlayzing human motion in ecological...
Project-team MINGUS MultI-scale Numerical Geometric Schemes The research group MINGuS focuses on the mathematical and numerical analysis of partial differential...