Master internships
Autonomous Critical Embedded Systems
- Defining dynamic coalitions within the specification of properties for multi-agent systems
- Defining nudging strategies in the specification of properties for multi-agent systems
- State of the Art of using Formal Methods for AADL Models Verification
- Towards the verification of smart contracts
- Verification of Attack Graph based Games
- Zero-Knowledge proofs and applications (threshold signatures, confidential transactions, secure data management etc.)
Circuits & Communications Systems
- Deep Learning for Enhanced SID Detection: Leveraging CNNs for Reliable Event Identification
- Electrical simulation of training RRAM neuromorphic systems using PySpice
- Multi-rate Power Amplifier modeling (3 months)
- Performance analysis of recurrent neural networks (RNN) for power amplifier (PA) modeling
Cybersecurity & Cryptography
Data, Intelligence & Graphs
- Designing Collaborative Spreadsheets
- Finding tax loopholes with agent-based simulations
- Incremental maintenance of queries on dynamic trees
- Identifying strategies in agent-based simulations
- Query-Directed Width Measures for Probabilistic Graph Homomorphisms
Digital Communications
- Axiomization of Information Measures
- Bayesian Information Gain With Unspecified Likelihood
- Resource-Efficient Distributed Quantum Detection
- Secure Integrated Sensing and Communication Systems (ISAC)
- Study of artificial intelligence algorithms with information theory via the information-bottleneck framework
- Towards Fundamental Limits of Distributed Acoustic Sensing (DAS)
- Towards a Nonlinear Bound of Mutual Information Leakage for Additive-Masked Implementations
- Understanding Perceived Information and Hypothetical Information for Side-Channel Attacks
Embedded AI and AIoT
- AIoT based Neural Decoding and Neurofeedback for a Cognitive Training Acceleration
- Decentralized Federated Learning for Edge Intelligence
- Frugal AI based Neural Decoding and Neurofeedback for Cognitive Training Acceleration
- Hardware Aware Differentiable Architecture Search for Deep Learning
- Mixed-Signal Accelerator for AIoT
- ML/AI for cybersecurity of Software Defined Vehicles
- Onboard AI for cybersecurity in connected cars
- On Device Learning for AIoT
- Secure AIoT
Optical Communications
- Impairment Aware Network Digital Twin
- Strategies for network optimization and margin reduction
- Time-frequency quantum information processing
Radio Frequency, Microwaves & Millimeter waves
- Comparison of the influence of subject’s morphology on Wireless Body Area Network (WBAN) propagation channels based on complex morphed inhomogeneous numerical phantoms and simplified homogeneous ones
- Contribution to the modeling of the influence of indoor environment characteristics and subject position and orientation on Wireless Body Area Network (WBAN) propagation channels
- Investigation on the power management stage of wirelessly powered devices
- Tunable Huygens Metasurface – Application to antenna design
System on Chips
And also: PhD thesis topics
Or see the recruiting webpage in French