[position offer in english below] Le LIPN (Laboratoire d’Informatique de Paris-Nord, CNRS UMR 7030, http://lipn.univ-paris13.fr) recrute un ingénieur de recherche CNRS permanent pour le développement des plateformes logicielles de l’équipe LoVe (Logique et Vérification, ex-LCR). Ce poste est publié au concours numéro 42 (2ème poste de ce concours) du CNRS : http://www.dgdr.cnrs.fr/drhita/concoursita/consulter/resultats/consulter.htm Date limite de candidature : 28 juin 2017
L’équipe LoVe conduit des recherches de pointe en spécification et vérification formelles, en logique et programmation. Elle dispose de plusieurs outils logiciels dans ces domaines, qu’elle souhaite valoriser au travers de plateformes ouvertes et étendre avec l’évolution de ses recherches : CosyVerif (placeforme de vérification), IMITATOR (model-checking de systèmes temps-réel paramétrés), Marionet (simulateur de réseaux informatiques), etc. Le LIPN est situé sur le campus principal de l’Université Paris 13, accessible en 15 minutes depuis Gare du Nord et offrant de nombreux services (sport, restaurant administratif, etc.) Pour toute information complémentaire, vous pouvez contacter : Laure Petrucci, directrice du LIPN : [email protected] Stefano Guerrini, responsable de l’équipe LoVe : [email protected] ——————— The LIPN laboratory (Laboratoire d’Informatique de Paris-Nord, CNRS UMR 7030, http://lipn.univ-paris13.fr) offers a CNRS research engineer permanent position, for the development of software tools and platforms in the LoVe (Logics and Verification, ex-LCR) group. This position is published by CNRS : http://www.dgdr.cnrs.fr/drhita/concoursita/consulter/resultats/consulter.htm (number 42, 2nd position offered). Candidates must hold a PhD in computer science. Applications deadline is 28 June 2017. The LoVe group conducts high quality research in formal specification and verification, and in logics and programming. It offers several software tools in these research areas, and seeks to develop them according to new research results, and offer easy access through open platforms : CosyVerif (verfiication platform), IMITATOR (model-checking of parametric real-time systems), Marionet (computer networks simulator), etc. The LIPN is situated on the main campus of University Paris 13, reachable in 15 minutes from Gare du Nord by public transport, and offering many facilities (sports, restaurant for staff, etc.) For further information, contact: Laure Petrucci, director of LIPN : [email protected] Stefano Guerrini, head of team LoVe : [email protected] -- ---------------------------------------------------------------------- Laure Petrucci [email protected] Director of LIPN, CNRS UMR 7030 Institut Galilée - Université Paris 13 99 Avenue Jean-Baptiste Clément, F-93430 Villetaneuse, FRANCE tel:[+33 1]/[01] 49 40 35 79 (sec: 35 90) fax:[+33 1]/[01] 48 26 07 12 tel (IUT):[+33 1]/[01] 49 40 37 41 ---------------------------------------------------------------------- ---- [[ Petri Nets World: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]] [[ Mailing list FAQ: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]] [[ Post messages/summary of replies: ]] [[ [email protected] ]]
