Association des Universitaires Libanais en France

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

lundi 14 décembre 2009

[Blog] 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

dimanche 13 décembre 2009

[Blog] Vous achetez votre encre trop cher, nous vous le prouvons

Conformement a  la loi sur la confiance dans l'economie numerique,
si vous ne souhaitez plus recevoir les invitations par email de notre part.
Vous pouvez vous:
desabonner.
Vous serez automatiquement et definitivement retire de notre liste de diffusion.

mercredi 9 décembre 2009

[Blog] Proposition de thèse : Résolution de systèmes linéaires sur grilles et clusters de GPU]

Le laboratoire d'informatique de l'université de Franche-Comté
(http://lifc.univ-fcomte.fr) propose un sujet de thèse pour la rentrée
prochaine à l'IUT de Belfort au sein de l'équipe AND (Algorithmique
Numérique Distribuée), financé par la région. Les candidats intéressés
sont invités à envoyer CV, lettre de motivation et lettres de
recommandation, le plus rapidement possible aux deux encadrants :

Raphaël Couturier : raphael.couturier@univ-fcomte.fr
Jacques Bahi : jacques.bahi@univ-fcomte.fr


Titre : Résolution de systèmes linéaires sur grilles et clusters de
GPU. Performance versus coût énergétique.


Sujet de thèse :

Actuellement, les grilles de calcul se démocratisent étant donné leur
faible coût par rapport à la puissance de calcul dont elles proposent.
C'est pourquoi les laboratoires et les entreprises utilisent de plus
en plus ces ressources afin de modéliser plus finement les phénomènes
qu'ils souhaitent étudier (simulations physiques, biologiques,
chimiques, crash tests) dans de nombreux domaines scientifiques.

Une grande partie des simulations nécessite, à une certaine étape de
leur processus, la résolution de systèmes linéaires. Il existe de
nombreux outils ou solveurs adaptés à la résolution de systèmes
linéaires pour grappes de calcul locales (c'est à dire un ensemble de
machines situées sur le même site géographique avec un réseau de
communication performant). Cependant, la résolution de tels systèmes
sur des grilles de calcul distantes est problématique étant donné les
dépendances de calcul entre les processeurs, la latence des
communications et le coût des synchronisations. Plusieurs études ont
montré que les outils traditionnels pour grappes ne sont pas adaptés à
utilisation sur grilles de calcul distantes.

Nous avons montré qu'une solution pour résoudre des calculs sur
grilles de calcul consiste à utiliser des méthodes itératives
asynchrones. Celles-ci permettent d'accélérer la vitesse des
simulations de phénomènes, linéaires ou non, dans un contexte distant.
En effet, l'hétérogénéité des processeurs, des réseaux, les variations
de débits et de latence sont « masquées » par le caractère asynchrone
du processus.

L'objectif de cette thèse est triple. Il s'agit, d'une part, d'étudier
comment coupler efficacement l'utilisation de solveurs synchrones pour
résoudre localement les sous-systèmes linéaires (obtenus après
décomposition) et de solveurs asynchrones pour résoudre la globalité
du système. Ce couplage n'a jamais été étudié en pratique. Il doit
offrir les avantages des deux concepts. La performance des méthodes
synchrones dans un contexte local et la souplesse des méthodes
asynchrones entre les sites distants. De plus, il offre la possibilité
d'utiliser différents solveurs linéaires (directs ou itératifs) si
ceux-ci ne sont pas homogènes entre plusieurs grappes de calcul. En
effet, il est fréquent de rencontrer une hétérogénéité au niveau
logiciel dans les grilles de calcul.

D'autre part, l'autre objectif de cette thèse est d'étudier comment
construire des solveurs de systèmes linéaires tirant partie des
capacités de calcul des architectures équipées de GPU (Graphics
Processing Units). Ces processeurs spécialisés pour l'affichage 3D
permettent de calculer certains problèmes beaucoup plus rapidement que
les processeurs standards. Néanmoins, il est nécessaire de concevoir
une partie de code spécifique à ces processeurs graphiques. Ainsi un
cluster de GPU comporte trois niveaux de parallélisation. Le premier
est entre les machines. Le second se situe entre les processeurs
traditionnels d'une même machine. Finalement, le dernier se place au
niveau des unités de calcul des GPU. Bien entendu, l'usage des
algorithmes itératifs asynchrones sera spécialement étudié afin
d'éviter autant que possible les problèmes de synchronisations entre
unités de calcul et afin de résoudre dans la mesure du possible
l'hétérogénéité des processeurs.

Finalement, les deux parties précédentes seront liées par un étude de
la consommation énergétique des algorithmes. En effet, il nous semble
opportun de tenir compte de ce critère environnemental. L'objectif
sera de réaliser des algorithmes consommant moins de ressources
énergétiques que les algorithmes actuels.

Compétences souhaitées :
Connaissance en programmation parallèle
Connaissance en algorithmique numérique
Connaissance en développement sur GPU


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

mardi 1 décembre 2009

[Blog] offre de postdoc à l'INSA de Lyon]

Post-doc, INSA-Lyon, Rhône-Alpes – 10 mois

TITRE : 'protocoles de niveau 2 pour les 'Body Area Network'
Affiliation : INSA-Lyon Lieu d'affectation : laboratoire CITI, INSA-Lyon
Contact : jean-marie.gorce@insa-lyon.fr
Candidatures à adresser par mail, avant le 20 décembre 2009


----------------------------DESCRIPTION DU
POSTE-----------------------------------
Environnement:
La technologie des BANs (Body Area Network) se réfère à la
problématique de la gestion des communications radio entre des éléments
embarqués sur le corps humain. Les applications sont nombreuses :
médicales (implants cardiaques, sondes, capteurs divers), sportives
(contrôle de pulsation, mesure des mouvements, analyse de vibrations) ou
encore multimédia (oreillettes, lecteurs MP4, …). On peut imaginer dans
un futur proche, qu'un grand nombre d'éléments communicants pourront
être amenés à cohabiter autour du corps humain.
Le projet ANR BANET, dont le laboratoire CITI de l'INSA de Lyon fait
partie, s'intéresse à la spécification d'une technologie adaptée à
cette problématique en tenant compte des spécificités liées à
l'environnement (propagation, canal) et des spécificités applicatives
(débit, latence, priorisation).
Le CITI en collaboration avec France Télécoms et le CEA LETI, à
Grenoble, contribue à la définition d'une interface air et des couches
protocolaires (couches 1,2,3) dédiée aux BANS, en marge des travaux de
normalisation du groupe 802.15.6 de l'IEEE.

Missions:
Les missions sur ce poste sont les suivantes :
- Spécification d'un protocole dédié (couches 1 et 2, éventuellement
3)
- Validation par simulation (simulateur WSnet)
- Coexistence de BANs : association, interférences et sécurité

Activités:
Le travail se décomposera en quatre parties :
- Conception protocolaire
o Scénarios
o Spécification, modélisation
- Développement logiciel
o Développement de briques logicielles dans le simulateur WSnet
o Scénarios de test
o Validation par simulation
- Gestion de projet
o Documentation
o Relations avec les partenaires, réunions, …

Compétences et Profil:
Le candidat devra être titulaire d'une thèse en télécommunications ou
en réseaux (couches 1 et 2 principalement).
Compétences demandées :
- Radio : connaissance de base en systèmes radio (modulation, canal radio)
- Réseaux : protocoles de niveau 1, 2 et 3.
- Traitement du signal, communications numériques : Connaissances des
systèmes de transmissions, standards de communications
- Informatique


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