Master 2 Internship

Aller au contenu
• FR
• EN Le CNRS sur le Web
• Institutionnel
• Cnrs.fr
• Fondation CNRS
• CNRS innovation
• Linkedin
• Recrutement
• le site Carrières
• Organisation administrative
• Les délégations
• Les instituts Portail Emploi
• Nos offres d’emploi
• Aide candidat
• le site Carrières Se connecter Espace candidat Adresse e-mail Mot de passe Mot de passe oublié Rester connecté ou Espace recruteur via Janus Guide Recruteur Créer un compte La création d'un compte est gratuite. Cet espace, vous permet de postuler en ligne, créer/gérer vos alertes et vos informations personnelles. Veillez à bien le remplir Prénom Nom Adresse e-mail Vous recevrez un e-mail pour valider votre adresse e-mail. Mot de passe Votre mot de passe doit contenir au minimum 8 caractères incluant 1 caractère spécial (autre qu'un chiffre ou une lettre). Il ne peut pas contenir de caractère '' Confirmation du mot de passe La question de sécurité permet la réinitialisation de votre mot de passe en cas d’oubli. Question de sécurité Réponse à la question J’ai lu et j’accepte les CGU et la politique de protection des données. # Dans quel(s) domaine(s) de recherche exercez-vous ?
• Accueil
• Portail Emploi CNRS
- Offre d'emploi
- Master 2 Internship
- Neurosymbolic Test Case Generation and Selection (H/F) Master 2 Internship
- Neurosymbolic Test Case Generation and Selection (H/F) Nouveau Laboratoire d'analyse et d'architecture des systèmes TOULOUSE
• Haute-Garonne
• Convention de stage
• 5 mois
• BAC+5 Cette offre est ouverte aux personnes disposant d’un titre leur reconnaissant la qualité de travailleur handicapé ou travailleuse handicapée. L'offre en un coup d'oeil L'unité Laboratoire d'analyse et d'architecture des systèmes Type de Contrat Convention de stage Temps de Travail Complet Lieu de Travail 31031 TOULOUSE Durée du contrat 5 mois Date d'Embauche 01/02/2027 Postuler Date limite de candidature : samedi 5 décembre 2026 23:59

Description du Poste
Les Missions Master 2 Internship
- Neurosymbolic Test Case Generation and Selection Title: Neurosymbolic Test Case Generation and Selection Supervisors: Jérémie Guiochet (https://homepages.laas.fr/guiochet), Hélène Waeselynck (https://homepages.laas.fr/waeselyn/) Profile: Computer Science Level: Master 2 (MSc) Duration: 5–6 months

Location:
LAAS-CNRS, Toulouse, France (https://www.laas.fr)

Salary:
~€600/month Test case generation and selection are major challenges in software testing, particularly for autonomous systems such as vehicles and robots, which are often evaluated using high-fidelity simulators. TAF (Testing Automation Framework), developed at LAAS-CNRS (https://wp.laas.fr/taf), generates diverse test cases from XML specifications containing parameters and constraints. It first produces logical test descriptions, then converts them into concrete test cases that can be executed by the system under test (SUT). Currently, TAF focuses on generation. However, executing large numbers of tests can be costly particularly when a high-fidelity simulator in used. Machine learning (ML) could help prioritize tests that are more likely to reveal defects or cover testing objectives, reducing execution costs while improving testing efficiency. The objective of this internship is to investigate how ML can guide test case selection and prioritization within a TAF-based pipeline. The approach will combine constraint-based generation, which ensures the validity of test descriptions, with data-driven predictions of their potential to reveal defects or to achieve test objectives. The internship should deliver a prototype integrating ML-based prioritization into TAF, an experimental dataset, and an evaluation of its benefits and limitations. The internship is suited to a Master's student in Computer Science interested in machine learning, software testing, or dependable autonomous systems. Python and basic ML knowledge are expected; familiarity with constraint solving or simulation-based testing is an advantage. Application : CV + cover letter + transcripts of records for the last two academic years on the website : https://www.laas.fr/fr/offres/master-2-internship-neurosymbolic-test-case-generation-and-selection/

Votre Profil
Profile: Computer Science Level: Master 2 (MSc) Votre Environnement de Travail Description de l'employeur www.laas.fr Rémunération et avantages Rémunération Congés et RTT annuels 44 jours Pratique et Indemnisation du TT Pratique et indemnisation du TT Transport Prise en charge à 75% du coût et forfait mobilité durable jusqu’à 300€

À propos
de l’offre Référence de l’offre UPR8001-JERGUI-007 Secteur d’activité Informatique, Statistiques et Calcul scientifique Langues French or English

À propos
du CNRS Le CNRS est un acteur majeur de la recherche fondamentale à une échelle mondiale. Le CNRS est le seul organisme français actif dans tous les domaines scientifiques. Sa position unique de multi-spécialiste lui permet d’associer les différentes disciplines pour affronter les défis les plus importants du monde contemporain, en lien avec les acteurs du changement. Le CNRS Les métiers de la recherche Langues Publiée il y a 6 heure(s) Partager cette offre Par mail Créer une alerte Ne manquez aucune opportunité de trouver le poste qui vous correspond. Inscrivez-vous gratuitement et recevez les nouvelles offres directement dans votre boite mail. Créer une alerte Master 2 Internship
- Neurosymbolic Test Case Generation and Selection (H/F) Convention de stage
• 5 mois
• BAC+5
• TOULOUSE
• Postuler Ces offres pourraient aussi vous intéresser
• Stage Master2 Informatique (H/F)
- Combinatorial testing for autonomous vehicles Nouveau Laboratoire d'analyse et d'architecture des systèmes TOULOUSE
• Haute-Garonne
• Convention de stage
• 5 mois
• BAC+5 Publiée il y a 6 heure(s) Toutes les offres Portail emploi
• Nos offres d’emploi
• Aide candidat Services
• Se connecter
• Créer un compte
• Nous contacter Nos autres sites
• le site Carrières
• Le site du CNRS
• Fondation CNRS Nous suivre
• CNRS sur Instagram
• CNRS sur Linkedin
• CNRS sur Youtube
• CNRS sur Facebook
• CNRS sur X
• CNRS sur Blus sky
• Plan du site
• Mentions légales
• Accessibilité
• Gestion des cookies
• Données personnelles
• Crédit : © 2025 Portail Emploi CNRS Retour en haut de page