Special

Search by property

This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.

Search by property

A list of all pages that have property "Job prerequisites" with value "Experience of C++, notions of automata (not necessarily omega-automata).". Since there have been only a few results, also nearby values are displayed.

Showing below up to 19 results starting with #1.

View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)

    

List of results

    • Jobs/M2 DV 2014 lisp-statistiques  + (Having attended my lectures on functional programming. Prior knowledge of Lisp and/or R would help.)
    • Jobs/SPE DV 2015 interface graphique Qt  + (Il n'est pas nécessaire (mais vivement souhaité), que le candidat ai déjà une expérience de la programmation Qt. Une expérience de Lisp n'est pas requise, mais serait bien entendu un plus.)
    • Jobs/M2 RL 2014 problematiques-performance  + (Keywords : scientific computing, Big Data, C++, parallel programming.)
    • Jobs/M2 2018 DV RTE  + (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.)
    • Jobs/M2 RL 2014 problematiques-performance/fr  + (Mots-clefs : calcul scientifique, Big Data, C++, programmation parallèle.)
    • Jobs/ENGI AD 2015 Bison  + (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).)
    • Jobs/M2 2015 DV Conception DSL  + (Prior knowledge of functional programming, Lisp, Haskell and/or Scala would help.)
    • Jobs/M2 2015 DV Lisp For Statistics  + (Prior knowledge of functional programming, Lisp and/or R would help.)
    • Jobs/ENGI ADL 2015 Spot Traduction de formules de logique temporelle en automates  + (Savoir programmer en C++. Avoir apprécié le cours de théorie des langage rationnels (niveau spé).)
    • Jobs/M2 DV 2014 conception-dsl  + (Skills in functional programming are essential. Prior knowledge of Lisp, Haskell and/or Scala would help.)
    • Jobs/M2 JF 2014 inpainting  + (Skills in image processing and pattern rec … Skills in image processing and pattern recognition are necessary for the realization of this internship.</br>The candidate should be familiar with the C + + language. The work to be performed must be integrated into Olena, the free software platform for image processing of the LRDE written in C + +.e processing of the LRDE written in C + +.)
    • Jobs/M2 2019 MC Spot Distribued  + (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))
    • Jobs/M2 2015 ADL Python Interfaces for Spot  + (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)
    • Jobs/M2 2017 MC Spot demo  + (This internship targets students who: * ha … This internship targets students who:</br>* have some experience in Web development and/or C++ and/or Python (conjunction is favored over disjunction) </br>* would like to get familiar with the amazing world of model-checking</br>* would like to popularize model-checking and formal methodspularize model-checking and formal methods)
    • Jobs/M2 2015 ADL SAT-based Minimization  + (This internship targets students who: * ha … This internship targets students who:</br>* have some experience in C++ programming and Unix development (experience with git and emacs would be a welcome bonus)</br>* like to write clean and useful code (Spot is an open-source library used by other projects)</br>* like to optimize</br>* would like do get familiar with the amazing world of SAT-solvers and Büchi automata.g world of SAT-solvers and Büchi automata.)
    • Jobs/M2 2017 DV QuickRefs  + (Une connaissance préalable de Lisp et/ou des technologies du Web serait un plus, mais n'est pas requise.)
    • Jobs/M2 2016 DV Profiling for Climb  + (Une connaissance préalable de Lisp serait un plus, mais n'est pas requise.)
    • Jobs/M2 2016 DV Qt for Climb  + (Une connaissance préalable de Qt et/ou Lisp serait un plus, mais n'est pas requise.)
    Retrieved from "https://www.lrde.epita.fr/wiki/Special:SearchByProperty/:Job-20prerequisites/Experience-20of-20C%2B%2B,-20notions-20of-20automata-20(not-20necessarily-20omega-2Dautomata)."