Open positions

POSTDOC Postdoctoral Position “A programming model for simulation processes” at CEA DAM (France)

PHD Domain-Specific Debugging Application to High Performance Computing

co-advised with CEA/DAM, Rennes or Paris

PHD PhD position “Adaptive Security Framework for Microservices-based Cloud Applications”

PHD PhD position “Modeling, classification, and detection of vulnerabilities and their variants in software code bases using AI”

PhD with AID (Defense Innovation Agency). Cybersecurity, vulnerabilities, CVEs, AI, modeling, detection, Software Heritage, SWH-Sec, Cyber Campus

PHD PhD position “Automated detection and classification of machines containing vulnerable softwares in an Information System”

CIFRE PhD with Teclib company. Cybersecurity, CVEs, GLPI, inventory.

PHD PhD position “Applying countermeasures to vulnerabilities in code, through AI-driven refactoring and co-evolution”

PhD with AID (Defense Innovation Agency). Cybersecurity, vulnerabilities, CVEs, AI, refactoring, counter-measures, fixing, Software Heritage, SWH-Sec, Cyber Campus

PHD PhD Position “End-user Programming and Large Language Model”

PHD (PhD position) Software engineering and virtual reality: towards better development of VR applications

PHD Web front-end testing: large scale analysis and techniques improvement

Web front-end, software testing, code analysis, software code history, empirical study, software security, test generation, test amplification, UI coverage

PHD Next generation of development environments

domain-specific language, language workbench, IDE, human-computer interaction, DevOps, solution space exploration, user interface

PHD Large scale code history analysis for improving software stability

code analysis, software code history, large scale analysis, software security, empirical study

PHD Handling Evolution for Polyglot and Live Programming

Evolution, co-evolution, Polyglot, Live, Programming

PHD DevOps et IHM pour l’ingénierie des systèmes complexes

DevOps, langages dédiés, environnement de développement, interaction humain-machine, ingénierie dirigée par les modèles, live programming, utilisabilité

PHD PhD Position “Uncertainty Management in Software Product Lines” in collaboration with Airbus

PHD Smart Microservicization, Deployment and Dynamic Reconfiguration of Distributed Systems

an holistic appraoch that assist, or even automate, the microservicization, deployment and dynamic reconfiguration of distributed systems.

PHD A Platform for Multi-Physics Systems Modeling and Simulation

IDE architecture to support multimodal and collaborative modeling and simulation.

INTERNSHIP (POSSIBLE FOLLOW UP WITH A PHD) Investigating co-evolution in modern polyglot software applications

Research internship (in Rennes but can also be conducted virtually as well). More details and content can be given below in the PDF.

INTERNSHIP (POSSIBLE FOLLOW UP WITH A PHD) A top down co-evolution in modern model-based software generation

Research internship (in Rennes but can also be conducted virtually as well). More details and content can be given below in the PDF.

INTERNSHIP (POSSIBLE FOLLOW UP WITH A PHD) Proposing a DSL for the generation of code, tests and OpenAPI descriptor

More details and content can be found below.

INTERNSHIP (POSSIBLE FOLLOW UP WITH A PHD) Generating a DSL from OpenAPI descriptors for non-developers testers

More details and content can be found below.

INTERNSHIP (POSSIBLE FOLLOW UP WITH A PHD) DSML for design, orchestration and adaptation of microservices

More details and content can be found below.

INTERNSHIP Conception d’un meta-modèle (ontologie) d’architectures cryptographiques pour la vérification du respect des bonnes pratiques

INTERNSHIP Engineering Domain-Specific Languages with Large Language Model-based Assistant

INTERNSHIP Compiling and Booting Linux Kernel Configurations

INTERNSHIP Implementation, visualisation et démonstration d’algorithmes d’undo/redo

Implémenter d’autres algorithmes et d’en faire la démonstration au travers d’applications Web.

INTERNSHIP Développement d’un outil pour l'étude de l’apparition de failles de sécurité dans du code Java

Le but du stage est d'étendre notre outil HyperAST, qui capture l’historique Git d’un logiciel Java, pour étudier comment les failles de sécurité apparaissent dans le code.

INTERNSHIP Replicating Science in the Context of Machine Learning and Software