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 "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". Since there have been only a few results, also nearby values are displayed.

Showing below up to 2 results starting with #1.

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

    

List of results

    • 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)
    Retrieved from "https://www.lrde.epita.fr/wiki/Special:SearchByProperty/:Job-20prerequisites/This-20internship-20targets-20students-20who:-0A*-20have-20some-20experience-20in-20Web-20development-20and-2For-20C%2B%2B-20and-2For-20Python-20(conjunction-20is-20favored-20over-20disjunction)-20-0A*-20would-20like-20to-20get-20familiar-20with-20the-20amazing-20world-20of-20model-2Dchecking-0A*-20would-20like-20to-20popularize-20model-2Dchecking-20and-20formal-20methods"