Trouver un sujet de thèse

Faculté

Institut

Filtres sélectionnés

Institut(s) : COMPLEXYS

16 sujets trouvés

Sujet de thèse Facultés/instituts Service(s) Promoteur(s)
Systèmes quantiques à N corps
Formation doctorale Post-doctorat
FS, COMPLEXYS Physique Nucléaire et Subnucléaire Claude Semay
Boules de glu à trois gluons
Formation doctorale Post-doctorat
FS, COMPLEXYS Physique Nucléaire et Subnucléaire Claude Semay
Modélisation du transport d'ions dans les polymères conjugués pour la bioélectronique
Formation doctorale Post-doctorat
FS, COMPLEXYS, MATERIAUX Chimie des Matériaux Nouveaux David Beljonne
Etude d'équilibres adéquats pour des jeux multi-joueurs modélisant des systèmes informatiques complexes
Formation doctorale Post-doctorat
FS, COMPLEXYS, INFORTECH Informatique Théorique Véronique Bruyère
Advanced testing and evolution of executable behavioural software models
Formation doctorale Post-doctorat
FS, COMPLEXYS, INFORTECH Software Engineering Laboratory Tom Mens
Synthèse de stratégies pour des systèmes réactifs avec objectifs quantitatifs
Formation doctorale Post-doctorat
FS, COMPLEXYS, INFORTECH Informatique Théorique Véronique Bruyère
Paradigmes d’interrogation de bases de données pour des applications informatiques non traditionnelles
Formation doctorale Post-doctorat
FS, COMPLEXYS, INFORTECH Systèmes d'Information Jef Wijsen
Objets compacts dans certaines théories modifiées de la gravitation.
Formation doctorale
FS, COMPLEXYS Physique théorique et mathématique Yves Brihaye
Compositional Model Checking of Stochastic Timed Automata
Formation doctorale Post-doctorat
FS, COMPLEXYS Effective Mathematics Unit Thomas Brihaye
Synthèse et Vérification de logiques temps-réel
Formation doctorale Post-doctorat
FS, COMPLEXYS Mathématiques effectives Thomas Brihaye
Vérification d'automates temporisés stochastiques
Formation doctorale Post-doctorat
FS, COMPLEXYS Mathématiques effectives Thomas Brihaye
Théories de champs de spins élevés : Une ligne d’attaque vers la gravité quantique
Formation doctorale Post-doctorat
FS, COMPLEXYS Physique théorique et mathématique Nicolas Boulanger
Conjectures et preuves assistées par ordinateur en théorie extrémale des graphes
Post-doctorat
FS, COMPLEXYS Algorithmique Hadrien Mélot
Définissabilité dans certains réduits additifs d’anneaux euclidiens.
Formation doctorale
FS, COMPLEXYS Logique Mathématique Françoise Point
Groupes définissables dans les corps topologiques différentiels.
Post-doctorat
FS, COMPLEXYS Logique Mathématique Françoise Point
Propriétés qualitatives de solutions d'équations aux dérivées partielles : existence, propriétés nodales, symétries
Formation doctorale Post-doctorat
FS, COMPLEXYS Analyse Numérique Christophe Troestler