Job benefit
From LRDE
This is a property of type Text.
J
Rédevelopper une théorie des automates pour un nouveau type d'automates, découvrir les logiques temporelles et leurs applications. +
Le développement aura lieu à l'Institut Langevin et au LRDE de l'EPITA, et les expériences d'interférométrie optique se feront à l'hôpital des 15-20 à Paris. +
Familiarization with multiple programming languages, including Lisp, Haskell and Scala. Experience in the field of DSLs (Domain Specific Languages). +
Familiarization with a new dynamic programming language (Lisp), and with a language for statistics (R). Note: This internship will be in principle in partnership with a researcher at CNRS / University Paris V. +
Les intérêts pour le stagiaire sont:
- découvrir un nouveau langage de programmation: Lisp,
- se familiariser avec la notion et les techniques de profiling,
- travailler sur des techniques d'optimisation de tous niveaux: algorithmiques, mais aussi purement logicielles (typage statique optionnel, macros, méta-programmation etc.). +
Les intérêts pour le stagiaire sont:
- découvrir la programmation Qt.
- découvrir un nouveau langage de programmation: Lisp.
- se familiariser avec la notion de FFI (Foreign Function Interface): techniques permettant d'utiliser des bibliothèques écrites dans un langage X (ici C ou C++) depuis un langage Y (ici Lisp). +
Découvrir un nouveau langage (Lisp), le cas échéant. Développer un outil
qui pourrait occuper une place capitale dans le monde Lisp. +
* Learning many results about omega-automata (do not be afraid by all these new names!)
* Contributing on an open-source library and tools used by other researchers on omega-automata
+
La définition de structures de données (types d'images) et d'algorithmes génériques (traitements d'images) nécessite au préalable
d'effectuer une taxonomie des entités de ce domaine. Cette tâche est en soi un défi car elle est véritablement inédite.
Un second défi concerne la mise en oeuvre de modifications génériques de types, les "morpheurs" (par exemple, une image restreinte à un sous-domaine ou
l'image de la composante rouge d'une image couleur). Ces modifications génériques de types augmentent l'expressivité (et la concision) des développements et décuplent les fonctionnalités
offertes aux utilisateurs. En revanche, leur mise en oeuvre est un véritable challenge car elle est délicate par la combinatoire qu'ils entraînent. +
Les intérêts pour le stagiaire sont:
- découvrir Lisp, le cas échéant,
- travailler sur un ou plusieurs langages dynamiques,
- étudier l'expressivité de leurs systèmes de typage. +
This internship targets students who would like to do some theory,
and might be interested into continuing on a Ph.D thesis. +
Familiarization with multiple programming languages, including Lisp, Haskell and Scala. Experience in the field of DSLs (Domain Specific Languages). +
Familiarisation avec plusieurs langages de programmation, dont Lisp, Haskell et Scala. Expérience dans le domaine des DSLs (Domain Specific Languages). +
Familiarization with a new dynamic programming language (Lisp), and with a language for statistics (R). Note: This internship will be in principle in partnership with a researcher at CNRS / University Paris V. +
Familiarisation avec un nouveau langage de programmation dynamique (Lisp) et un langage pour les statistiques (R). Note: a priori en partenariat avec un chercheur du CNRS / Paris V. +
Les intérêts pour le stagiaire sont :
* découvrir la programmation Qt [*].
* découvrir un nouveau langage de programmation: Lisp.
* se familiariser avec la notion de FFI (Foreign Function Interface) : techniques permettant d'utiliser des bibliothèques écrites dans un langage X (ici C ou C++) depuis un langage Y (ici Lisp). +