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
- 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
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.