Emploi
Post-doctorat
Postes à pourvoir à FEMTO-ST

Vous êtes ici

DISC: "Génération automatique de script de tests assistée par IA"

Post doc de 12 à 18 mois proposé à partir de Septembre 2025

Contexte : La complexité des systèmes rend nécessaire la mise en place d’une assurance qualité (QA) intégrée au cycle de vie, principalement basée sur les tests (unitaires, fonctionnels, intégration, sécurité, etc.). Aujourd’hui, la conception et l’exécution des tests restent majoritairement manuelles, même si des outils d’automatisation commencent à apparaître. La démarche proposée s’appuie sur une approche dite de tests à partir de modèles (MBT), dans laquelle un modèle formel est utilisé pour calculer les scénarios de tests (abstraits) ainsi que leurs oracles. [...] Dans le cadre du projet ANR RAPID VVaMIA, nous étudions l’utilisation d’assistants IA pour les étapes du MBT, qu’elles soient en amont (conception du modèle de test) ou en aval (génération et exécution de scripts exécutables) du pivot central qu’est le modèle de test. Le travail de postdoctorat proposé ici se place dans le cadre de ce projet, en collaboration avec Smartesting Solutions & Services (une PME de Besançon spécialisée dans la génération automatique de tests) et Thalès Land and Air Systems (LAS).

Profil : Le travail de postdoctorat aura pour objectif de contribuer aux tâches inhérentes au projet de recherche, notamment autour de la génération de tests exécutables à partir de scénarios abstraits issus du modèle. Il s’agira de contribuer à la conception et à l’implantation d’une solution logicielle neuro-symbolique basée sur des Agents IA couplant approches neuronales (LLM) et symboliques (solveurs de contraintes) pour permettre le calcul de données de test. Les candidats potentiels doivent être titulaires d’un doctorat dans le domaine de l’ingénierie du logiciel (génération de tests, génie logiciel, techniques de vérification et validation). Une connaissance des outils et méthodes de l’Intelligence Artificielle (IA) ou de raisonnement symboliques (solveurs de contraintes) dans le cadre des activités de génie logiciel est un plus.

Environnement de travail : FEMTO-ST est une unité de recherche pluridisciplinaire associée au CNRS. Il s’agit de l’un des plus gros laboratoires en science et technologie en France (750 personnes y travaillent) qui
possède des compétences scientifiques variées et notamment un savoir-faire reconnu internationalement dans le domaine de la microrobotique, de la manipulation et de la caractérisation à petites échelles.
L’équipe VESONTIO du Département d’Informatique des Systèmes Complexes (DISC de FEMTO-ST) s’intéresse aux techniques de vérification et validation de logiciels en utilisant
diverses techniques telles que la preuve, le model-checking ou le test logiciel, qui est au centre du présent sujet. L’équipe est localisée sur Besançon.

Contact: 

fabrice.bouquet@univ-fcomte.fr ; frederic.dadeau@univ-fcomte.fr ; dorine.tabary@univ-fcomte.fr

+ d'infos :
Icône PDF disc_fichepostdoc.pdf
https://www.femto-st.fr/fr/offres-emploi-stage-these/post-doctorat#job-5811

ENERGIE : Post-Doc Développement d'une méthode générique pour mettre à l'échelle les systèmes de piles à combustible PEM

Contexte : La surveillance et l’exploration des espaces maritimes dans leurs dimensions sous-marine est un enjeu majeur pour la souveraineté et le développement des activités de pays comme la France possédant de très grandes zones maritimes sous leur juridiction. Ces activités dans les fonds sous-marins couvrent les volets de l’exploration scientifique, de l’inspection et la surveillance d’infrastructures sous-marines et sensibles ainsi que de l’action militaire. Une solution technique pour exercer ce type d’actions sur des territoires souvent distants des ports et des infrastructures côtières est de disposer de systèmes de sous-marins autonomes (AUVs) résidents sur la zone. Un des enjeux pour ces AUVs est d’assurer leur autonomie décisionnelle mais également leur autonomie énergétique sur site. C’est sur ce dernier point que se concentre le projet AUV-EH2.

Le projet AUV-EH2 propose d’étudier la possibilité d’utiliser des sous-marins autonomes (AUVs) résidents propulsés par des systèmes d’énergie hybride dont le carburant initial est l’hydrogène transformé en électricité à partir de piles à combustible hydrogène/oxygène. Le programme scientifique du projet AUV-EH2 associe le GREAH, l’Institut FEMTO-ST et l’Institut de recherche de l’École Navale.

Mission : Le présent sujet de post-doctorat, d’une durée d’un an, se focalise en particulier sur le sujet de la pile à combustible hydrogène/oxygène. Il visera à caractériser expérimentalement le fonctionnement de ce type de pile à combustible sur des bancs d’essais de l’Institut FEMTO-ST (dans le cadre de sa participation à l’UAR FCLAB). Par ailleurs, il visera également à la conception de modèles de simulation (sous Matlab/Simulink) de cette pile à combustible, validés expérimentalement sur la base des résultats obtenus.

Contact: 

elodie.pahon@utbm.fr 

daniel.hissel@univ-fcomte.fr

+ d'infos :
Icône PDF sujet_post_doc_femto-st_energie.pdf
https://www.femto-st.fr/fr/offres-emploi-stage-these/post-doctorat#job-5801

AS2M : Contrôle de trajectoire en boucle fermée par diélectrophorèse et mesures d’impédances

Contexte 

L’institut de recherche FEMTO-ST (CNRS) innove dans des solutions technologiques de pointe pour la fabrication de biomédicaments (médicaments dont le principe actif est d’origine biologique), en faisant appel à une équipe pluridisciplinaire ayant des compétences en robotique, automatique, informatique, microfluidique, microsystème, ou encore en fabrication salle blanche. Nous recherchons des personnes curieuses, avec un bon bagage scientifique et désirant s’épanouir dans le monde de la recherche et de l’innovation.

Description du poste

La production de biomédicament nécessite la capacité de déplacer de manière contrôler des cellules biologiques. Parmi les différentes méthodes de manipulation, les méthodes de manipulation sans contact par champs de force [5] permettent d’interagir avec les objets biologiques sans contact direct. Elles évitent ainsi toutes les problématiques de contamination biologique, garantissant la stérilité des cellules et du milieu liquide dans lequel elles évoluent. Le but de ce poste est de réaliser un dispositif permettant le contrôle de trajectoire en trois dimensions de cellule biologique par champ électrique en utilisant les champs électriques comme methode d’actionnement et de mesure. Pour l’actionnement, les champs électriques ont déjà été utilisés à travers le phénomène de diélectrophorèse [4] pour manipuler les cellules au sein de puce microfluidique. De précédant travaux au sein du département AS2M [2] ont permis de montrer la possibilité de contrôler précisément la trajectoire d’objets en deux dimensions par diélectrophorèse en utilisant un contrôle en boucle fermée basée sur un retour visuel. Toutefois, la mesure par vision entraine des limitations en termes de champ de vision, de vitesse d’acquisition des données et de traitement de l’information. Nous sommes donc intéressés pour remplacer la vision par la spectroscopie d’impédances [3]. Des travaux préliminaires [1] ont permis de valider ce principe comme méthode de mesure. La réalisation d’un dispositif de contrôle de trajectoire de cellules biologiques utilisant les champs électrique comme moyen d’actionnement et de mesure constitue à la fois un défi technique et scientifique qui permettrait l’étude des interactions cellulaires, l’amélioration de la productivité des médicaments de thérapie innovantes et de leur accessibilité. 

Tâches 

Dans le cadre de ce poste, vous serez amené à réaliser à la fois des études théoriques (pour la modélisation des différents phénomènes physiques et la réalisation d’étude par simulation) ainsi que des études expérimentales nécessitant la réalisation et la conception de système électrique et mécanique, l’implémentation d’algorithme de commandes et l’analyse de données. Vous devrez également manipuler des objets biologiques et travailler en salle blanche. Vous ferez partie d’une équipe d’ingénieurs, post-doctorant, doctorant, chercheur et enseignant chercheur avec des compétences complémentaires sur lesquelles vous pourrez vous appuyer. De manière plus détaillée, les tâches que vous serez amenés à réaliser sont : 

• Étudier les méthodes existantes dans la littérature pour l’actionnement et la mesure par champ électrique

• Caractériser les couplages et l’influence de l’actionnement sur la mesure pour proposer une méthode permettant d’effectuer les deux simultanément

• Proposer une loi de commande performante permettant le contrôle de la trajectoire de plusieurs objets en simultanés

• Concevoir un dispositif expérimental (partie mécanique, électronique, programmation) et des puces microfluidiques 

 

Compétences

 Nous cherchons une personne titulaire d’un master, d’un diplôme d’ingénieur ou d’un doctorat en robotique, automatique, physique ou microfluidique. Les compétences ci-dessous ne sont pas obligatoires mais constitueraient un atout pour le candidat :

 • Connaissances en biologie

 • Connaissances en électrostatique et une bonne compréhension des équations de Maxwell

 • Modélisation et commande des systèmes non-linéaires 

• Expériences en microfluidique 

Contact: 

bioimp.recrutement@femto-st.fr

+ d'infos :
Icône PDF 2-62e073ae3dc658.93168042control_fr1.pdf
https://www.femto-st.fr/fr/offres-emploi-stage-these/post-doctorat#job-5678

AS2M : Microbot à logique elastocapillaire pour la manipulation cellulaire

Contexte

L'institut de recherche FEMTO-ST (CNRS) innove dans des solutions technologiques de pointe pour la fabrication de biomédicaments (médicaments dont le principe actif est d'origine biologique), en faisant appel à une équipe pluridisciplinaire ayant des compétences en robotique, automatique, informatique, microfluidique, microsystème, ou encore en fabrication salle blanche. Nous recherchons des personnes curieuses, avec un bon bagage scientifique et désirant s'épanouir dans le monde de la recherche et de l'innovation. 

Description du poste

La possibilité de combiner un grand nombre de microrobots sur une puce fluidique pourrait avoir un impact considérable sur la manipulation des cellules. En effet, des milliers de microrobots parallèles travaillant ensemble et capables de saisir, d'injecter et d'isoler des cellules individuelles pourraient considérablement accélérer les thérapies innovantes nécessitant de traiter des millions de cellules en un court laps de temps. Malheureusement, les microrobots actuels dépendent de système macroscopique externe pour la localisation, le calcul et l'actionnement. Ces equipements limitent le nombre maximal de microrobot pouvant être placé à l'intérieur d'une puce microfluidique à typiquement 2 ou 3. Ce postdoc vise à résoudre ce problème en intégrant la détection et la programmabilité à l'intérieur de la puce microfluidique sur une surface de quelques micromètre carré. Ce faisant, un grand 1 nombre de microrobots autonomes (uniquement alimenté en puissance) pourraient être fabriqués directement à l'intérieur d'une puce microfluidique. Pour ce faire, l'approche que nous avons choisie est d'utiliser la microhydraulique. En effet, il a été démontré qu'un actionneur à piston de 100 µm était particulièrement puissant et compact [1]. Cependant l'amplification et la réalisation de circuit logique basé sur un signal de pression reste un dé_ décisif à cette échelle [2]. L'objectif du postdoctorant sera de démontrer que l'effet élastocapillaire peut être utilisé pour construire un transistor à pression hydraulique capable d'amplifier et de calculer. L'effet élastocapillaire se réfère à tous les phénomènes où la force de tension superficielle - survenant à l'interface des fluides - interagit avec un solide élastique. Ces effets deviennent prédominants à petite échelle et sont naturellement non linéaires avec une hystérésis élevée, ce qui les rend particulièrement adaptés à l'amplification d'un signal, !

 

Tâches
La personne recrutée réalisera les tâches suivantes:
• Examiner les différents scénarios d'élastocapilarité possible pour amplifier un signal de pression.
• Concevoir et caractériser un transistor de pression basé sur l'élastocapilarité.
• Démonstration du premier microrobot sur une puce à fluide avec un comportement autonome préprogrammé.
Chacune de ces étapes donnera lieu à une publication.

Compétences
Les candidats potentiels doivent être titulaires d'un doctorat dans l'un des domaines suivants (sans préférence) : robotique, physique, microuidique ou contrôle. Ils doivent également avoir une certaine expérience en sciences expérimentales.
Les compétences suivantes ne sont pas obligatoires mais constitueraient un atout pour les candidats :
• Expérience de la tension superficielle.
• Fabrication en salle blanche
• Simulation par méthodes des éléments finis, en particulier appliqué à la mécanique des fluides

Contact: 

bioimp.recrutement@femto-st.fr

+ d'infos :
Icône PDF 1-62e073ae3e25d8.56853157elastocapilarity-postdoc_fr.pdf
https://www.femto-st.fr/fr/offres-emploi-stage-these/post-doctorat#job-5676