Job prerequisites
From LRDE
This is a property of type Text.
J
No mathematical knowledge needed. Good level in C required. C++ is a plus: it will be used, but at a very simple level. Java will also be used (again, limited knowledge will suffice). +
Savoir programmer en C++. Avoir apprécié le cours de théorie des langage rationnels (niveau spé). +
C++ +
* good programmer in some language
* acquaintance with C++
* facilities with theoretical matters
+
This internship targets students who:
* have some experience in Python programming and Unix development (experience with git and emacs would be a welcome bonus)
* have some notions of C++ and web development +
This internship targets students who:
* have some experience in C++ programming and Unix development (experience with git and emacs would be a welcome bonus)
* like to write clean and useful code (Spot is an open-source library used by other projects)
* like to optimize
* would like do get familiar with the amazing world of SAT-solvers and Büchi automata. +
Prior knowledge of functional programming, Lisp, Haskell and/or Scala would help. +
Prior knowledge of functional programming, Lisp and/or R would help. +
Une connaissance préalable de Lisp serait un plus, mais n'est pas requise. +
Une connaissance préalable de Qt et/ou Lisp serait un plus, mais n'est pas requise. +
* have some experience in multithreading and C++ programming
* like to write clean and optimized code
* facilities with theoretical matters (especially Automata)
+
Des connaissances en traitement d’images et reconnaissance des formes sont nécessaires à la réalisation de ce
stage. Le candidat devra être familiarisé avec le langage C++ ou le langage C au minimum (environnement
linux). Le travail à effectuer devra s’intégrer dans la plate-forme logicielle libre de traitement d’images du
LRDE, Olena, écrite en C++. +
Une connaissance préalable de Lisp et/ou des technologies du Web serait
un plus, mais n'est pas requise. +
Experience of C++, notions of automata (not necessarily omega-automata). +
This internship targets students who:
* have some experience in Web development and/or C++ and/or Python (conjunction is favored over disjunction)
* would like to get familiar with the amazing world of model-checking
* would like to popularize model-checking and formal methods +
Avant-propos important :
1) Ce stage de master est destiné à un étudiant qui souhaiterait poursuivre en thèse sur ce sujet.
2) Le sujet a une forte composante implémentatoire en C++ donc un prérequis attendu est une bonne connaissance de C++ (avoir lu Scott Meyers et
savoir déjà ce que sont SFINAE, RVO, et autres joyeusetés est un très bon signe). +
Le candidat devra au minimum être familier avec les notions d'expression
rationnelle et d'automate, et devra également avoir une petite expérience de
programmation dans un ou plusieurs langages dynamiques tel que JavaScript,
Python, Ruby, Lisp etc. +
This internship targets students who:
* have some experience in multithreaded/distributed and C++ programming
* like to write clean and optimized code
* facilities with theoretical matters (especially Automata) +
* good programmer in some language
* acquaintance with C++
* facilities with theoretical matters
+
* good programmer in some language
* acquaintance with C++
* facilities with theoretical matters
+