3 software-formal-method-phd positions at Université de Montpellier in France

Architecture modulaire pour les jeux jumeaux : relier les mondes physique et numérique dans le jeu sérieux // Modular architecture for twin games. Connecting physical and digital in serious games

Université de Montpellier | Montpellier, Languedoc Roussillon | France | 3 months ago

, these 'twin games' enable new forms of interaction, transparency, and adaptability in participatory modeling. This PhD is situated at the intersection of game design, software architecture, and participatory

Développement d'un modèle neuronal prédictif et génératif de la beauté, basé sur l'intelligence artificielle // Development of a predictive and generative neural model of beauty, based on artificial intelligence

Université de Montpellier | Montpellier, Languedoc Roussillon | France | 3 months ago

characterization of fluency is necessary to facilitate its scientific study in humans and its application to other animals. The objective of this thesis is to propose a mathematical formalization of fluency using

Modélisation hybride d'arbre fruitier en 3D associant structure-fonction et deep-learning - Application à la conception de vergers agro-écologiques // Hybrid 3D Fruit Tree Modeling Combining Structure–Function and Deep Learning – Application to the Design

Université de Montpellier | Montpellier, Languedoc Roussillon | France | 2 months ago

. ------------------------------------------------------------------------------------------------------------------------------------------------------------------------ ------------------------------------------------------------------------------------------------------------------------------...