Jobs

Create job offer

Bison

• Jobs/ENGI AD 2015 Bison (title Bison : points d'entrée multiples)

Automata Theory

• Jobs/ENGI ADL 2015 Spot Traduction de formules de logique temporelle en automates (title Traduction de formules de logique temporelle en automates)
• Jobs/M2 2015 AD Faster, Faster, Faster (title Faster, Faster, Faster)
• Jobs/M2 2015 ADL Python Interfaces for Spot (title Development of an IPython interface, and a couple of web interfaces for the Spot library)
• Jobs/M2 2015 ADL SAT-based Minimization (title Minimization of Büchi automata using SAT-solving)
• Jobs/M2 AD 2014 minimisation-automates (title Minimization of automata)
• Jobs/M2 AD 2015 Symmetric Difference Automata (title Symmetric Difference Automata)
• Jobs/M2 AD 2015 Syntactic Monoids (title Syntactic Monoids)
• Jobs/M2 AD 2015 Vcsn for Linguists (title Vcsn for Linguists)
• Jobs/M2 ADL 2015 General Acceptance Condition (title Algorithms for automata over infinite words using a general acceptance condition)

Traitement d'images, GPU, apprentissage

• Jobs/LANGEVIN (title Imagerie holographique rétinienne hyperspectrale en temps réel sur GPU)

Dynamic Languages

• Jobs/M2 2015 DV Conception DSL (title Lisp for the design and the development of DSLs)
• Jobs/M2 2015 DV Lisp For Statistics (title Lisp for statistics: an alternative to R)
• Jobs/M2 2016 DV Profiling for Climb (title Étude et optimisation des performances de la bibliothèque Climb)
• Jobs/M2 2016 DV Qt for Climb (title Conception et réalisation d'une interface graphique Qt pour Climb)
• Jobs/M2 2017 DV QuickRefs (title QuickRefs - Documentation globale du monde Lisp)
• Jobs/M2 2018 DV RTE (title Typage de Séquences Hétérogènes dans les Langages Dynamiques)
• Jobs/M2 DV 2014 conception-dsl (title Lisp for the design and the development of DSLs)
• Jobs/M2 DV 2014 conception-dsl/fr (title Lisp pour la conception et le développement de DSLs.)
• Jobs/M2 DV 2014 lisp-statistiques (title Lisp for statistics: an alternative to R)
• Jobs/M2 DV 2014 lisp-statistiques/fr (title Lisp pour les statistiques: une alternative à R.)
• Jobs/SPE DV 2015 interface graphique Qt (title Conception et réalisation d'une interface graphique Qt pour Climb)

Image Processing

• Jobs/M2 2015 TG Document Image Simplification (title Document image simplification)
• Jobs/M2 2015 TG Self Dual Filters (title Exploration of new self-dual filters in mathematical morphology)
• Jobs/M2 2015 TG Text Extraction (title Text extraction from natural images)
• Jobs/M2 2016 JF Text recognition in natural images (title Reconnaissance de texte dans des images naturelles)
• Jobs/M2 JF 2014 inpainting (title Inpainting in videos)
• Jobs/M2 JF 2014 inpainting/fr (title Inpainting dans les vidéos)
• Jobs/M2 RL 2014 problematiques-performance (title Study of performance-related issues in image analysis in a generic context)
• Jobs/M2 RL 2014 problematiques-performance/fr (title Étude de problématiques de performance en traitement d'images dans un contexte générique)
• Jobs/M2 TG 2014 image-simplication (title Document image simplification)
• Jobs/M2 TG 2014 image-simplication/fr (title Simplification des images de documents)
• Jobs/M2 TG 2014 self-dual-filters (title Exploration of new self-dual filters in mathematical morphology)
• Jobs/M2 TG 2014 self-dual-filters/fr (title Exploration de filtres auto-dual en morphologie mathématique)
• Jobs/M2 TG 2014 text-extraction (title Text extraction from natural images)
• Jobs/M2 TG 2014 text-extraction/fr (title Extraction de texte dans des images naturelles)

Model checking

• Jobs/M2 2016 ER Multi-core for Spot (title Development of Parallel Algorithms for Spot)
• Jobs/M2 2017 MC Spot Generic Acc (title Algorithms for generic acceptance)
• Jobs/M2 2017 MC Spot demo (title Interactive Spot demonstration)

Traitement d'Images

• Jobs/M2 2017 TG Modern Generic C ++ programming (title Programmation générique en C++ moderne pour le traitement d'images)

Model checking, Distributed Algorithms and data structures

• Jobs/M2 2019 MC Spot Distribued (title Distributed Model Checking)

Automata

• Jobs/M2 AD 2014 minimisation-automates/fr (title Minimisation d'automates)

Automates et vérification

• Jobs/PHD 2019 LDL (title Traduction de logique dynamique linéaire en ω-automates)
• Jobs/PHD 2019 omegaGPU (title Parallélisation des algorithmes d'ω-automates sur GPU)
• Jobs/PHD 2019 omegalgo (title Algorithmique des ω-automates)