En un coup d'œil
- Missions: Contribuez à la traduction du langage naturel en spécifications formelles pour les contrats intelligents.
- Entreprise: Rejoignez le CNRS, un leader mondial de la recherche scientifique.
- Avantages: 44 jours de congés, télétravail partiel et indemnisation des déplacements.
- Autres infos: Opportunités de publication et de développement professionnel dans un environnement dynamique.
- Pourquoi ce job: Participez à un projet innovant sur la blockchain et l'intelligence artificielle.
- Qualifications: Doctorat en informatique ou domaine connexe requis.
Le salaire estimé est compris entre 41850 - 51150 € par an.
Cette offre est ouverte aux personnes disposant d’un titre leur reconnaissant la qualité de travailleur handicapé ou travailleuse handicapée.
Type de Contrat : Chercheur en contrat de projet
Durée du contrat : 12 mois
Les Missions :
- Conception de méthodes de traduction sémantique : développer des approches permettant de traduire des instructions en langage naturel en formules logiques formelles.
- Développement d'un langage naturel contrôlé : étudier la définition d'un langage adapté au domaine, intégrant notamment des variables, des appels de fonctions et des éléments issus des arbres de syntaxe abstraite (Abstract Syntax Trees, AST) des contrats intelligents.
- Analyse syntaxique et sémantique : concevoir des méthodes de parsing permettant d'identifier les structures linguistiques pertinentes et de construire les représentations sémantiques correspondantes.
- Approches fondées sur l'intelligence artificielle : explorer et comparer différentes méthodes, notamment les modèles de langue préentraînés, l'apprentissage par renforcement et les modèles à variables latentes.
- Articulation entre méthodes symboliques et neuronales : étudier la complémentarité entre les approches grammaticales et sémantiques formelles et les méthodes d'apprentissage automatique, afin d'améliorer la fiabilité des traductions.
- Évaluation expérimentale : définir et mettre en œuvre des protocoles d'évaluation portant sur la fidélité sémantique, la correction logique, la robustesse et l'utilisabilité des méthodes proposées.
Selon les besoins du projet, les travaux pourront également porter sur l'extension des méthodes développées à des textes en langage naturel moins contraint, ainsi que sur la résolution des ambiguïtés et la clarification interactive des spécifications.
Compétences :
- La personne candidate devra être titulaire d'un doctorat, ou être en voie de l'obtenir, en informatique, traitement automatique des langues, linguistique computationnelle, intelligence artificielle, logique, méthodes formelles ou dans une discipline proche.
- Une expérience de recherche dans un ou plusieurs des domaines suivants sera particulièrement appréciée :
- Traitement automatique des langues, notamment compréhension du langage, analyse sémantique ou parsing sémantique.
- Sémantique formelle, grammaires computationnelles ou interface entre syntaxe et sémantique.
- Logique formelle, notamment logique temporelle, grammaires catégorielles typées ou formalismes apparentés.
- Apprentissage automatique appliqué à la prédiction structurée, à la modélisation du langage ou à la construction de représentations sémantiques.
- Raisonnement automatisé, vérification formelle ou traduction de spécifications en langage naturel vers des représentations formelles.
- Des connaissances en contrats intelligents, sémantique des langages de programmation, apprentissage par renforcement ou modèles à variables latentes constitueront des atouts supplémentaires.
- Les candidatures de personnes issues aussi bien de l'intelligence artificielle et du TAL que de la logique et des méthodes formelles sont encouragées.
- Un intérêt marqué pour l'articulation entre approches statistiques, neuronales et symboliques sera particulièrement apprécié.
Votre Environnement de Travail :
Ce postdoctorat s'inscrit dans le cadre du projet ANR BBSYTER (Blockchain-Based SYsTem vERification), consacré à la vérification des systèmes fondés sur la blockchain, avec un intérêt particulier pour la fiabilité et la correction des contrats intelligents (smart contracts).
La technologie blockchain connaît un développement considérable dans de nombreux domaines, notamment la finance, la santé, la traçabilité et la gestion d'actifs numériques. Les contrats intelligents, programmes exécutés sur une blockchain afin d'automatiser des règles et des transactions, jouent un rôle central dans cette évolution. Toutefois, leur déploiement soulève des enjeux majeurs de sécurité et de fiabilité : une vulnérabilité peut entraîner des pertes financières importantes ou compromettre le fonctionnement des systèmes concernés, tandis que l'immuabilité de la blockchain rend souvent les corrections particulièrement difficiles.
Dans ce contexte, les méthodes formelles constituent une approche essentielle pour spécifier, analyser et vérifier rigoureusement le comportement attendu des contrats intelligents. Le projet ANR BBSYTER vise à contribuer au développement de méthodes de vérification adaptées aux systèmes fondés sur la blockchain.
Rémunération et avantages :
- Référence de l’offre
- Congés et RTT annuels : 44 jours
- Prise en charge à 75% du coût et forfait mobilité durable jusqu’à 300€
Offre de postdoctorat (H/F) - Vers une traduction fiable du langage naturel en spécifications formelles pour les contrats intelligents employeur : CNRS
Rejoindre la Délégation régionale Bretagne et Pays de la Loire du CNRS, c'est intégrer une équipe RH dynamique et engagée, dédiée à l'accompagnement des laboratoires de recherche. Vous bénéficierez d'un environnement de travail collaboratif, riche en opportunités de développement professionnel, tout en profitant d'avantages tels que 44 jours de congés annuels et une prise en charge significative des frais de transport. Ici, l'autonomie et la proximité avec le terrain sont valorisées, vous permettant de contribuer activement à des projets RH structurants au service de la recherche publique.
Conseils d'expert StudySmarter🤫
Voici comment nous pensons que tu pourrais décrocher Offre de postdoctorat (H/F) - Vers une traduction fiable du langage naturel en spécifications formelles pour les contrats intelligents
✨Collabore sur des projets scientifiques
Fais-toi remarquer en participant à des projets de recherche collaboratifs. Cherche des plateformes comme ResearchGate ou des réseaux universitaires où tu peux proposer tes compétences ou rejoindre des projets en cours. Plus tu es impliqué, plus tu augmentes tes chances d'attirer l'attention des recruteurs.
✨Assiste à des conférences scientifiques
Rien de mieux qu’une bonne vieille conférence pour se faire des contacts ! Participe à des événements dans ton domaine de recherche pour rencontrer des professionnels, échanger des idées et créer des opportunités de collaboration. N’hésite pas à discuter avec des chercheurs et à leur parler de tes aspirations.
✨Optimise ton profil professionnel
Pour un poste à temps plein, il est essentiel de cultiver ta visibilité en ligne. Mets en avant tes publications, certифicats et projets sur des plateformes comme LinkedIn ou Academia.edu. N’oublie pas que les recruteurs peuvent faire des recherches sur toi !
✨Postule directement via notre site
Quand tu vois un poste qui te plaît, n'hésite pas à postuler directement sur le site de CNRS. C'est souvent là que tu auras moins de concurrence et où ils cherchent vraiment des candidats motivés. Ne laisse pas passer ta chance !
Nous pensons qu'il te faut ces compétences pour exceller en tant que Offre de postdoctorat (H/F) - Vers une traduction fiable du langage naturel en spécifications formelles pour les contrats intelligents
Quelques conseils pour ta candidature 🫡
Mets en avant tes publications !:Dans le domaine de la recherche scientifique, avoir des publications est souvent un atout majeur. N'hésite pas à inclure tes articles, même ceux que tu as présentés lors de conférences, dans ton CV ou ta lettre de motivation. Ça montre ta capacité à mener des recherches et à contribuer au domaine !
Démontre ta méthodologie:Dans ta lettre de motivation, explique clairement ta méthodologie de recherche. Les recruteurs de {{company }} apprécieront de voir que tu as une bonne compréhension des techniques de recherche et des analyses. Cela montre que tu es prêt à plonger dans des projets complexes dès le premier jour !
Parle de tes travaux antérieurs:Si tu as déjà eu des expériences de stage ou des projets en recherche, n'hésite pas à les détailler dans ton CV. Donne des exemples concrets de tes contributions et explique les résultats que tu as obtenus. Cela démontre ton expérience et ta capacité à travailler en équipe sur des projets scientifiques.
Fais preuve de passion dans ta lettre:Pour un poste de recherche à temps plein, montrer ta passion pour la science est crucial. Dis ce qui t'anime, ce qui t'intéresse dans le domaine et pourquoi tu souhaites rejoindre {{company }}. Cela peut vraiment faire la différence et te démarquer des autres candidats !
Comment te préparer à un entretien d'embauche chez CNRS
✨Maîtrise des compétences techniques
Assure-toi de bien maîtriser les méthodes et outils spécifiques à la recherche scientifique. Prépare-toi à discuter de tes expériences avec des techniques de recherche, des logiciels d'analyse de données, ou même des publications scientifiques que tu as contribué à rédiger. Cela montrera que tu es prêt à plonger dans le travail dès ton arrivée.
✨Démontre ta curiosité intellectuelle
Dans le domaine de la recherche scientifique, montrer que tu es passionné par l'apprentissage et l'exploration de nouvelles idées peut vraiment faire la différence. Prépare quelques exemples où tu as pris l'initiative d'apprendre quelque chose de nouveau ou de résoudre un problème complexe dans tes précédentes expériences.
✨Connaissance des projets en cours
Renseigne-toi sur les projets en cours chez CNRS. Sois prêt à discuter de la façon dont tes compétences et tes expériences pourraient s'intégrer et contribuer à ces projets. Cela démontre non seulement ton intérêt pour le poste, mais aussi ta proactivité.
✨Collaboration et travail d'équipe
La recherche scientifique est souvent un effort d'équipe. Prépare-toi à parler de tes expériences de travail en équipe, comment tu as géré les conflits et comment tu as contribué à des environnements collaboratifs. Met en avant ta capacité à fonctionner dans un cadre où l'échange d'idées est essentiel.
