Rescom

4 1/2 postes d’ATER à l’ENS de Lyon

Eric Fleury — Sat, 12 May 2012 20:30:42 +0000

L’École Normale Supérieure de Lyon est susceptible de recruter quatre 1/2 ATER en informatique (section 27) au titre de l’année universitaire 2012/2013. Le salaire sera complété afin de ne pas être inférieur à celui fixé par un contrat doctoral.

Les informations sur les modalités de candidature seront disponibles sur le web du département informatique de l’ENS de Lyon (http://www.ens-lyon.fr/DI/) ainsi que sur celui du LIP (http://www.ens-lyon.fr/LIP/). Le dossier de candidature sera aussi mis en ligne. Clôture des candidatures en juin a priori (la date exacte sera communiquée avec les dossiers)

Les enseignements se feront au sein du département d’Informatique de l’ENS de lyon. On s’attachera a ce que les enseignements soient connexes au projet/thématique de recherche des candidats et s’inscrivent dans l’un des trois parcours de la spécialité Informatique fondamentale.

Les candidat(e)s recruté(e)s feront leur recherche au LIP. Le projet du LIP s’organise selon deux axes complémentaires et transverses aux équipes :

• Modèles et méthodes en informatique mathématique.

• Défis des futures architectures de calcul et de communication.

Les recrutements se feront pour chacun des deux axes. Les candidat(e)s sont encouragé(e)s à prendre contact avec les responsables des équipes concernées par leur projet de recherche.

Contact enseignement : Eric Fleury, Eric.Fleury@ens-lyon.fr
Contact recherche : Gilles Villard, Gilles.Villard@ens-lyon.fr

ResCom 2012 : L’optimisation et la théorie des jeux dans les réseaux de communication

Eric Fleury — Tue, 20 Mar 2012 11:53:01 +0000

Dates : du 3 au 8 juin 2012

Lieu : Vittel

Site web: http://websites.isae.fr/rescom-2012/

Thème :

Le thème scientifique central développé dans le cadre de l’édition 2012 de l’école RESCOM s’inscrit dans le cadre d’une approche pluridisciplinaire d’une science des réseaux émergente, à la fois héritière et contributrice à l’évolution de champs théoriques puisant leurs fondements dans les domaines des mathématiques, de la physique, de l’économie ou de la biologie. L’optimisation et la théorie des jeux initialement développées en réponse à des besoins de modélisation et de prédiction de l’évolution de systèmes économiques constituent un appareil théorique puissant pour modéliser, comprendre et prédire l’évolution et le comportement des systèmes dynamiques complexes que constituent les réseaux de communication de nouvelle génération mettant en jeu une multitude d’acteurs aux intérêts parfois antagonistes.

Turing Centenary Meeting, ENS de Lyon, France

Eric Fleury — Wed, 14 Mar 2012 01:23:48 +0000

**************************************************************************
CALL FOR PARTICIPATION: TURING 2012

Conferences on Alan Turing’s Heritage

Turing Centenary Meeting, ENS de Lyon, France

Juy 2-4, 2012

http://www.turing2012.fr/

(free registration)

**************************************************************************

VENUE:

ENS de Lyon
Amphitheater Charle Mérieux
Lyon — France

FREE REGISTRATION on line: http://www.turing2012.fr/

Day 1 (July 2nd 2012) — TURING LECTURES 2012 (for a broad audience, in French) :

* Jean Lassègue, CNRS, CREA, France
* Giuseppe Longo, CNRS, ENS Paris, france
* Gilles Dowek, INRIA, France
* J.-M. Salanskis, Université Paris-Ouest Nanterre La Défense, France
* Sophie Laplante, CNRS, Université Paris 7, France
* Gerard Berry, INRIA, Académie des sciences, France

Day 1 (July 2nd 2012) — Leslie Valiant’s award ceremony: degree honoris causa of ENS de Lyon

Day 2 (July 3th 2012) — CONFERENCE ON TURING’S HERITAGE: LOGIC, COMPUTATION & COMPLEXITY (in English)

* Leslie Valiant, School of Engineering and Applied Sciences, Harvard University, USA
* Peter Bürgisser, University of Paderborn, Germany
* Martin Hyland, King’s College, Cambridge, England
* Daniele Micciancio, University of California, San Diego, USA
* Erich Kaltofen, North Carolina State University, Raleigh, USA
* Manuel Bodirsky, CNRS and Laboratoire d’Informatique de l’École Polytechnique, France

Day 3 : (July 4th 2012) — WORKSHOP ON COMPLEXITY & FINITE MODELS (in English)

This is the annual meeting of the French working group on complexity
and finite models (http://www.up2.fr/cmf/).
We welcome talks by resarchers from inside or outside the working
group, on topics related to finite model theory OR computational
complexity (including those complexity-theoretic topics that have no
connection to finite models).

If you want to propose a talk, please send the title of your presentation to:
Pascal Koiran <pascal.koiran@ens-lyon.fr>

or Natacha Portier <natacha.portier@ens-lyon.fr>

ORGANIZING & SCIENTIFIC COMMITTEE:

* Gilles Dowek, Deputy Scientific Director of INRIA
* Eric Fleury, Professor at ENS de Lyon, Head of the CS department
* Pascal Koiran, Professor at the CS department of ENS de Lyon
* Alexandre Miquel, Associate professor, ENS de Lyon
* Gilles Villard, Senior researcher at CNRS, Head of the CS laboratory (LIP) at ENS de Lyon.

AIMS AND SCOPE:

Alan Turing made a unique impact on mathematics, computing, computer
science, informatics, morphogenesis, artificial intelligence, philosophy and
the wider scientific world. June 23, 2012, is the Centenary of Alan
Turing’s birth.

This Turing Centenary Conference will be held in Lyon on July 2-4, 2012. The
whole conference will be composed of four main parts:

*** On the first day, 6 public lectures intended for a broad audience. These 6
lectures, in French, given by researchers in computer science, philosophy
and epistemology, will cover the influence of Turing’s work on our society.

At the end of the first day, Leslie Valiant will be awarded an honorary
degree from ENS de Lyon. He is currently T. Jefferson Coolidge Professor of
Computer Science and Applied Mathematics in the School of Engineering and
Applied Sciences at Harvard University. He received the Nevanlinna Prize in
1986, the Knuth Award in 1997, the EATCS Award in 2008, and the 2010 A. M.
Turing Award. He is a Fellow of the Royal Society (London) and a member of
the National Academy of Sciences (USA).

*** On the second day, an international conference on “Turing’s heritage: Logic,
Computation & Complexity“ (in English) that includes 6 invited talks (see
the program on the web site http://www.turing2012.fr/)

*** and on the last day, a workshop on “complexity and finite models”.

The conference is organised by the computer science department at ENS de
Lyon, the computer science research laboratory at ENS de Lyon and
the Excellence initiative laboratory in Mathematics and Computer
Science (MILYON). All talks will be recorded, live-streamed and available
online after the conference.

CONTACT: Prof. Eric Fleury at Eric.Fleury@ens-lyon.fr

==========================================================

Poste de professeur section 27 à l ‘ENS de Lyon / Département d’informatique / LIP

Eric Fleury — Tue, 13 Mar 2012 09:26:05 +0000

Poste de professeur 27ème section

Campagne d’emploi Département Informatique / Laboratoire LIP ENS 2012

Le DI et le LIP recrutent une, ou un, professeur en informatique pour la rentrée 2012.

Contact enseignement : eric.fleury@ens-lyon.fr

Contact recherche : gilles.villard@ens-lyon.fr

Poste de professeur 27ème section

Recherche (http://www.ens-lyon.fr/LIP/)

La, ou le, professeur viendra conforter les activités de recherche du LIP et les deux axes stratégiques et transverses du projet du laboratoire :

* défis des architectures de calcul et de communication ;

* modèles et méthodes en informatique mathématique.

Ce projet s’inscrit dans l’étude et l’anticipation du monde numérique futur et de ses fondement théoriques, dans l’optique d’inventer de nouveaux concepts et méthodes informatiques et de devancer leurs répercussions sur les autres sciences. La machine (ordinateur, infrastructure), aussi bien entité abstraite qu’objet physique, est le centre des études. Les recherches au LIP s’étendent du fondamental au développement, ce qui est une source majeure d’invention.

Le recrutement pourra renforcer les ouvertures du laboratoire qui sont riches et traditionnelles vers les mathématiques et vont en outre vers les industries de communication et de semi-conducteurs, les sciences numériques, la modélisation et les sciences du vivant.

La candidate, ou le candidat, se rapprochera d’une des équipes du LIP et pourrait amener une nouvelle thématique, en harmonie avec celles du projet du laboratoire. Elle, ou il, devra faire valoir ses capacités à prendre des responsabilités de haut niveau en administration de la recherche.

Les candidates et candidats brillants de tous profils sont encouragés à candidater; le choix final sera dicté en premier lieu par la qualité du dossier. Ce recrutement est très largement ouvert ; les candidatures externes françaises et étrangères seront privilégiées.

Enseignement (http://www.ens-lyon.fr/DI)

Le service d’enseignement s’effectuera au sein du Département Informatique de l’ENS de Lyon dans le cadre de la licence (L3) et du master (M1 et M2) dans la spécialité Informatique Fondamentale. L’une des caractéristiques emblématiques de cette formation dispensée à l’ENS de Lyon est d’être résolument une formation par et pour la recherche en informatique. Cet engagement dans la formation à la recherche au plus haut niveau se reflète dans l’organisation des enseignements. Les priorités du campus Mérieux amènent par ailleurs des enjeux et défis stratégiques importants autour de la complexité et de la modélisation, le Département Informatique de l’ENS de Lyon s’inscrit dans ce contexte local en soutenant des formations inter-disciplinaires.

On s’attachera à ce que les enseignements soient connexes à la thématique de recherche des candidat-es et se placent dans l’un des trois parcours de la spécialité informatique fondamentale : informatique mathématique ; algorithmique ; modèles et optimisations pour les infrastructures émergentes ; ou en lien avec le parcours modélisation des systèmes complexes. La spécialité Informatique Fondamentale est une formation complète qui apporte les fondamentaux d’une solide culture généraliste en informatique et offre des enseignements plus spécialisés avec une réelle introduction à la recherche. Le parcours systèmes complexes s’appuie à la fois sur les masters d’informatique fondamentale, de mathématiques et de physique de l’ENS Lyon. Les capacités à apporter des compétences complémentaires de celles existant actuellement au sein du Département Informatique et à proposer la création de nouveaux enseignements seront particulièrement appréciées.

La, ou le, professeur recruté devra faire valoir des capacités de gestion d’organisation et prendre des responsabilités administratives au sein du département.

Eric FLEURY, Professor
Leader of D-NET INRIA TEAM
Ecole Normale Superieure de Lyon
Head of the Computer Science Department
TEL: +33 (0)4 26 23 3807 +33 (0)672 162 974
WEB: http://perso.ens-lyon.fr/eric.fleury/
WEB: http://www.ens-lyon.fr/LIP/D-NET/
WEB: http://www.ens-lyon.fr/DI/

Engineer position on embedded system for INOSSEM project

Eric Fleury — Fri, 09 Mar 2012 10:31:42 +0000

We propose a 18 months engineer position in our team linked wit the
project INOSSEM. The objective is to adapt our virtual machine on a
given smart card platform (probably AT90SC) and modify the interpreter
layer in order to accept custom component. This custom component will
represent the adaptive security request from the application layer, and
the interpreter will be able to toggle in different secure execution mode.

Requested knowledge: C, Java, embedded programming, assembly language.

The position is located in our team SSD <http://secinfo.msi.unilim.fr>,
XLIM Laboratory, University of Limoges.

Please contact scientific head of SSD team : jean-louis.lanet[at]xlim.fr

** version française **

Nous proposons dans le cadre du projet INOSSEM, Investissement d’Avenir,
un contrat CDD de 12 mois renouvelable. L’objectif est de modifier une
machine virtuelle Java et de la porter sur un composant carte à puce en
incluant un gestionnaire mémoire et un gestionnaire de communication.

Bonne connaissance en C, Java un peu d’assembleur et programmation
embarquée.

Ce CDD se déroulera dans l’équipe SSD <http://secinfo.msi.unilim.fr>,
Laboratoire XLIM, Université de Limoges.

Contacter jean-louis.lanet[at]xlim.fr pour candidater.

Postes de Professeurs UPMC / LIP6

Eric Fleury — Fri, 09 Mar 2012 10:30:15 +0000

Il y a cette année deux postes de Professeurs à pourvoir à l’UPMC affectés au LIP6 : un poste “Informatique” (pas de profil plus ciblé) et un poste “Réseaux, systèmes répartis et/ou leur programmation”. Les profils sont là : http://www.upmc.fr/modules/resources/download/default/a_universite/a_pol/rec/antee2012/PR/27-PR-889.pdf http://www.upmc.fr/modules/resources/download/default/a_universite/a_pol/rec/antee2012/PR/27-PR-729.pdf

Poste MdC “algorithmique et théorie des graphes” à UFR des sciences & Laboratoire PRiSM, univsersité de Versailles St-Quentin

Eric Fleury — Wed, 29 Feb 2012 10:54:31 +0000

Un poste de Maitre de Conférences (section 27) profil “algorithmique
et théorie des graphes” est à pourvoir à l’UFR des sciences &
Laboratoire PRiSM, univsersité de Versailles St-Quentin

Profil Recherche :

La théorie des graphes est souvent utilisée dans des domaines
d’applications tels que celui destélécommuninications, ou celui de la
bio-informatique. Cette problématique s’insère complètement le labex
CHARMMMAT dans lequel certains membres de l’équipe AlCAAP participe autour
de la modélisation.

Une part importante des recherches de l’équipe ALCAAP concerne
l’algorithmique en utilisant la théorie des graphes dans des domaines
d’applications tels que celui des télécommunications, ou celui de la
bio-informatique. L’équipe ALCAAP utilise la théorie des graphes pour
concevoir des algorithmes pour les réseaux informatiques et pour les
réseaux biologiques.
Algorithmique pour la modélisation moléculaire
Cet axe de recherche en émergence au laboratoire lors du précédent
contrat quadriennal donne déjà lieu à des participations aux projets
PASAPAS (DIGITEO), AMIS-ARN (ANR BLANC). Une collaboration naissante avec
l’ILV (UVSQ) a déjà donné lieu à de premiers résultats intéressants;
il s’agit ici de renforcer cet axe de recherche prometteur. Le but est
l’étude de caractéristiques structurelles de molécules modélisées sous
forme de graphes afin d’identifier des fonctions biologiques ou chimiques.
Cet axe s’insère dans le labex CHARMMMAT.
Algorithmique pour les réseaux de télécommunications
Cette activité reconnue de l’équipe se mène depuis de nombreuses
années dans le cadre de collaboration nationales et internationales,
académiques et industrielles fructueuses. L’équipe a besoin de renforcer
son potentiel pour faire vivre son importante activité de contrats de
recherche au sein de l’axe transversal “Réseaux Routages et Performances”
du PRiSM. Citons les projets en cours européens, OCEAN, HOMESNET (CELTIC).
Les compétences requises concernent l’application de l’algorithmique des
graphes et/ou de l’algorithmique distribuée à des problèmes de routage,
de gestion de ressources, de communication multi-points avec prise en
compte de notions de QoS, en particulier dans les réseaux optiques haut
débit et les réseaux mobiles. Les activités de recherche seront en
particulier en rapport avec des problématiques du RTRA DIGITEO et du pôle
de compétitivité SYSTEM@TIC.
Le candidat devra posséder des compétences de large compétence en
algorithmique, en théorie des graphes, et en complexité.

Contact : Johanne.Cohen@prism.uvsq.fr

Profil Enseignement :

Algorithmique et programmation niveau Licence et Master.
La personne recrutée fera principalement son service d’enseignement au
niveau Licence.

Contact : Franck.Quessette@prism.uvsq.fr

9 postes en 27ème section à Bordeaux

Eric Fleury — Mon, 13 Feb 2012 13:01:25 +0000

9 postes d’EC sont à pourvoir en 27ème section sur
Bordeaux, dont certains en HPC (équipe SATANAS) :
1 poste de MCF est fléché sur cette thématique,
et un poste de PR est ouvert à toutes les thématiques,
incluant donc le HPC.

ATTENTION : la date limite de clôture des candidatures
pour les postes de l’Univ Bordeaux 1 est le 12 Mars
(les postes ne sont pas dans le calendrier commun).

Pour plus d’informations, voir le site du LaBRI, onglet
recrutement/”Concours Enseignants Chercheurs”.

http://www.labri.fr/index.php?n=LaBRI.Postes

Deux postes de professeur des universités à Annecy (Polytech / IUT)

Eric Fleury — Mon, 13 Feb 2012 09:47:02 +0000

Le Laboratoire Informatique, Systèmes et traitement de l’Information et de la Connaissance (LISTIC) de l’université de Savoie, localisé à Annecy le Vieux nous informe de l’ouverture de poste de professeur en 61ème section.

-Un poste rattaché à Polytech’ Annecy-Chambéry avec un profil recherche en systèmes embarqués ou fusion distribuée en environnement dynamique, application à la robotique de service, la domotique ou le bâtiment intelligent. (http://www.polytech.univ-savoie.fr/fileadmin/polytech_autres_sites/sites/listic/Administratif/PR_Polytech.pdf)

- Un poste rattaché à l’IUT d’Annecy dont le profil de recherche est “Evaluation des systèmes de fusion et gestion des incertitudes en présence d’informations hétérogènes dans les systèmes de vision.” (http://www.polytech.univ-savoie.fr/fileadmin/polytech_autres_sites/sites/listic/Administratif/PR_IUT_01.pdf)

6 postes d’EC informatique (section 27) au LINA de Nantes

Eric Fleury — Mon, 13 Feb 2012 09:03:55 +0000

Le Laboratoire Informatique de Nantes Atlantique (LINA UMR 6241) vous
informe de l’ouverture des six postes suivants
<http://www.lina.univ-nantes.fr/?Concours-enseignants-chercheurs,1090.html>
:

* quatre postes a` l’UFR Sciences :
o un poste de professeur
<http://www.lina.univ-nantes.fr/IMG/pdf/PR_INFORMATIQUE.pdf>
intitule’ “Informatique”
o un poste de mai^tre de confe’rences
<http://www.lina.univ-nantes.fr/IMG/pdf/MdC_INFORMATIQUE.pdf>
intitule’
“Informatique”
o un poste de mai^tre de confe’rences
<http://www.lina.univ-nantes.fr/IMG/pdf/MdC_OPTIMISATION_RO.pdf>
intitule’ “Optimisation-Recherche ope’rationnelle”
o un poste de mai^tre de confe’rences

<http://www.lina.univ-nantes.fr/IMG/pdf/MdC_OPTIMISATION_CONTRAINTES.pdf>
intitule’ “Optimisation-Contraintes”
* un poste a` Polytech’Nantes :
o un poste de professeur
<http://www.lina.univ-nantes.fr/IMG/pdf/PR_INFORMATIQUE-2.pdf>
intitule’ “Informatique” et associe’ au labex CominLabs
<http://www.cominlabs.ueb.eu/>
* un poste a` l’IUT de Nantes :
o un poste de mai^tre de confe’rences
<http://www.lina.univ-nantes.fr/IMG/pdf/MdC_TAL_APPRENTISSAGE.pdf>
intitule’ “Traitement automatique des langues-Apprentissage”

Les personnes inte’resse’es doivent prendre contact :

* pour la partie recherche : avec Pierre Cointe (directeur du
laboratoire) et avec les responsables des e’quipes de recherche
concerne’es.
* pour la partie enseignement avec le directeur de de’partement
concerne’ :
o Fre’de’ric Benhamou pour les postes UFR Sciences
o Vincent Ricordel pour le poste de Polytech’Nantes
o Christian Attiogbe’ pour le poste IUT

Les e’tablissement nantais souhaitent attirer les meilleurs
enseignants-chercheurs, ils invitent les candidats exte’rieurs inte’resse’s
a` les contacter au plus to^t pour pre’parer leur candidature et leur
inte’gration scientifique dans nos e’quipes de recherche et
d’enseignement. Voir les de’tails sur notre site
<http://www.lina.univ-nantes.fr/>.

Pierre Cointe,
Directeur du LINA