Principal Computer Scientist In Reasoning And Robotics

Thesame Innovation; Xico; Presencial; MXN 80,000 - 120,000; Jornada completa

Descripción de la vacante

Una empresa de innovación tecnológica en Xico, Veracruz, busca un Principal Computer Scientist en razonamiento y robótica. Este rol implica modelar y organizar procesos industriales, enlazar soluciones y realizar análisis semánticos cerrados. Se requiere experiencia en PDDL, modelado de ontologías, y bases en Linux y ROS. Se ofrece un contrato a tiempo completo en un entorno de investigación, buscando un experto en tecnologías de robótica aplicada.

Formación

• Experiencia en PDDL, solvers y métodos asociados.
• Conocimiento en modelado de ontologías y representación del conocimiento.
• Conocimiento de ontologías existentes es apreciado.
• Habilidades en algebra lineal aplicada y robótica.
• Bases en sistemas operativos Linux.
• Experiencia en ROS (Robot Operating System).

Responsabilidades

• Descomponer y organizar procesos industriales y sus tareas.
• Modelar y caracterizar conceptos para simulaciones.
• Enlazar modelos a soluciones del mercado.
• Realizar análisis del razonamiento y decisiones tomadas.

Conocimientos

PDDL

Modelado de ontologías

Conocimiento de OWL y otros lenguajes de razonamiento

Algebra lineal aplicada a la 3D y robótica

Bases en Linux

Conocimientos en ROS1 y ROS2

Cinemática directa e inversa

Mecánica del sólido aplicada a la robótica

Conocimientos de simulación robótica

Modelado de bases de datos

Descripción del empleo

Descripción del trabajo

OverviewJoin to apply for the Principal computer scientist in reasoning and robotics role at THESAME INNOVATION

Responsabilidades

• 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 linéaires, 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.

Perfil / Calificaciones

• 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.
• Nice to have: 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).
• 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).

Para postular, s'il vous plaît déposez votre candidature sur l'URL suivante: [enlace]

Seniority level: Mid-Senior level. Employment type: Full-time. Job function: Engineering and Information Technology. Industries: Research Services.