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
Doctorat Post-doctorat
FS, COMPLEXYS Physique Nucléaire et Subnucléaire Claude Semay
Boules de glu à trois gluons
Doctorat 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
Doctorat 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
Doctorat Post-doctorat
FS, COMPLEXYS, INFORTECH Informatique Théorique Véronique Bruyère
Advanced testing and evolution of executable behavioural software models
Doctorat Post-doctorat
FS, COMPLEXYS, INFORTECH Software Engineering Laboratory Tom Mens
Synthèse de stratégies pour des systèmes réactifs avec objectifs quantitatifs
Doctorat 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
Doctorat Post-doctorat
FS, COMPLEXYS, INFORTECH Systèmes d'Information Jef Wijsen
Objets compacts dans certaines théories modifiées de la gravitation.
Doctorat
FS, COMPLEXYS Physique théorique et mathématique Yves Brihaye
Compositional Model Checking of Stochastic Timed Automata
Doctorat Post-doctorat
FS, COMPLEXYS Effective Mathematics Unit Thomas Brihaye
Synthèse et Vérification de logiques temps-réel
Doctorat Post-doctorat
FS, COMPLEXYS Mathématiques effectives Thomas Brihaye
Vérification d'automates temporisés stochastiques
Doctorat 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
Doctorat 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.
Doctorat
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
Doctorat Post-doctorat
FS, COMPLEXYS Analyse Numérique Christophe Troestler