Offres Stages Thèses

Offres IGG 2015

Contrats doctoraux de l'Université de Strasbourg

• Outils de déformation multidimensionnels Directeure : D. Bechmann
• Outils de génie logiciel pour faciliter le dévelopement et l’automatisation de preuves formelles Coq en géométrie Directeur : P. Schreck, co-encadrement: N. Magaud

Sujets de stage Master 2

• Outils de déformation multidimensionnels Encadrants : D. Bechmann, I. Charpentier, P. Kraemer

• Reconstruction multi-organes d'images médicales Encadrants : D. Bechmann, S. Thery

• Reconstruction des vaisseaux à partir de leur structure topologique Encadrants : D. Bechmann, S. Thery

• Eye Tracking et modèle de saillance visuelle pour les objets tridimensionnels. Encadrants : Hyewon Seo, Guillaume Lavoué (LIRIS Lyon), Chaker Larabi (XLIM Poitier)

• Construction d'un atlas statistique pour le recalage 4D de maillages dynamiques. Encadrants : Hyewon Seo, Christian Heinrich, Frederic Cordier

• Preuves formelles en géométrie du triangle: vers une encyclopédie certifiée, Julien Narboux

• Symétrie dans les preuves formelles, Julien Narboux

• Approche combinatoire pour l’automatisation en Coq de démonstrations formelles en géométrie projective Encadrants : Nicolas Magaud, Pascal Schreck

Sujets de stage Licence ou Master 1

Stages courts de moins de 8 semaines (39 jours MAX) sans gratification

Stages "sur projets" avec gratification

• Génération de cliniciens virtuels en 3D. Encadrants : Hyewon Seo, Nicolas Padoy, Frederic Cordier, Frederic Larue.

Offres IGG 2014

Contrats doctoraux de l'Université de Strasbourg

• Reconstruction et visualisation d’objets 3D numérisés à partir de scans et de photographies : Directeur : J-M. Dischler

Sujets de stage Master 2

• Recalage fin de photos par rapport à un modèle 3D. Encadrants : Rémi Allègre et Jean-Michel Dischler

• Evaluation de l’éclairage en visualisation volumique directe. Encadrants : J.-M. Dischler & K. Chibout

• Calcul exact avec les réels et applications à la géométrie : Vers l'infini et au-delà. Encadrants : N.Magaud & L.Fuchs

• Formalisation de l’algorithme de Bentley-Ottmann. Encadrants : J. Narboux & P.Schreck

Sujets de stage Licence ou Master 1

Stages courts de moins de 8 semaines (39 jours MAX) sans gratification

• Développement d'une interface pour la comparaison visuelle d'objets 3D. Encadrants : Basile Sauvage & Kenneth Vanhoey.
• Filtrage de fonctions de radiance. Encadrants : Basile Sauvage & Kenneth Vanhoey.
• Filtrage d'images en bases d'ondelettes. Encadrants : Basile Sauvage.

• Implantation d'une méthode de triangulation de systèmes polynomiaux dans un CAS opensource. Encadrants : Pascal Schreck, Pascal Mathis et Julien Narboux.
• Implantation d'un prouveur automatique Encadrants : Julien Narboux, Pierre Boutry et Pascal Schreck.
• Exemples de preuve en géométrie Encadrants : Julien Narboux, Pierre Boutry et Pascal Schreck.

Stages "sur projets" avec gratification

• Génération de cliniciens virtuels en 3D. Encadrants : Hyewon Seo, Nicolas Padoy, Frederic Cordier, Frederic Larue.