Association des Universitaires Libanais en France

mercredi 31 mars 2010

Ce blog a été déplacé

Ce blog est désormais accessible à l'adresse http://aulf.blogspot.com/. Vous allez être automatiquement redirigé dans 30 secondes. Sinon, cliquez ici. Pour les abonnés au flux, mettez à jour vos abonnements sur le site http://aulf.blogspot.com/feeds/posts/default.

samedi 27 mars 2010

[Blog] Offre CDD de 5-6 mois expert système réseau (mise en route d'un noeud EGEE à Lille)]

Le Centre de Ressources Informatiques (CRI) de Lille1 recrute sur
contrat à durée déterminée un Ingénieur de recherche développement ...

Fiche profil de contrat au CRI de Lille1
Ingénieur de recherche développement

Durée : 1 avril ou 2 mai au 30 septembre 2010
Niveau de formation : bac+5 minimum

BAP E : Informatique, statistique et calcul scientifique
Emploi-type : expert système réseau
Fonction : chef de projet
Rémunération nette : 1564 €/ mois.

*Mission *

- Responsabilité de l'évolution et du bon fonctionnement du site de
grille de calcul du CRI.
- Prise en charge et mise en œuvre des systèmes informatiques dans le
contexte de la grille.

*Activités *

* Réaliser la connexion du cluster nouvellement installé au CRI à la
grille européenne EGEE,
* Assurer le bon fonctionnement du nœud en utilisant les
technologies de la grille,
* Développer et implémenter les systèmes informatiques,
* Assurer la veille technologique, définir l'évolution du matériel
et préparer le cahier des charges pour les investissements 2010,
* Traiter les incidents,
* Rédiger la documentation.

*Compétences *

* Connaissance approfondie des systèmes LINUX et des réseaux,
* Bonne pratique des langages de programmation et de script,
notamment shells Unix, Perl, Python, Java,
* Maitrise des concepts et techniques d'architectures système,
stockage et réseau,
* Connaissance des techniques et des outils utilisés dans les
grilles de calcul,
* Sens relationnel et capacité à travailler en équipe,
* Très bonne maîtrise de l'anglais écrit

*Contexte *

*Le Centre de Ressources Informatiques* (CRI) de Lille1 est un service
informatique d'environ 45 personnes. Le *CRI** *implante et gère
l'ensemble des moyens informatiques d'intérêt collectif de
l'établissement. Il propose de nombreux services aux étudiants et
personnels de l'établissement.

La personne recrutée travaillera avec l'ingénieur chargé du calcul
intensif et l'ingénieur système chargé de l'installation du nœud de grille.

Ce contrat se terminera le 30 septembre 2010 mais il pourrait avoir un
prolongement au CRI si le candidat se présente au concours sur le poste
E1E25 ouvert en 2010 sur un profil différent de celui-ci.


_______________________________________________
Blog mailing list
Blog@aulf.org
http://lists.aulf.org/cgi-bin/mailman/listinfo/blog

mercredi 24 mars 2010

[Blog] postdoc position in Reims]

-------------------------------------------------------------
Our apologies if you receive multiple copies of this message.
-------------------------------------------------------------

Post-Doctoral Position : GRID simulation campaigns management et supervisions over a GRID middleware and architecture.

Work description

The USS SIMGRID project plans to manage large GRID simulations, as well of execution time, size of the system, and parameter sweep. In this work, we manage more specially simulations execution over GRID, and aims to run GRID simulations over a GRID.

In order to execute and manage such simulations, we need to design a specific solution, able to cope with the different components of the simulation : the GRID environment (i.e.Grid 5000, local network), the grid middleware (i.e. DIET, Confiit, APST …), the simulator (i.e. SimGRID, DASOR …). The first part of the conception of the campaign manager solution is now complete : we studied the available grid solutions and collected some user experiments feedback. According to those information, we now design the campaign manager. This campaign manager will be the glue between the different part mentions above. It aims to manage the different phases of the simulation : the middleware deployment, the simulator execution management, results collection, and the inter-active simulation driving.

The main task of this postdoc is to design the general campaign manager architecture, in order to obtain a generic solution, able to drive simulations over different platforms, with different middlewares and different simulators. This includes theoretical approach, software design and experiments.

The candidate will have a strong background in software engineering, specially in java applications design, and applications development over GRID platforms. The work will be located at CreSTIC laboratory, University Of Reims Champagne-Ardenne, will be part of the ANR-funded project "USS-SimGrid".

This position is scheduled to start as soon as possible.

Contact :
Olivier Flauzac
olivier.flauzac@univ-reims.fr

_______________________________________________
Blog mailing list
Blog@aulf.org
http://lists.aulf.org/cgi-bin/mailman/listinfo/blog

jeudi 18 mars 2010

[Blog] [Fwd: [asr-forum] Postdoctoral position]

Please, find in the following the postdoctoral announce also available
http://www.inria.fr/travailler/mrted/fr/postdoc/details.html?id=PGTFK026203F3VBQB6G68LONZ&LOV5=4508&LG=FR&Resultsperpage=20&nPostingID=4130&nPostingTargetID=8789&option=52&sort=DESC&nDepartmentID=19

Best Regards.

.Yves.

--
Yves Caniou
Associate Professor at Université Lyon 1,
Member of the team project INRIA GRAAL in the LIP ENS-Lyon,
Délégation CNRS in Japan French Laboratory of Informatics (JFLI),
* in Information Technology Center, The University of Tokyo,
2-11-16 Yayoi, Bunkyo-ku, Tokyo 113-8658, Japan
tel: +81-3-5841-0540
* in National Institute of Informatics
2-1-2 Hitotsubashi, Chiyoda-ku, Tokyo 101-8430, Japan
tel: +81-3-4212-2412
http://graal.ens-lyon.fr/~ycaniou/


#------------------------------------------------------------------------------------------
15- Design and study of green aspects in parallel resources simulation for
scheduling in distributed platforms - GRAAL
Type de poste : Post-doctorant
Lieu de travail : Lyon
Thème de recherche : Algorithmique, programmation, logiciels et architectures
Projet : GRAAL


Environment

Yves Caniou - yves.caniou@ens-lyon.fr

Research team name: GRAAL

Research domain: Networks, Systems and Services, Distributed Computing

Research theme: Algorithms and Scheduling for Distributed Heterogeneous
Platforms

This position is offered at the "Rhone-Alpes" Research Unit of INRIA, located
near Grenoble and Lyon.
The Unit includes more than 700 people, within 34 research teams and 10
support services.

Deadline for applications: 21/03/2010.
Monthly salary after taxes : 2127.64 € (medical insurance included)

Note: recommendation letters can be sent separetely from the application file,
to: recrutpostdoc@inrialpes.fr


Activities
Context:
Financial cost and carbon footprint are central to research issues concerning
High Performance Computing and its network aspects. Hence last technologies
bring for example processors able to vary their frequency speed in order to
consume less power directly (at processor level) and indirectly (at the air
conditioning level of a machines room for example).
On another level, researches are leaded to develop batch reservation systems
able to dynamically turn on and off resources, and dynamically reduce their
speed, in function of the load of the parallel machine they manage.
In parallel, studies on scheduling in distributed systems require simulation
tools implementing models the closest to reality in order to replay
experiences in the same conditions to confront approaches, analyze behaviors
and compare results that we cannot study and/or quantify in purely
theoretical.

State of Art:
Simgrid is a distributed platform simulator implementing several layers and
models for simulation (processors and network). With the module Simbatch, we
have extended the functionalities of Simgrid, making possible to simulate
parallel resources and their batch manager for study of cluster scheduling
issues as well as distributed scheduling issues at Grid level.
In parallel, carbon footprint measures have been taken on the Grid'5000 site
of Lyon by a research team of Lyon. Models are also studied, both on the
consumption of a on/off status change of a machine (stop, hibernate, etc.)
and on frequency modulation by teams in Lyon and Toulouse, in order to
integrate such mechanisms in OAR, the batch manager developed in Grenoble,
which is deployed on each site of Grid'5000.

Subject:
The main objective of this work is to study, adapt and implement energy
consumption models in the parallel resources simulator Simbatch.
Scheduling and re-scheduling based on green metrics, which follow actual work
in progress in the team, will be conducted and used to validate the
simulator.



Skills and profile
The candidate is expected to have knowledge on distributed platforms,
computing Grid and on scheduling in heterogeneous distributed platforms.
Candidates with experiences in Simgrid and Simbatch will be favored.



Additional information
http://graal.ens-lyon.fr/~ycaniou/
https://www.grid5000.fr/mediawiki/index.php/Special:G5KPublications
#--------------------------------------------------------------------------

_______________________________________________
Blog mailing list
Blog@aulf.org
http://lists.aulf.org/cgi-bin/mailman/listinfo/blog

jeudi 11 mars 2010

[Blog] [Fwd: [Specif-forum] Poste MCF Ensimag/Verimag]

Un poste de Maitre de Conférence intitulé "Systèmes embarqués" est
ouvert à l'ENSIMAG (http://ensimag.grenoble-inp.fr/), avec une
affectation en recherche au laboratoire Verimag
(http://www-verimag.imag.fr/). Le profil MCF 27 0623 est accessible à
http://ensimag.grenoble-inp.fr/1266994847522/0/fiche___actualite/&RH=ENSIMAG_FR

Le profil recherche est très ouvert sur les thématiques de toutes les
équipes du laboratoire.

Personnes à contacter :

* Enseignement :
o Jacques Mossière (Jacques.Mossiere@grenoble-inp.fr, 04 76827 63)
o Sébastien Viardot (Sebastien.Viardot@grenoble-inp.fr, 04 76827278)

* Recherche :
o Nicolas Halbwachs (Nicolas.Halbwachs@imag.fr, 04 56 52 03 55)
o Yassine Lakhnech (Yassine.Lakhnech@imag.fr)
o Florence Maraninchi (Florence.Maraninchi@imag.fr)
o Oded Maler (Oded.Maler@imag.fr)


_______________________________________________
Blog mailing list
Blog@aulf.org
http://lists.aulf.org/cgi-bin/mailman/listinfo/blog

dimanche 7 mars 2010

[Blog] Thèse

Nouveaux enjeux de la programmation mathématique pour les problèmes linéaires en nombres entiers multi-objectif

 

De nombreux problèmes rencontrés quotidiennement dans divers domaines (transport, télécommunication, économie ...) peuvent être modélisés sous la forme de programmes linéaires en nombres entiers et sont étudiés dans le cadre de l'optimisation combinatoire. De nombreuses méthodologies, exactes ou approchées, ont été proposées et il est aujourd'hui possible de résoudre des problèmes de taille conséquente.

 

Par ailleurs, la prise en compte simultanée de plusieurs objectifs contradictoires est de plus en plus considérée et forme l'objet d'étude de l'optimisation combinatoire multi-objectif. Les méthodes pour l'optimisation multi-objectif ont connu un intérêt croissant ces vingt dernières années. Cependant, le domaine de recherche a tendance à s'enliser, privilégiant des méthodes basées sur les méta-heuristiques tels que les algorithmes évolutionnaires. Alors que l'on recense des centaines d'études dédiées aux algorithmes évolutionnaires multi-objectif, le nombre portant sur les méthodes exactes multi-objectif est de l'ordre de la dizaine.

 

Ainsi, un effort reste à fournir pour amener les méthodes multi-objectif au même niveau d'utilisabilité et de performance que les méthodes en optimisation classique, et ainsi développer l'adoption et l'utilisation de l'optimisation combinatoire multi-objectif, en leur permettant de s'attaquer à des problèmes réalistes de grande taille.

 

Le projet de cette thèse sera d'explorer l'adaptation et l'élaboration de techniques, notamment des méthodes exactes comme les algorithmes de séparations et coupes et des heuristiques mathématiques comme la méthode de branchement local, utilisant la programmation mathématique pour l'optimisation multi-objectif, en se focalisant sur les problèmes linéaires en nombres entiers et plus particulièrement les problèmes en variables 0-1.

 

Des compétences en développement informatique (C/C++) et dans l'utilisation d'outils d'optimisation comme CPLEX sont souhaitées mais non nécessaires. Des compétences en optimisation combinatoire sont aussi un plus.

 

Merci à tout candidat de faire parvenir un CV, le relevé de notes de M1, les notes disponibles de M2 et une lettre de motivation.

 

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

* Encadrant       : Nicolas Jozefowiez

* Contact           : nicolas.jozefowiez_at_laas.fr

* Lieu                 : LAAS-CNRS - Toulouse

* Durée              : 3 ans (plein temps) débutant en Octobre 2010

* Rémunération : Allocation de recherche ministérielle

* Mots-clés        : Recherche opérationnelle, optimisation combinatoire multi-objectif, méthodes exactes, programmation linéaire en nombres entiers

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

[Blog] [Fwd: [asr-forum] POST-DOC POSITION AVAILABLE at INRIA LILLE: Efficient Resource Utilization in Dynamically Reconfigurable Multi-processor Embedded Systems]



Please disseminate the following Post-doc position to your colleagues and phd students that could be interested.

This position is at INRIA DART group.

http://www.inria.fr/lille/scientific-research/research-teams/DART_page

=== POST-DOC POSITION AVAILABLE ====

 

Title of the proposal: Efficient Resource Utilization in Dynamically Reconfigurable Multi-processor Embedded Systems

Keywords: Reconfigurable (FPGA) Systems, Partial and dynamic reconfiguration, programming/execution model, Multi-cores, Embedded architectures, energy/power consumption saving.

Author of the proposal: Jean-Luc Dekeyser, Smail Niar, Samy Meftali

Supervisor of the Post-doc: Jean-Luc Dekeyser, Smail Niar, Samy Meftali

Team-Project: DART

Location: LILLE

Scientific context:

The computing industry is trying to improve embedded system performances with parallel execution and reconfigurability[1][2]. If the trend towards the use of multi-cores systems does not need to demonstrate, the use of reconfigurable circuits (RC) is much more recent. This solution represents an alternative to GPPs and ASICs as it offers a good compromise between the GPP flexibility and ASICs performances. Thanks to the technological evolution, the number of logical cells has strongly augmented. The recent Virtex6 Xilinx FPGA family for instance contains 6 times more logical elements and DSPs than the VirtexII family [3] designed 6 years ago, all with a 60% power consumption reduction. According to the ITRS [2] this tendency will grow in the coming years. It will be then possible over the years to put on a RC, hundreds of processors with their interconnection network [4][5].

Another benefit in the use of RCs is their ability to offer partially and dynamic reconfiguration. In the area of MPSoC, this feature can be used to add specialized computing cores on the FPGAs function of the application parameters and running conditions. FPGA flexibility thus allows programmers to reconfigure them as needed. Consequently, multiple low-frequency heterogeneous cores and IPs can be used to provide further power savings by specialization. As a result, customized programmable hardware can significantly improve the execution speed with lower energy budget [6][7].

Goal:

In spite of these achievements, programming and efficient exploitation of these dynamically RC remains a painful and complicated task.

For instance in the past the vast majority of FPGA users were hardware designers with an important amount of knowledge and experience in circuit design. VHDL or Verilog are the most used languages to program these FPGA. These languages are however unfamiliar to the majority of SoC software programmers. In addition, the management of partially dynamically reconfigurable circuits with the existing tools does not allow an efficient and an easy use of the huge FPGA possibilities.

The objective of this post-doc is to collaborate in designing a methodology for a better and easy utilization of current and future FPGA hardware resources. The post doctor must lead to the proposal of a new programming and execution model specific to multi-processor architecture systems on FPGA. Heterogeneity and dynamic reconfigurability are the main features that must be taken into account.

To allow an efficient and dynamic control of the system resources, the model must define new services either at the operating system level or at the hardware level (performance monitoring unit). Through these services, it will be possible for the developer to determine at run time the state of the system and the application needs. This may correspond to application energy consumption, cache or memory activities, and workload at the NoC level, etc. On the other side, and by the using of this information, the application developer will be able to control the dynamic application deployment on the architecture.

Required skills:

Candidates must have (or are about to receive) a Ph.D. in the domain of Embedded Sw or Hw design.  He/She must have a strong background either in parallel programming models or in reconfigurable embedded system design.

To apply, please visit:

http://www.inria.fr/travailler/mrted/en/postdoc/details.html?id=PNGFK026203F3VBQB6G68LOE1&LOV5=4508&LG=EN&Resultsperpage=20&nPostingID=3860&nPostingTargetID=8353&option=29&sort=ASC&nDepartmentID=19

Bilbiographical References:

1.     1 M.Duranton and Al., Hipeac roadmap, 2009

2.     2 www.itrs.com

3.   3   www.xilinx.com

4.    4  www.eve.com

5.      5 X.Li and O.Hammami, Fast Design Productivity for Embedded Multiprocessor through Multi-FPGA Emulation: The case of a 48-way Multiprocessor with NOC.

6.      6 R. Wain et Al., An overview of FPGAs and FPGA programming, internal technical report, CCLRC Daresbury Laboratory, 2006.

7.      7 A.Donlin, Applications, Design Tools and Low Power Issues in FPGA Reconfiguration, in “Designing Embedded Processors” book.

8.      8 V.M. Sima , K. Bertels, Runtime decision of hardware or software execution on a heterogeneous reconfigurable platform, 2009 IEEE International Symposium on Parallel & Distributed Processing (IPDPS’09).





jeudi 4 mars 2010

[Blog] Fwd: Postdoctoral positions at LIX, Ecole Polytechnique.]


Dear colleagues,

The Laboratory for Computer Science at Ecole Polytechnique (Lix),
France, is inviting applications for its 2009-2010 Lix-Qualcomm
Postdoctoral Fellowship for research in computer science. This
fellowship is open to exceptional candidates across all disciplines
and teams at LIX -- and is supported by a competitive stipend.

Please share this call within your respective academic networks, and
encourage good candidates to apply.
Further information, as well as instructions for applicants, can be found
on the following URL:
       http://www.lix.polytechnique.fr/fellowship/

Inquiries should be directed to fellowship@lix.polytechnique.fr

On behalf of the 2010 Lix-Qualcomm Fellowship Committee,
Thomas Clausen



[Blog] Offre de postdoc INRIA / ENS de Lyon : Sensor network and distributed processing]



Bonjour,

L'équipe INRIA D-NET (ENS de Lyon/LIP)  en collaboration avec l'équipe
Sisyphe (ENS de Lyon/Laboratoire de physique) propose un sujet de
postdoc : Sensor network and distributed processing

Le détail du sujet et les candidatures se font en ligne sur le web  :
http://www.inria.fr/travailler/mrted/fr/postdoc/details.html?id=PGTFK026203F3VBQB6G68LONZ&LOV5=4508&LOV2=4487&LG=FR&Resultsperpage=20&nPostingID=3909&nPostingTargetID=8696&option=52&sort=DESC&nDepartmentID=19


-

[Blog] [Fwd: [di-di] Fw: [gdr-im] Postdoctoral positions at LIX, Ecole Polytechnique.]

Dear colleagues,

The Laboratory for Computer Science at Ecole Polytechnique (Lix),
France, is inviting applications for its 2009-2010 Lix-Qualcomm
Postdoctoral Fellowship for research in computer science. This
fellowship is open to exceptional candidates across all disciplines
and teams at LIX -- and is supported by a competitive stipend.

Please share this call within your respective academic networks, and
encourage good candidates to apply.
Further information, as well as instructions for applicants, can be found
on the following URL:
http://www.lix.polytechnique.fr/fellowship/

Inquiries should be directed to fellowship@lix.polytechnique.fr

On behalf of the 2010 Lix-Qualcomm Fellowship Committee,
Thomas Clausen


--
Rabih TARRAF
PHD Student
SMILE team -LIRMM-I2S
------------------------
Université Montpellier 2
LIRMM - UMR 5506 - CC 477
161 rue Ada
*34095* Montpellier Cedex 5
France
-------------------------
Tel: 04 67 41 86 63
www.lirmm.fr


_______________________________________________
Blog mailing list
Blog@aulf.org
http://lists.aulf.org/cgi-bin/mailman/listinfo/blog

mercredi 24 février 2010

[Blog] Post-doc Position]

----------------------
JOB OFFER
----------------------
Post-doc position


----------------------
TITLE
----------------------
Towards Scalable and Dependable Computing in the Cloud

----------------------
KEYWORDS
----------------------
Distributed systems, Internet services Cloud computing, Caching,
Scalability, Dependability

----------------------
RESEARCH DESCRIPTION
----------------------
Cloud Computing is a paradigm for enabling remote, on-demand access to a
set of configurable computing resources. A Cloud may stand at different
levels of the hardware and software stack where: (i) an Infrastructure as
a Service (IaaS) cloud enables access to hardware resources such as
servers and storage devices, (ii) a Platform as a Service (PaaS) cloud
allows the access to software resources such as operating systems and
software development environment, and (iii) a Software as a Service (SaaS)
cloud is an alternative to classical software applications running locally
on personal computers which are, instead, provided remotely by the cloud
(e.g. messaging services, document editing services, etc.). Although Cloud
Computing provides a means to support remote, on-demand access to
computing resources, its ad-hoc management poses significant challenges to
the scalability, performance, dependability and economical costs of cloud
services.
The proposed project aims at investigating novel protocols to enhance the
scalability and performance of the cloud, while guaranteeing its
dependability and reducing its cost. Caching is a classical technique to
improve service performance [Bouchenak et. al. 2006, Perez et. al. 2007,
Rabinovich et. al. 2001]. However, service composition and cloud
elasticity that underly Cloud Computing make classical caching techniques
sub-optimal.
This project aims at: (i) Proposing novel distributed algorithms and
protocols, for (ii) Managing caching in th cloud, and (iii) Handling
scalability and data integrity issues.

This project is a joint work between INRIA, Grenoble, France, and the
Technical University of Madrid, Spain.

REFERENCES:

Bouchenak et. al. Caching Dynamic Web Content: Designing and Analysing an
Aspect-Oriented Solution. ACM/IFIP/USENIX International Middleware
Conference, 2006

Perez et. al. Consistent and Scalable Cache Replication for Multi-tier
J2EE Applications. ACM/ IFIP/USENIX International Middleware Conference,
2007

Rabinovich et. al. Web Caching and Replication Addison-Wesley, 2001

----------------------
SKILLS
----------------------
Distributed computing systems, Distributed algorithms, Internet services,
Java programming

----------------------
LOCATION
----------------------
INRIA – The French National Institute for Research in Computer Science and
Control
Grenoble, France
http://www.inria.fr/index.en.html

----------------------
CONTACT
----------------------
Sara Bouchenak

Sara.Bouchenak@inria.fr | http://sardes.inrialpes.fr/~bouchena/
Phone: +33 (0)4 7661 53 82 | Fax: +33 (0)4 7661 52 52


_______________________________________________
Blog mailing list
Blog@aulf.org
http://lists.aulf.org/cgi-bin/mailman/listinfo/blog

[Blog] Offre de post doc en calcul topologique - INRIA Saclay]



---------------------------- Original Message ----------------------------
Subject: [di-di] Fw: [gdr-im] Offre de post doc en calcul topologique -
INRIA Saclay
From:    "Alain Jean-Marie" <ajm@lirmm.fr>
Date:    Mon, February 22, 2010 12:13 pm
To:      di-di@lirmm.fr
        rob@lirmm.fr
--------------------------------------------------------------------------



Begin forwarded message:

Date: Mon, 22 Feb 2010 11:39:54 +0100
From: Frederic Chazal <frederic.chazal@inria.fr>
To: gdr-im@gdr-im.fr
Subject: [gdr-im] Offre de post doc en calcul topologique - INRIA Saclay



Post-doctoral position at INRIA Saclay, Geometrica team

------------------------------------------------------------------------------------------------
Authors of the postdoctoral research subject : Frédéric Chazal (INRIA Saclay)
and Vin de Silva (Pomona College)

Title of the postdoctoral research subject : Computational Topology for
Topological and Geometric Data Analysis.

Location: INRIA Saclay Ile-de-France (http://www.inria.fr/saclay/)
Project : GEOMETRICA team (C3TTA Digiteo project)

Research context:
Applied and computational topology is a comparatively young discipline;
topology has traditionally been regarded as a cornerstone of pure
mathematics.
However, this situation has changed in the recent years. The physical
sciences
have been revolutionized by technology for gathering data in unprecedented
quantity. Powerful computers with large memories are readily available to
process this data. Techniques developed in the 20th century to study abstract
geometrical objects can now be implemented within computer programs and
applied
to 21st century scientific data. This has generated and will continue to
generate a rich class of research problems for the present-day researcher in
applied topology. Motivated by problems and applications coming from various
areas, applied and computational topology has enjoyed an increasing
interest in
the recent years. In collaboration with Vin de Silva, who is holding a chair
from the Digiteo consortium (http://www.digiteo.fr/) in Saclay, the
Geometrica
group at INRIA Saclay is working on and has strong expertise in the
development
(both at the theoretical and applied level) of new topology-based tools for
Topological and Geometric Data Analysis.

Postdoctoral researcher work description:
The position is at INRIA Saclay, for 12 months, starting in 2010. The exact
starting date is negotiable. The successful applicant will work in
collaboration with Geometrica researchers and with V. de Silva, on the
development of new methods to infer relevant topological and geometric
information from data sets represented by metric spaces (e.g. point clouds).
Starting from existing results, the researcher will have to design new
methods,
prove their relevance, implement them, and run experiments on actual data
sets.
The implemented algorithms must be integrated with a recently created
open-source library (named CULT) for computational topology, hosted at INRIA.

Required knowledge and background:
Applicants must have a PhD in Computer Science or Mathematics with a strong
knowledge in (computational) geometry/topology or statistical data analysis.
Expertise in C/C++ is required. Applicants should be able to work efficiently
in a research team.

For further information, please contact :
Frédéric Chazal ( frederic.chazal@inria.fr ) and Vin de Silva (
Vin.deSilva@pomona.edu )


--

[Blog] Post-doc position at Paris 13]




---------------------------- Original Message ----------------------------
Subject: [di-di] Fw: [gdr-im] Post-doc position at Paris 13
From:    "Alain Jean-Marie" <ajm@lirmm.fr>
Date:    Thu, February 18, 2010 4:11 pm
To:      di-di@lirmm.fr
        rob@lirmm.fr
--------------------------------------------------------------------------



Begin forwarded message:

Date: Wed, 17 Feb 2010 23:30:35 +0100
From: Damiano Mazza <damiano.mazza@lipn.univ-paris13.fr>
To: types-announce@lists.seas.upenn.edu, gdr-im@gdr-im.fr,
choco@pps.jussieu.fr
Subject: [gdr-im] Post-doc position at Paris 13


_______________________________________________________

                 Post-doctoral position
              at LIPN, Université Paris 13

  Linear logic and implicit computational complexity
http://www-lipn.univ-paris13.fr/complice/spip.php?rubrique4
________________________________________________________


A 12-month post-doctoral position is available at the

  Laboratoire d'Informatique de Paris Nord (LIPN), Université
Paris 13

within the research project COMPLICE (Implicit Computational
Conmplexity, Concurrency and Extraction,
http://www-lipn.univ-paris13.fr/complice/spip.php?rubrique4),
founded by the French national research agency (ANR).

_______________________________________________________
________________ Scientific context ___________________

COMPLICE is a four-year project whose partner sites are ENS Lyon,
Université Paris 13 and LORIA-Nancy.  The project's goal is to
investigate the foundations and applications of implicit
computational complexity (ICC), along the lines of semantics and
logic, functional programming, program extraction from proofs,
quantitative properties and ICC for concurrent systems.

_______________________________________________________
______________________ Location _______________________

LIPN (http://www-lipn.univ-paris13.fr/?lang=uk) plays a major role
in research in computer science within the northern Paris area.
The post-doc researcher will work within the Logic, Computation
and Reasoning group
(http://www-lipn.univ-paris13.fr/LCR/?lang=uk), among whose main
research directions there are proof theory, linear logic,
lambda-calculus, implicit computational complexity, denotational
semantics, system specification and verification, and algebraic
combinatorics.  LIPN is situated in Villetaneuse, in the northern
suburbs of Paris, within the campus of the University Paris 13
(about 45 minutes from the city center by public transportation).

Interaction with the other sites of the COMPLICE project is
also expected.  Additionally, LIPN has long established
interactions with the following sites:
- Preuves, Programmes et Systèmes, Paris 7;
- Institut de Mathematiques de Luminy, Marseille;
- Dipartimento di Informatica, Università di Torino;
- Dipartimento di Filosofia, Universita Roma Tre, Rome;

_______________________________________________________
________________ Salary and benefits __________________

The monthly salary will be around 2000 EUR.  This is then subject
to income tax.  The position is for 12 months, but might be
extendable for a longer period.

The post-doc researchers will be affiliated to the French social
security system, and will be entitled to unemployment benefit at
the end of the contract.

_______________________________________________________
____________________ Requirements _____________________

The applicants should hold a PhD.  We are especially interested in
candidates with background in one or several of the following fields:
- linear logic (proof nets, geometry of interaction, ludics)
- rewriting theory (lambda-calculus, interaction nets)
- denotational semantics (category theory, games semantics,
vectorial semantics)
- implicit computational complexity (light logics, type systems
for complexity)

_______________________________________________________
_______________ Application procedure _________________

Applications should be sent EXCLUSIVELY by email, to the addresses

  Damiano.Mazza@lipn.univ-paris13.fr
  Virgile.Mogbil@lipn.univ-paris13.fr

preferably with the subject containing the words "Complice
Application" (to be sure that the application is not accidentally
eaten by spam filters...).

The application must include:
- a detailed resume;
- a short research project (1 page);
- contact information of two possible references.

Applications are currently open and will stay open until the
position is filled, without a specific deadline.  Potentially
interested candidates are invited to contact us as soon as possible.

The starting date of the post-doc will be decided with the
candidate (earlier dates are preferred).

Further information, including the notification of when the
position will be filled, will be made available on the following
web page: http://www-lipn.univ-paris13.fr/complice/spip.php?rubrique14





[Blog] Post-doc Position

>
> Begin forwarded message:
>
> Date: Mon, 22 Feb 2010 10:35:21 +0100
> From: Sara Bouchenak <Sara.Bouchenak@inria.fr>
> To: membres@sigops-france.fr, asr-forum@cines.fr
> Subject: [asr-forum] Post-doc Position
>
>
> ----------------------
> JOB OFFER
> ----------------------
> Post-doc position
>
>
> ----------------------
> TITLE
> ----------------------
> Towards Scalable and Dependable Computing in the Cloud
>
> ----------------------
> KEYWORDS
> ----------------------
> Distributed systems, Internet services Cloud computing, Caching,
> Scalability, Dependability
>
> ----------------------
> RESEARCH DESCRIPTION
> ----------------------
> Cloud Computing is a paradigm for enabling remote, on-demand access to a
> set of configurable computing resources. A Cloud may stand at different
> levels of the hardware and software stack where: (i) an Infrastructure as
> a Service (IaaS) cloud enables access to hardware resources such as
> servers and storage devices, (ii) a Platform as a Service (PaaS) cloud
> allows the access to software resources such as operating systems and
> software development environment, and (iii) a Software as a Service (SaaS)
> cloud is an alternative to classical software applications running locally
> on personal computers which are, instead, provided remotely by the cloud
> (e.g. messaging services, document editing services, etc.). Although Cloud
> Computing provides a means to support remote, on-demand access to
> computing resources, its ad-hoc management poses significant challenges to
> the scalability, performance, dependability and economical costs of cloud
> services.
> The proposed project aims at investigating novel protocols to enhance the
> scalability and performance of the cloud, while guaranteeing its
> dependability and reducing its cost. Caching is a classical technique to
> improve service performance [Bouchenak et. al. 2006, Perez et. al. 2007,
> Rabinovich et. al. 2001]. However, service composition and cloud
> elasticity that underly Cloud Computing make classical caching techniques
> sub-optimal.
> This project aims at: (i) Proposing novel distributed algorithms and
> protocols, for (ii) Managing caching in th cloud, and (iii) Handling
> scalability and data integrity issues.
>
> This project is a joint work between INRIA, Grenoble, France, and the
> Technical University of Madrid, Spain.
>
> REFERENCES:
>
> Bouchenak et. al. Caching Dynamic Web Content: Designing and Analysing an
> Aspect-Oriented Solution. ACM/IFIP/USENIX International Middleware
> Conference, 2006
>
> Perez et. al. Consistent and Scalable Cache Replication for Multi-tier
> J2EE Applications. ACM/ IFIP/USENIX International Middleware Conference,
> 2007
>
> Rabinovich et. al. Web Caching and Replication Addison-Wesley, 2001
>
> ----------------------
> SKILLS
> ----------------------
> Distributed computing systems, Distributed algorithms, Internet services,
> Java programming
>
> ----------------------
> LOCATION
> ----------------------
> INRIA â€" The French National Institute for Research in Computer Science
> and
> Control
> Grenoble, France
> http://www.inria.fr/index.en.html
>
> ----------------------
> CONTACT
> ----------------------
> Sara Bouchenak
>
> Sara.Bouchenak@inria.fr        |   http://sardes.inrialpes.fr/~bouchena/
> Phone: +33 (0)4 7661 53 82     |   Fax: +33 (0)4 7661 52 52
>


samedi 13 février 2010

[Blog] proposition-these-doctorat

Proposition de these en Sciences des Materiaux

Sujet : Materiaux thermoélectriques nanostructures - Etude du mecanisme
de formation de MnSi1.7 en films minces et des relations
structures/proprietes de ce compose.**

Lieu : Institut Materiaux Microelectronique Nanosciences de Provence/
UMR CNRS 6242/ Marseille

Financement : Allocation Ministere Enseignement Superieur et Recherche

Si vous etes interesse(e), merci de bien vouloir envoyer votre CV a
l'adresse suivante
m-c.record@univ-cezanne.fr (Marie-Christine Record)

_______________________________________________
Blog mailing list
Blog@aulf.org
http://lists.aulf.org/cgi-bin/mailman/listinfo/blog

mercredi 10 février 2010

[Blog] Sujet de la thèse

Sujet de la thèse (Titre):  Modélisation de fonctions de Qualité d'Expérience pour des SLA de services composés -----------------------------------------------------------------------------------------------  Encadrant Orange Labs: Sergio Beker  Adresse électronique de l'encadrant: sergio.beker@orange-ftgroup.com  Site: Sophia Antipolis  Contexte global de l'étude et état de l'art Historiquement les SLA (Service Level Agreement) ont été liés aux paramètres de réalisation du service: un SLA dans le sens classique inclut donc une liste de paramètres de performance du réseau et leurs seuils correspondants. Dans le contexte du marché entreprise actuel, l'évolution vers des plates-formes de services en ligne (en mode SaaS, ASP, ou Outsourcing d'Applications) et des offres de services composites rend les SLA complexes à définir et à mettre en place. La diversité des services et des acteurs en est une des principales causes. La réponse actuelle est celle des offres sur mesure, composant des contrats de niveau de service souvent verticaux et liés à la réalisation du service plutôt qu'à la perception et à l'utilité pour le client. Ces solutions, en plus d'être couteuses, ne répondent pas aux besoins actuels du marché. Les économies d'échelle sont rendues difficiles par le peu de réutilisation d'une offre sur l'autre. Les solutions actuelles dans le domaine de la gestion et suivi de contrats de niveau de service manquent d'outils et de méthodologies dans la phase amont du cycle de vie d'un SLA.  De nombreuses études montrent cependant que le bon comportement des paramètres de performance du réseau ne garantît pas la satisfaction de l'utilisateur. La qualité perçue par l'utilisateur dépend non seulement de l'ensemble de paramètres de performance, mais aussi des facteurs humains relatifs au contexte d'utilisation du service. Les contrats de niveau de service doivent donc évoluer pour prendre en compte ces métriques de qualité d'expérience (QoE: Quality of Experience) plutôt que les métriques de performance du réseau.  Une méthodologie d'élaboration de SLA issu des travaux du laboratoire DIAM permet actuellement d'identifier les composants d'un service et d'y associer les métriques de performance et de QoS. Un cadre référentiel sur les notions et terminologie autour de la  QoE issu des mêmes travaux a été également proposé pour en homogénéiser l'usage  En revanche, les expressions de QoS et QoE en fonction des métriques de performance ne sont disponibles que pour très peu des services composants. En outre, la méthodologie de composition de services du point de vue des SLA évolue dans un contexte multipartenaire et hybride (i.e. des services sont composés suivant la logique du métier: les composants n'ont pas toujours la même nature ni sont fournis par le même fournisseur).  Objectifs de la thèse/ Résultats attendus/ Défis scientifiques/techniques à relever. La fourniture de modèles de QoS et QoE pour les services composés est un verrou scientifique difficile à lever. La détermination analytique d'indicateurs de QoE à partir de ceux de QoS est extrêmement complexe du fait du nombre important de paramètres objectifs ou subjectifs intervenant ainsi que de leur interdépendance. Les méthodologies d'élaboration des tests ont beaucoup à gagner d'une systématisation possible à partir des modèles capables de prendre en compte les facteurs subjectifs. Ce travail vise à   •        Caractériser les applications selon des types de service à partir des catégories proposées par exemple par l'ITU-T. •        proposer et valider des modèles de QoS et de QoE pour ces catégories de services (e.g. Services Web, serveurs applicatifs, etc.) en fonction des métriques de performance des services composants,  •        proposer et valider les méthodes de composition de métriques de QoE, •        proposer et tester des méthodologies d'élaboration de tests subjectifs permettant de mettre en évidence les dépendances entre les différents facteurs humains des modèles  et les appréciations subjectives des utilisateurs de façon systématique. •        Dépendant des résultats obtenus sur les modèles et les estimateurs, le thèsard pourrait être amené à développer une plate-forme permettant d'automatiser l'obtention des paramètres caractérisant l'estimation de la QoE pour une application à partir du modèle de la catégorie de service auquel elle appartient. L'obtention de ces paramètres nécessite la conception des tests subjectifs et des outils d'analyse et validation correspondants.  Approche méthodologique proposée par le responsable technique: Dans un contexte de composition de services, un premier objectif est d'obtenir des modèles individuels de QoS et de QoE, déterminés en fonction de paramètres de performance pour les différentes catégories d'applications et services; puis d'obtenir des métriques de QoS et QoE associées à des services composés en définissant et en validant les règles de composition.  Cette thèse s'inscrit dans les études de l'URD sur la qualité perçue menés au sein de divers projets autour de l'élaboration de contrats de niveau de service évolués pour des services composés (e.g. composition de services en ligne). Des travaux sont en cours sur la définition d'un cadre général de travail à partir des résultats existants et des efforts de normalisation autour de la QoS et des facteurs humains dans la perception de la qualité (ITU-T, ETSI). Ce cadre général vise à établir une terminologie commune et à situer les modèles relatifs aux différentes catégories d'applications et de services. Il est en principe destiné à établir une référence pour les travaux dans le domaine (QoE, QoS, détection d'anomalies, etc.). Un effort de normalisation est envisagé si stratégiquement pertinent pour le groupe et dans le cadre des travaux de l'OR "QoS in the Network".  Les compétences recherchées pour un candidat travaillant sur la thèse proposée sont les suivantes:  •        Performances et dimensionnement de réseaux, files d'attente •        Statistiques, probabilités •        Protocoles de réseaux •        Ingénierie des modèles, MDA, PIM PSM, UML  Planning Global du déroulement de la thèse (grandes lignes) Les activités prévues:  •        Une étude bibliographique détaillée des méthodes proposées dans la littérature et relevant les travaux menés actuellement au sein de l'OR "QoS in the Network"  constituera une base de travail pour la proposition et la comparaison de relations entre la QoS et la QoE pour chaque type d'application/service. •        La mise en place de simulations et de tests conçus de façon à mettre en évidence l'impact des différents paramètres en jeu. Des questionnaires subjectifs seront en parallèle fournis aux utilisateurs, permettant l'obtention de données d'indicateurs de satisfaction. Ces travaux seront menés en collaboration avec les divers projets au sein de l'OR "QoS in the Network" •        Etude des relations entre les indicateurs de QoS et de QoE dans les jeux de données expérimentaux. Les corrélations pourront être étudiées par diverses méthodes analytiques, statistiques ou autres. Ces analyses permettront de proposer des modèles de "fonctions" de QoS et de QoE pour les diverses applications étudiées, et de valider des modèles théoriques proposés. Cette validation devra être réalisée par le biais de nouvelles simulations et de tests expérimentaux, et par des résultats de tests sur des scénarios d'application et des mesures réels. •        Proposer et valider des modèles de composition de métriques de QoS et QoE à partir des métriques des services composants, basées sur la méthodologie d'audit et d'analyse qui accompagne la composition de services. •        Planifier le développement (au minimum des spécifications) d'une plate-forme implémentant les modèles d'estimateurs pour les catégories de service traitées et la conception des tests subjectifs correspondants.  Contributions secondaires si prévues (participation à des projets collaboratifs) •        Contribution au projet QoEWeb en cours autour de la modélisation des fonctions QoS -> QoE pour des services Web. •        Participation aux actions COST (SIG QoE dans COST-TMA et QUALINET en cours de création). •        Contribution aux futurs projets en cours de définition (projet eruopéen STREP ou NoE). 

mardi 9 février 2010

[Blog] Fwd: Recrutement d'un post doc



Début du message réexpédié :

> De : Pierre Potet Pegase Systems <pp@pegase-systems.com>
> Date : 6 février 2010 09:23:42 HNEC
> À : rivals@lirmm.fr, bessiere@lirmm.fr, huchard@lirmm.fr, mugnier@lirmm.fr
> , Stephan.Thomasse@lirmm.fr, gascuel@lirmm.fr
> Objet : Recrutement d'un post doc
>
> Bonjour,
>
> PEGASE systems est une société de Montpellier, nous cherchons à
> recruter un post doc en informatique embarquée.
>
> Y a t il un contact ou un service au LIRMM qui recense les offres
> d'emplois ? Si oui pourriez vous m'en communiquer les coordonnées.
>
> D'avance je vous remercie
>
> Salutations
>
>
> Pierre Potet
> +33 6 11 10 46 89
> www.pegase-systems.com
>
>
>
>

Eric RIVALS (PhD) - rivals@lirmm.fr - www.lirmm.fr/~rivals
Head of Computer Science Dpt
LIRMM, 161 rue Ada, 34392 Montpellier Cedex 5 FRANCE
Tel. (33 or 0 from France) 4 67 41 86 64
Fax. (33 or 0 from France) 4 67 41 85 00





[Blog] Fwd: new agro-ecological modelling post doc position advertised]


Annonce de post-doc en Australie,

Début du message réexpédié :

> De : "Michael-Saam Renton" <mrenton@cyllene.uwa.edu.au>
> Date : 5 février 2010 04:22:27 HNEC
> Objet : new agro-ecological modelling post doc position advertised
>
> Hello,
>
> CSIRO Sustainable Ecosystems is offering a postdoctoral fellowship in
agro-ecological modelling to be based in Perth at the Centre for
Environment and Life Sciences (CELS) with links with the University of
Western Australia.
>
> There are more details on these websites:
> SEEK ad
http://www.seek.com.au/job/postdoctoral-fellow-in-agro-ecological-modelling/perth/16705186/34/1/
> And on CSIRO Careers site:
https://recruitment.csiro.au/asp/Job_Details.asp?RefNo=2010%2F19
>
> Please forward to anyone that you think could be interested,
>
> Thanks
> Michael
>
> Asst/Prof Michael (Saam) Renton
> Ph: +61 8 6488 1959 / Fax: +61 8 6488 1108
> michael.renton@uwa.edu.au
> www.uwa.edu.au/people/michael.renton
>





--
Rabih TARRAF
PHD Student
SMILE team -LIRMM-I2S
------------------------
Université Montpellier 2
LIRMM - UMR 5506 - CC 477
161 rue Ada
*34095* Montpellier Cedex 5
France
-------------------------
Tel: 04 67 41 86 63
www.lirmm.fr



jeudi 28 janvier 2010

[Blog] Proposition These


Proposition de thèse en télédétection/traitement d'image au CIRAD / UMR TETIS (cofinancement CNES/CIRAD).

Sujet: Caractérisation de la structure de plantation des systèmes agroforestiers à partir d'images satellite à très haute résolution spatiale.

Clôture des candidatures le 1er mars 2010.

Pour plus de détails : rennes@aulf.org





Hotmail: Trusted email with powerful SPAM protection. Sign up now.

lundi 18 janvier 2010

[Blog] Possiblités d'offres d'emploi systèmes embarqués]


Research/Engineers positions announcement in embedded systems



The Embedded Real Time Systems Laboratory (LaSTRE), hosted at CEA LIST
(near Paris), has available post-doctoral and fixed-term contracts
research/engineers positions available. The LaSTRE research activities
focuses on the development of code generation tool chains and associated
operating systems for embedded architectures (single/multi/many cores,
distributed, etc.) targeting high-performance and safety-oriented domain
fields. A main project of the LaSTRE is OASIS [1], a framework for
building and executing hard real-time safety-oriented applications. Within
the LaSTRE, activities span from state of the art research in these fields
((distributed) hard real-time systems, virtualization, embedded HPC) to
the development of industrial solutions for various partners. The OASIS
solution is currently in use in safety systems. Finally, the LaSTRE is
also involved in several national, European research programs.



For more information on the CEA: http://www.cea.fr/english_portal

For more information on the CEA LIST: http://www-list.cea.fr/gb/index_gb.htm



If you are interested, please send your resume to Vincent.David@cea.fr
(LaSTRE head)



[1] OASIS: a chain of development for safety-critical embedded real-time
systems. http://www-list.cea.fr/labos/fr/LLSP/oasis/docs/gb/erts_2004.pdf



---

Mathieu Jan - Engineer/Researcher
CEA LIST - Embedded Real Time Systems Lab

Gif-sur-Yvette 91191 - France




mercredi 13 janvier 2010

[Blog] Proposition stage Master 2 (financé ) avec poursuite en thèse (financée )]

Date: Tue, 12 Jan 2010 15:10:36 +0100
From: Laurent Réveillère <Laurent.Reveillere@labri.fr>
To: membres@sigops-france.fr, asr-forum@cines.fr, arp@cines.fr,
gdr.gpl@imag.fr
Subject: [asr-forum] Proposition stage Master 2 (financé) avec poursuite
en thèse (financée)


Bonjour,

Voici une proposition de stage Master 2 (financé) avec poursuite en
thèse (financée)

* Language approach for dynamic adapatation of multimedia streams
http://www.labri.fr/perso/reveille/index.php?menu=positions

Cordialement

--
Laurent Réveillère
Associate Professor at LaBRI (University of Bordeaux), France
----------------------------------------------------------
| Phone +33 (0) 5 40 00 28 69 |
| Fax +33 (0) 5 56 84 21 80 |
| URL : http://www.labri.fr/perso/reveille |
----------------------------------------------------


--
Rabih TARRAF
PHD Student
SMILE team -LIRMM-I2S
------------------------
Université Montpellier 2
LIRMM - UMR 5506 - CC 477
161 rue Ada
*34095* Montpellier Cedex 5
France
-------------------------
Tel: 04 67 41 86 63
www.lirmm.fr


_______________________________________________
Blog mailing list
Blog@aulf.org
http://lists.aulf.org/cgi-bin/mailman/listinfo/blog

jeudi 7 janvier 2010

[Blog] Post Doc "Conception et Contrôle Autonomes Distribués pour les Algorithm es Evolutionnaires"]]

--------------------------------------------------------------------------

Begin forwarded message:

Date: Thu, 07 Jan 2010 10:33:12 +0100
From: Frédéric Lardeux <lardeux@info.univ-angers.fr>
To: ro@poleia.lip6.fr
Subject: [ro] Post Doc "Conception et Contrôle Autonomes Distribués
pour les Algorithmes Evolutionnaires"


[Désolé pour les réceptions multiples]

Offre de bourse Post Doctorale

Sujet : Conception et Contrôle Autonomes Distribués pour les Algorithmes
Evolutionnaires

Lieu : LERIA, Université d’Angers
Salaire : 1 931,17 € net par mois
Durée : 1 an
Date de début : avant mai 2010

Informations détaillées :
www.info.univ-angers.fr/pub/saubion/PDOC/Index.htm

Contact : envoyer CV, lettres de recommandation Ã
Frederic.Saubion@univ-angers.fr <mailto:Frederic.Saubion@univ-angers.fr>


_______________________________________________
Blog mailing list
Blog@aulf.org
http://lists.aulf.org/cgi-bin/mailman/listinfo/blog

mardi 22 décembre 2009

[Blog] [Fwd: [di-di] Fw: [ro] Poste de Maitre de Conférences ouvert a Paris 13]

---------------------------- Original Message ----------------------------
Subject: [di-di] Fw: [ro] Poste de Maitre de Conférences ouvert a
Paris 13
From: "Alain Jean-Marie" <ajm@lirmm.fr>
Date: Tue, December 22, 2009 1:24 pm
To: di-di@lirmm.fr
rob@lirmm.fr
--------------------------------------------------------------------------

Begin forwarded message:

Date: Mon, 21 Dec 2009 17:27:05 +0100
From: Roberto.Wolfler@lipn.univ-paris13.fr
To: ro@poleia.lip6.fr
Subject: [ro] Poste de Maitre de Conférences ouvert a Paris 13


Bonjour,

je vous invite à transmettre l'information qui suit aux candidats potentiels.
Je m'excuse pour des receptions multiple.

Cordialement

Roberto Wolfler Calvo

----------------------------------------------------------------------------
Poste Maître de Conférences en Informatique, profil Recherche Opérationnelle
----------------------------------------------------------------------------

Un poste de maître de conférences en 27ème section est ouvert aurecrutement
2010 sur l'université Paris 13 avec rattachement au LIPN (Laboratoire
d'Informatique de l'université Paris-Nord, UMR CNRS 7030) et au département
d'Informatique de l'IUT de Villetaneuse de l'université Paris 13.

Pour ce poste, les candidats sont encouragés à entrer en contact avec :
Roberto Wolfler Calvo : wolfler@lipn.univ-paris13.fr

-------------------
Groupe recherche d'accueil
-------------------
Le groupe Optimisation Combinatoire (OC) du LIPN mène des recherches
fondamentales comme appliquées en optimisation en nombres entiers. Il est
aujourd'hui constitué d'un professeur émérite, d'un professeur et de quatre
maîtres de conférences qui manipulent les approches "classiques" et fortement
complémentaires de l'OC que sont la programmation mathématique, la
complexité,
la modélisation, les méthodes exactes et les méta-heuristiques.
Les recherches s'articulent selon trois démarches :

- la définition d'approches innovantes de résolution en programmation
mathématique (ré-optimisation, reformulation) ;
- l'étude structurelle des problèmes d'optimisation discrète
(décompositions et
relaxations, approches polyédrales, approximation) ;
- la résolution exacte et approchée de problèmes issus de divers domaines
d'application (planification, transport multimodal, "network design").

Le groupe s'est construit une expertise dans les méthodes de la programmation
mathématique pour la résolution de problèmes de grande taille. Plus
récemment,
il développe des axes originaux dans le cadre de collaborations avec d'autres
domaines de l'informatique et des mathématiques.

Le groupe souhaite aujourd'hui élargir ses orientations de recherche à
l'optimisation dans un contexte d'incertitude. Ce nouveau point de vue sur
l'optimisation mène à l'introduction de nouveaux modèles, qui nécessitent
eux-mêmes le développement d'approches algorithmiques et d'analyse adaptées.

Le groupe s'intéresse à ces nouveaux développements, tant dans leurs aspects
fondamentaux que dans le cadre de collaborations industrielles sur des
problèmes spécifiques.

-------------------
Profil recherche
-------------------
Tout profil en optimisation combinatoire incorporant une démarche
théorique sera
le bienvenu.
La connaissance d'un paradigme d'optimisation en contexte d'incertitude sera
particulièrement appréciée, pour la complémentarité apportée.

Mots clés : optimisation combinatoire, mathématiques discrètes, programmation
mathématique en nombres entiers, algorithmique de graphe, approches
polyédrales, approximation, robustesse.

-------------------
Profil enseignement
-------------------
Pour l'enseignement au département informatique de l'IUT, une expérience
et un
goût pour les aspects pratiques et techniques sont indispensables. Les
besoins
en enseignement sont dans le pôle ASR (Architecture Système-Réseau) ou le
pôle
Génie Logiciel ou les technologies web.

-------------------
Infos / contacts supplémentaires
-------------------

Information :
Laboratoire : http://www-lipn.univ-paris13.fr
Composante : http://www.iutv.univ-paris13.fr/iutv/informatique.php

Contacts :
Directeur du laboratoire : Christophe Fouqueré :
christophe.fouquere@lipn.univ-paris13.fr
Présidente du département : Françoise Gayral :
gayral@iutv.univ-paris13.fr
-----------------------------------------------------------------


--
Rabih TARRAF
PHD Student
SMILE team -LIRMM-I2S
------------------------
Université Montpellier 2
LIRMM - UMR 5506 - CC 477
161 rue Ada
*34095* Montpellier Cedex 5
France
-------------------------
Tel: 04 67 41 86 63
www.lirmm.fr


_______________________________________________
Blog mailing list
Blog@aulf.org
http://lists.aulf.org/cgi-bin/mailman/listinfo/blog

[Blog] [Lrinfos] recrutement d'un CDD 'ingénieur développement web' pour le LRI

Bonjour,
Suite au départ en retraite prévu de Raymond Douet début 2010, l'équipe 
technique du LRI recrute un CDD niveau Ingénieur d'étude pour la
fonction d'*ingénieur en développement et déploiement d'applications
dans le domaine du web.*
La fiche descriptive du poste est en pièce jointe.
Le recrutement pourra se faire dès le mois de janvier 2010.
Si vous connaissez des personnes que ce poste peut intéresser, merci de
leur transmettre ce courrier afin qu'elles contactent le laboratoire.

Merci de votre collaboration.

Cordialement,
--

Anne-Catherine Letournel

Sous-directrice anne-catherine.letournel@lri.fr
<mailto:anne-catherine.letournel@lri.fr>

LRI - Batiment 490 web: http://www.lri.fr

Université Paris-Sud Rue Hector Berlioz

91405 ORSAY Cedex - France

Tel: +33 1 69 15 42 36 Fax : +33 1 69 15 65 79



Ali Ayad

http://ali.ayad.free.fr/




Gagnez au cadeau par jour avec Hotmail Magic Moment ! Cliquez ici !

vendredi 18 décembre 2009

[Blog] [Fwd: [di-di] Fw: Ecole Polytechnique : recrutements 2010 en informatique]

---------------------------- Original Message ----------------------------
Subject: [di-di] Fw: Ecole Polytechnique : recrutements 2010 en informatique
From: "Alain Jean-Marie" <ajm@lirmm.fr>
Date: Thu, December 17, 2009 4:58 pm
To: di-di@lirmm.fr
rob@lirmm.fr
--------------------------------------------------------------------------

Begin forwarded message:

Date: Thu, 17 Dec 2009 15:42:53 +0100
From: catherine bensoussan <catherine.bensoussan@polytechnique.edu>
To: destinataires inconnus:;
Subject: Ecole Polytechnique : recrutements 2010 en informatique


Chers Collègues,

L'École polytechnique a ouvert cinq postes d'enseignants en informatique
pour cette année 2010 comme suit :

* Un poste de Professeur d''exercice complet,
* Un poste de Professeur chargé de cours (PCC) d''exercice incomplet,
* Un poste de Professeur chargé de cours (PCC) résident d''exercice
incomplet à pourvoir pour la chaire d'ingénierie des systèmes
industriels complexes,
* Deux postes de Chargé d'enseignement (ChE) d''exercice incomplet.

Les postes de Professeurs et de Professeurs chargés de cours se
recrutent au niveau HDR et au delà, et les postes de Chargés
d'Enseignement au niveau thèse et au delà.

Les postes à temps partiels s'adressent à des personnes déjà titulaires
d'un poste dans un établissement public ou d'une entreprise.

Une expérience internationale est souhaitée.

Les rémunérations brutes annuelles sont de 50 à 80 kE pour les
Professeurs à plein temps, 12 à 14 kE pour les Professeurs Chargés de
Cours à temps partiel, 8 à 12 kE pour les Chargés d'Enseignement à temps
partiel.

La qualité des candidatures (et du projet pédagogique, dans le cas d'une
candidature comme Professeur), sont les principaux critères retenus par
le département. La maîtrise de la langue française n'est pas un
pré-requis au recrutement.

Ces ouvertures de postes sont annoncées sur le site de l'École :

http://de.polytechnique.fr/candidatures/Index.cfm?Type=Professeur

où les candidatures sont à poster avant le ***15 mars 2010*** pour une
prise de fonction en ***septembre 2010***.

Pour plus d'informations, veuillez contacter :

- François Morain (Président du département) morain@lix.polytechnique.fr
- Frank Nielsen (vice-président) nielsen@lix.polytechnique.fr
- Benjamin Werner (vice-président) werner@lix.polytechnique.fr


Frank Nielsen, le 16 décembre 2009.

NB:

Les postes d'enseignants d''exercice complet en matière scientifique sont
des postes d''enseignants chercheurs, et les personnes recrutées devront
exercer leur activité de recherche principale à l'École Polytechnique ou
dans un des centres de recherche partenaire du campus. Ils peuvent être
pourvus soit sous forme de détachement, soit sous forme de contrat à
durée indéterminée, après une période probatoire de deux ans.
Les postes de Chargé d''Enseignement d''exercice complet ne sont offerts
que pour une période de deux ans non renouvelable. Les enseignants
d''exercice incomplet cumulent leur activité d''enseignement à l'École
Polytechnique avec un emploi principal exercé dans le monde académique
ou professionnel.
La charge moyenne d''enseignement annuel est comprise entre 60 et 80h par
an, et implique une participation à long terme aux projets
d''enseignement de l'École Polytechnique. La durée d'exercice dans un
poste à temps incomplet est en général limitée à 12 ans, qui se
décomposent en une période probatoire de 2 ans et en deux contrats
de 5 ans.
Les postes d'exercice incomplet résident sont réservés à des personnes
qui feront leur recherche dans un des laboratoires du centre de
recherche de l'Ecole.

Nota : Bien que certains postes ouverts soient d'exercice incomplet, les
candidatures d''exercice complet à ces postes seront également examinées.
L''École Polytechnique sera particulièrement attentive au rôle
d''animation, d''innovation pédagogique, et d''ouverture internationale
que les candidats pourront exercer dans les enseignements de l'École.
Une connaissance des applications et une expérience internationale sont
très vivement recommandées.
Les candidats sur les postes à temps complet sont encouragés à joindre à
leur dossier un programme d''activité ou de recherche à moyen et long
terme, et les noms d''au moins 5 personnalités pour les postes de
professeur et 3 pour les autres postes, que l'École pourrait contacter
pour obtenir des lettres de recommandation.


--
Rabih TARRAF
PHD Student
SMILE team -LIRMM-I2S
UMR 5506 - 161 rue Ada
34392 Montpellier
Cedex 5 France
Tel: 04 67 41 86 63
www.lirmm.fr


_______________________________________________
Blog mailing list
Blog@aulf.org
http://lists.aulf.org/cgi-bin/mailman/listinfo/blog

jeudi 17 décembre 2009

[Blog] offre de thèse cifre - LE2I Dijon]]

Begin forwarded message:

Date: Tue, 1 Dec 2009 16:56:40 +0100
From: "Sylvain Rampacek" <sylvain.rampacek@iut-dijon.u-bourgogne.fr>
To: <asr-forum@cines.fr>
Subject: [asr-forum] offre de thèse cifre - LE2I Dijon


Dans le cadre du projet transversal Checksem, l'équipe Systèmes
d'Informations et Systèmes d'Images du LE2I (Dijon) propose un sujet de
thèse CIFRE pour débuter en Janvier 2010.

Sujet : CHECKSEM – méthodes et outils pour la qualification de graphes
sémantiques

Responsables :
- Christophe Nicolle (cnicolle@u-bourgogne.fr)
- Sylvain Rampacek (sylvain.rampacek@u-bourgogne.fr)

Laboratoire : LE2I (Laboratoire Electronique, Informatique et Image), UMR
CNRS 5158, Université de Bourgogne.

Équipe : Informatique, cellule "Systèmes d'informations et systèmes d'image"
(SISI)

Domaine : informatique, semantic web, model checking

Financement : thèse financée par une bourse CIFRE en partenariat avec une
SS2I Dijonnaise.

Candidature : les candidatures sont à envoyées sur nos adresses mails avant
le 13/12/2009.

Documents à nous fournir pour postuler : CV détaillé, lettre de motivation,
lettres de recommandation
(éventuellement), relevé de notes + classement des 2 années de master, le
tout par mail à Sylvain Rampacek (sylvain.rampacek@u-bourgogne.fr) et
Christophe Nicolle (cnicolle@u-bourgogne.fr).


=====================================================================
Sylvain Rampacek | IUT de Dijon - Université de Bourgogne
Maître de Conférences | Boulevard Docteur Petitjean
LE2I - UMR CNRS 5158 | BP 17867 - 21078 DIJON CEDEX
tel : (+33/0)3-80-39-68-49 | (+33/0)3-80-39-64-52
e-mail : sylvain.rampacek@iut-dijon.u-bourgogne.fr
web : http://iutdijon.u-bourgogne.fr/iq/srampacek/
=====================================================================


_______________________________________________
Blog mailing list
Blog@aulf.org
http://lists.aulf.org/cgi-bin/mailman/listinfo/blog

[Blog] offre de poste d'ingénieur expert à l'INRIA Sophia Antipolis - Méditerranée]]

Begin forwarded message:

Date: Sun, 13 Dec 2009 16:34:46 +0100
From: David Coudert <David.Coudert@sophia.inria.fr>
To: asr-forum@cines.fr
Subject: [asr-forum] offre de poste d'ingénieur expert à l'INRIA Sophia
Antipolis - Méditerranée


Poste Ingénieur expert à pourvoir

TITRE : Simulation d'algorithmes de routage dans l'Internet
Affiliation : Projet MASCOTTE, INRIA, I3S, CNRS, Univ. Nice Sophia
Lieu : INRIA Sophia Antipolis - Méditerranée
Durée : 12 mois
Contact : David.Coudert@sophia.inria.fr

Candidatures à adresser par mail. Les candidatures seront acceptées
jusqu'à ce que le poste soit pourvu.


------------------------ Description du poste ------------------------

Environnement et contexte
o Equipe projet MASCOTTE (Méthodes Algorithmiques, Simulation et
Combinatoire pour l'OpTimisation des Telécommunications).
o Etude sur le routage compact dynamique dans l'Internet, dans le
cadre d'un contrat avec Alcatel Lucent Bell Labs (Anvers, Belgique)
et le LABRI à Bordeaux.

Mission
o Suivre l'élaboration des algorithmes de routage compact dynamique
conçus par les chercheurs de MASCOTTE et du LABRI
o Enrichir le simulateur existant pour tester les algorithmes sur des
topologies de grands réseaux avec plusieurs modèles de dynamicité
o Faire l'interface avec le travail réalisé au LABRI

Travail à effectuer
o Se familiariser avec les algorithmes de routage compact
o Implémenter et tester de nouveaux algorihmes de routage
o Développer des outils et interfaces pour augmenter les scénarios de
simulations
o Participer aux réunions conjointes avec le LABRI et ALU
o Présenter le travail chez ALU
o Fournir une documentation détaillée en anglais du logiciel de
simulation

Compétences techniques et qualités requises
o Exigé
1. Anglais indispensable
2. Connaissance approfondie du langage Java
3. Bases algorithmique
4. Ecriture de logiciel
5. Aptitude à travailler en équipe
o Souhaité
1. Bonne connaissance du français
2. Connaissances en simulation
3. Connaissance des protocoles réseaux et des problématiques réseau
4. Habitude de travail avec des ateliers logiciels (eclipse)

Dossier de candidature
o Un CV détaillé
o Une lettre de motivation
o Lettres de recommandation éventuelles


--
David Coudert
Centre de Recherche INRIA Sophia Antipolis - Méditerranée
Mascotte, INRIA, I3S, CNRS UMR6070, Univ. Nice Sophia, France
http://www-sop.inria.fr/mascotte/David.Coudert


_______________________________________________
Blog mailing list
Blog@aulf.org
http://lists.aulf.org/cgi-bin/mailman/listinfo/blog

[Blog] Open PhD Position at Ascola, France]]

Project-Team Ascola
Ecole des Mines de Nantes
INRIA, LINA
Nantes, France

We are seeking a PhD student to work on the project "Compositional
Evolutions of Secure Services with Aspects" (CESSA).
Four partners collaborates within the project coordinated by Ascola:
- INRIA project-team Ascola, located at Ecole des Mines, Nantes, France
- a security research team from Eurecom, Sophia-Antipolis, France
- the Security and Trust team from SAP Labs, Sophia-Antipolis, France
- IS2T, an innovative start-up company developing middleware
technologies, Nantes, France

The scope of the thesis includes the synthesis using aspects of secure
applications based on services (SOA applications). It should cover not
only the security certification of the synthesized applications, but
also the preservation of semantical properties, which is a real challenge.
In the field of language design and implementation, you would contribute
to the modularization of security functionalities.
In the field of formal methods, you would apply them to guarantee
security properties of SOAs.
You should have a keen interest in applying rigorous techniques or
formal methods to real-world systems, with a strong background in one or
more of the following:
* Aspect-Oriented Programming,
* Distributed Programming,
* Formal Semantics for Programming Languages,
* Program Verification,
* Automated Proof Assistants (like Coq).

Enquiries about the project should be addressed to Dr Mario Südholt
(http://www.emn.fr/x-info/sudholt/) or Dr Hervé Grall
(http://www.emn.fr/x-info/hgrall/).
See below for a brief presentation.

Applications should include:
* a Curriculum Vitae,
* a brief statement of the particular contribution you would make to the
project,
* the names and contact details (e-mail addresses) of two or three
referees. Please ask your referees to send confidential references
directly to Mario Südholt via e-mail.
Complete applications should be sent by e-mail to Mario Südholt and
Hervé Grall.

The position is to be filled as soon as possible. It is funded by a
grant from the french national research agency (agence nationale de la
recherche, ANR).

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

Service-oriented architectures (SOAs) constitute a major style for
component-based architectures used to build large-scale distributed
systems. A service is a software application that can be located over a
network and whose interfaces and bindings can be defined, described and
discovered by using certain standardized access means and formats. A SOA
typically spans a number of different organizations, and may involve
powerful servers as well as resource-constraint devices (e.g., mobile
devices). Similar to other compositional structuring mechanisms, SOAs
are subject to the problem of cross-cutting functionalities, that is,
functionalities that are scattered and tangled over large par of the
architecture and the underlying implementation. Security
functionalities, such as access control and monitoring for intrusion
detection, are a prime example of such a functionality in that it is not
possible to modularize security issues in a well-separated module.
Aspect-Oriented Software Development is an application-structuring
method that addresses in a systemic way the problem of the lack of
modularization facilities for cross-cutting functionalities. The
partners of the CESSA industrial research project will develop solutions
to secure SOAs by providing an aspect-oriented structuring and
programming model that allows security functionalities to be
modularized. By means of security aspects and a new notion of
aspect-aware service interfaces, CESSA will enable the synthesis of
SOA-based applications that are correct by construction and will allow
the formal analysis of security properties of SOAs. Furthermore, the
partners will demonstrate that security aspects support the secure
horizontal composition (i.e., orchestration and choreography of
services) and vertical composition (i.e., service implementation) of
real-world industrial SOAs in the context of (i) an extension of an
enterprise information system from the first industrial partner SAP,
extension that is motivated by needs for evolution of software in the
financial sector due to regulatory requirements, and (ii) the
integration into a commercial SOA of embedded devices using customized
virtual machines produced by the second industrial partner IS2T.

_______________________________________________
Blog mailing list
Blog@aulf.org
http://lists.aulf.org/cgi-bin/mailman/listinfo/blog

[Blog] Job opening POSITION IN DISTRIBUTED SYSTEMS]

JUNIOR FACULTY POSITION IN DISTRIBUTED SYSTEMS

The Networking and Security Department of EURECOM invites applications
for a tenured position at the Assistant Professor level in the area of
distributed systems. Research and teaching of the Networking and
Security Department of EURECOM currently focuses on two directions:
- Communications and systems security
- Protocols and applications for the Internet.

The new faculty is expected to extend the current research domains of
the department by leading a new activity in the area of distributed
systems. Candidates with practical systems experience together with a
proven track record of academic research in one of the following two
areas are particularly encouraged to apply:
- Virtualization
- Distributed storage and data centers.

While targeting practical application scenarios in his/her research,
the new faculty is also expected to carry out fundamental research.

The candidates must have a Ph.D. in computer science or electrical
engineering with a solid background in software engineering, and
distributed computer systems or networking.
Qualified applicants should send a resume including a publication list
indicating the three most important publications, a two--four page
statement of research and teaching activities proposed by the
candidate and the names and addresses of three references by e-mail
under reference MDCRS2009 to recruitment-mdcrs@eurecom.fr. The
screening will start on the 28th of February 2010.

EURECOM
Eurecom (http://www.eurecom.fr) is a graduate school in communication
systems founded in 1992 by EPFL (Swiss Federal Institute of
Technology, Lausanne) and Telecom Paristech (Ecole Nationale
Supérieure des Télécommunications). Eurécom's activity includes
research and graduate-level teaching in networking, security,
multimedia and mobile communications. Eurécom currently counts about
20 professors, 10 post-docs, 60 Ph. D., and 170 M.S. students. Eurécom
is located in Sophia Antipolis, a vibrant science park on the French
Riviera whose cosmopolitan population and unique geographic location
provide a quality of life without equal

_______________________________________________
Blog mailing list
Blog@aulf.org
http://lists.aulf.org/cgi-bin/mailman/listinfo/blog