Mission L'objet du projet est de renforcer la maturité et la visibilité de deux logiciels développés par des doctorants et des enseignants-chercheurs de l'équipe de recherche CIDRE. Ces deux logiciels (Blare et JBlare) sont des moniteurs de flux d'information, respectivement au sein du noyau linux et au sein de la JVM JamVM. Ils permettent de détecter en temps réel des flux d'information qui violent une politique de sécurité préalablement définie. Descriptif du poste Les objectifs du travail ser...

CosyVerif (http://www.cosyverif.org/) est un environnement logiciel dont l'objectif est la spécification et la vérification formelle des systèmes dynamiques. Il a été conçu en vue : de supporter différents formalismes ainsi que la possibilité d'en créer facilement de nouveaux, de fournir une interface graphique pour chaque formalisme, d'inclure des outils de vérification appelés à travers l'interface comme des services web, d'offrir la possibilité pour un développeur d'integrer son outil, permet...

Les chercheurs des équipes Inria ont publié plus de 4800 articles en 2010. Les 171 équipes-projets Inria sont réparties dans huit centres de recherche implantés en région. » Les technologies numériques sont à l'origine de nouveaux services, transforment en profondeur nos modes de vie et enrichissent notre quotidien. Inria est, en France, le seul institut public de recherche entièrement dédié aux sciences du numérique. 400 ingénieurs R&D accompagnent au quotidien les chercheurs dans leurs travaux...

Les chercheurs des équipes Inria ont publié plus de 4800 articles en 2010. Les 171 équipes-projets Inria sont réparties dans huit centres de recherche implantés en région. Mission Cette offre se situe dans le cadre du projet national medInria (http://med.inria.fr), destiné à doter Inria d'une plateforme de démonstration et de diffusion de ses recherches en visualisation et traitement d'images médicales. Cette plateforme, basée sur dtk (dtk.inria.fr) et Qt, regroupe les développements des 4 équip...

Les chercheurs des équipes Inria ont publié plus de 4800 articles en 2010. Ils sont à l'origine de plus de 270 brevets actifs et de 105 start-ups. Les 171 équipes-projets Inria sont réparties dans huit centres de recherche implantés en région. Le centre de recherche INRIA Paris-Rocquencourt est l'un des huit centres de recherche INRIA regroupant 600 personnes réparties dans 34 équipes de recherches et 9 services d'appui à la recherche. Le projet de recherche d'équipe MuSync se situe à la conflue...

A propos d'Inria et du poste créé en 1967, Inria est le seul institut public de recherche entièrement dédié aux sciences du numérique. A l'interface des sciences informatiques et des mathématiques, les 3400 chercheurs d'Inria inventent les technologies numériques de demain. Issus des plus grandes universités internationales, ils croisent avec créativité recherche fondamentale et recherche appliquée. Ils se consacrent à des problèmes concrets, collaborent avec les acteurs de la recherche publique...

Thème de recherche : algorithmique, programmation, logiciels et architectures. Projet : Caramel. A propos d'Inria et du poste : " Créé en 1967, Inria est le seul institut public de recherche entièrement dédié aux sciences du numérique. A l'interface des sciences informatiques et des mathématiques, les 3400 chercheurs d'Inria inventent les technologies numériques de demain. Issus des plus grandes universités internationales, ils croisent avec créativité recherche fondamentale et recherche appliqu...

Nous recherchons, pour l'un de nos clients, un Technicien de Maintenance H/F. Urgent - Poste à pourvoir immédiatement en CDD à La Chapelle Saint Luc. Rattaché(e) au responsable maintenance et sécurité, vous êtes chargé(e) d'effectuer la maintenance curative et préventive d'un parc machines et équipements, et avez en charge l'entretien général des locaux. Vous pouvez également être amené(e) à encadrer de deux à huit opérateurs. Vos missions se déclinent comme suit : - Maintenance curative : Vous ...

Dans le cadre d'une création de poste et de service, vous managez deux collaborateurs et vous prenez la responsabilité des tâches suivantes :\n\n- Vous organisez et pilotez l'ensemble des activités au sein de l'équipe ;\n- Vous êtes en relation avec les établissements financiers et vous négociez les conditions bancaires ;\n- Vous êtes responsable de l'équilibre des comptes bancaires ;\n- Vous garantissez la sécurité ainsi que les délais de traitement des rapprochements bancaires ;\n- Vous superv...

Dans le cadre d’une création de poste et de service, vous managez deux collaborateurs et vous prenez la responsabilité des tâches suivantes : -Vous organisez et pilotez l’ensemble des activités au sein de l’équipe ; -Vous êtes en relation avec les établissements financiers et vous négociez les conditions bancaires ; -Vous êtes responsable de l’équilibre des comptes bancaires ; -Vous garantissez la sécurité ainsi que les délais de traitement des rapprochements bancaires ; -Vous supervisez la comp...