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 "Prior knowledge of functional programming, Lisp and/or R would help.". Since there have been only a few results, also nearby values are displayed.

Showing below up to 11 results starting with #1.

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

    

List of results

    • 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/Prior-20knowledge-20of-20functional-20programming,-20Lisp-20and-2For-20R-20would-20help."