Principal computer scientist in reasoning and robotics

THESAME INNOVATION; Château-Gaillard; Sur place; EUR 45 000 - 60 000; Plein temps

Résumé du poste

Une entreprise technologique spécialisée recherche un(e) Scientifique Principal(e) en Informatique pour renforcer son logiciel AKEOSpine. Vous travaillerez sur des procédés industriels, la modélisation de concepts et l'intégration de données réelles. Une expertise en PDDL, modélisation d'ontologies, et algèbre linéaire appliquée à la robotique est requise. Nous valorisons la créativité et un esprit analytique pour des solutions innovantes.

Qualifications

• Connaissance des méthodes PDDL et des solveurs.
• Aptitude à modéliser des ontologies et à représenter des concepts.
• Familiarité avec les langages de reasoning comme OWL.
• Compétences en algèbre linéaire 3D et robotique.
• Expérience sur des systèmes Linux.

Responsabilités

• Amélioration du Framework AKEOSpine pour la programmation de robots.
• Décomposition de procédés industriels et représentation des actions des capteurs.
• Modélisation et liaison de concepts pour vérification et simulation.
• Réalisation de simulations d'actions et retour d'informations réelles.

Connaissances

PDDL

Modélisation d’ontologies

OWL

Algebra linéaire appliquée

Linux

ROS1 et ROS2

Outils

NVIDIA Omniverse

GAZEBOsim

Description du poste

Offre mise à jour le 16/12/2022

Pour postuler, s’il vous plait déposez votre candidature sur : https://www.welcometothejungle.com/fr/companies/akeoplus/jobs/principal-computer-scientist-in-reasoning-and-robotics_chateau-gaillard?q=f3bfbef2d34a2f81a9857013d3cf7696&o=1415162

Mission

Tes missions s’inscriront dans l’amélioration de notre Framework et logiciel « AKEOSpine » (permet l’interaction, la programmation et le séquencement de technologies hétérogènes. Entre autres, permet en No-code le pilotage de robots).

• Décomposer et organiser différents procédés industriels (e.g. prise-dépose, palettisation, contrôle qualité, vissage, assemblage, soudure, peinture, marquage, polissage etc.) et les différentes actions / tâches / skills que peuvent effectuer les capteurs et actionneurs (e.g. capteurs 2D/3D, LIDAR, moteurs, robots poly-articulés de 4 à 7 axes, axes linaires, préhenseurs de robots, etc.),
• Modéliser et caractériser des concepts afin qu’ils puissent être questionnés, combinés, vérifiés, simulés, etc,
• Enrichir et lier des modèles avec des composants matériels et solutions constructives du marché,
• Lier la partie sémantique à des simulations et faire une boucle fermée entre la partie logique et simulée,
• Savoir si la/les solutions inférées sont complètes, viables, et leur pourcentage de correspondance aux critères. Les codes de raisonnement doivent être capables d’expliciter pourquoi certaines alternatives ont été rejetées, et ce qui manquerait pour arriver à la solution,
• Une fois disponible, réintroduire des données réelles, en boucle fermée avec la partie sémantique et simulée.

Profil

• PDDL, solvers et méthodes associées,
• Modélisation d’ontologies et représentation des connaissances, concepts et relations qui les lient. Une connaissance d’ontologies existantes serait appréciée.
• OWL et autres langages de reasoning,
• Hierarchical Task Networks (HTN)
• Algèbre linéaire appliquée à la 3D et la robotique (représentation de positions, repères, accélérations, transformations rigides, dans un espace cartésien 3D),
• Bases en Linux,
• Bases en ROS1 et ROS2.

Serait Un Plus

• Cinématique directe et inverse, appliquée à la robotique,
• Mécanique du solide appliquée à la robotique (principalement dynamique),
• URDF, SRDF,
• KnowRob,
• Open-ease,
• Solutions de simulation robotique et moteurs physiques (ex : NVIDIA Omniverse+Isaac Sim+PhysX, GAZEBOsim Ignition+DART, etc),
• AI type « gym » et « reinforcement learning »,
• Connaissance en modélisation de BDD, et requêtes sur des BDD,
• Recherche opérationnelle,
• Optimisation (notamment Meta-heuristiques).

Tu es motivé.e, tu veux mettre à disposition d’un projet robotique ton esprit vif, créatif, intrapreneur, ton esprit d’analyse et de synthèse.

Pour postuler, s’il vous plait déposez votre candidature sur : https://www.welcometothejungle.com/fr/companies/akeoplus/jobs/principal-computer-scientist-in-reasoning-and-robotics_chateau-gaillard?q=f3bfbef2d34a2f81a9857013d3cf7696&o=1415162