 |
|
|
|
Il y a actuellement 3 invités et 0 membres en ligne
Vous êtes un visiteur anonyme. Adhérez à l'AFPC en cliquant ici.
|
|
|
Vous êtes sous le sujet:emploi
Suivre les nouvelles éditées sous ce sujet
|
|
Tout voir
|
|
|
|
Thème: Application de la programmation par contraintes à la résolution de problèmes impliquant des équations différentielles, en particulier pour l’estimation de paramètres de modèles biologiques continus.
Equipe MEO (www.lina.univ-nantes.fr/-MEO-.html)
|
|
|
|
|
|
|
|
|
Le département informatique de l'UFR sciences université d'Orléans recrute au moins 3 ATER pour l'année 2009-2010 :
|
|
| (4142 lectures) |
commentaires ?   |
|
|
|
|
|
|
Title : MSR PhD Scholarship on Parallel SAT Solving
Context and scientific objectives: SAT (decide if a Boolean formula, typically in conjunctive normal form, admits a valuation which makes it true?) is a fundamental problem in complexity theory with very large practical benefits. Modern SAT solvers can now handle propositional satisfiability problems with hundreds of thousands of variables or more. However, many practical instances remain difficult to all the available SAT solvers. Consequently, new approaches are clearly needed to solve these challenging industrial problems. In this context and with the light of the next generation of computer architectures, the design of parallel satisfiability solvers becomes a fundamental issue. The aim of this PhD is to provide new theoretical and practical advances for parallel satisfiability solving.
Laboratory: CRIL - CNRS UMR 8188, Université d'Artois, Lens, France
Supervision:
* Pr. Lakhdar Sais, CRIL, Lens, France
* Dr. Youssef Hamadi, Microsoft Research, Cambridge, UK
Application: please send CV to : sais [at] cril [dot] fr
|
|
| (3066 lectures) |
commentaires ? |
|
|
|
|
|
|
2 Post-doc positions are open in the Microsoft Research Constraint Reasoning Group.
Context: The goal of the Constraint Reasoning Group is to pursue the long term research necessary to the development of the next generation of optimisation algorithms and tools. Working with long term applicability in mind, the group is taking as an input the important architectural shifts happening in the IT industry. As a result, its actual focus is highly related to the foundational and practical aspects of parallel optimisation.
Job-definition: Selected candidates will conduct fundamental research in optimisation or in related fields such as theorem proving, probabilistic reasoning, knowledge representation, automated planning. Additionally, candidates might be involved in studies related to the development of practical software and tools, e.g., Microsoft Solver Foundation, Z3, etc.
Suitable Profiles:
Post-doc candidates must have submitted their thesis prior to joining Microsoft Research. Ideal profiles should have general knowledge or a specialisation related to the following fields: SAT, SMT, theorem proving, probabilistic reasoning, knowledge representation, or automated planning.
Technical skills: C++, C#.
Duration: 2 years positions.
Location: Cambridge, UK.
Procedure/dates: Suitable candidates have to register here, http://research.microsoft.com/en-us/jobs/fulltime/cambridge/about_postdocs.aspx, before March 1, 2009. They might be selected for an interview process in spring, and have to be available for a start in September 2009.
|
|
| (3718 lectures) |
commentaires ? |
|
|
|
|
|
|
Un poste de professeur au LIFO (université d'Orléans) devrait être au concours en 2009.
Une priorité est donnée au recrutement pour l'équipe "Contraintes et apprentissage" et plus particulièrement dans le domaine des contraintes et/ou de la linguistique informatique / TAL.
Si vous êtes intéressé(e), merci de contacter au plus vite Denys.Duchier@univ-orleans.fr
|
|
| (4318 lectures) |
commentaires ? |
|
|
|
|
|
|
Un poste d'ATER (Attaché Temporaire d'Enseignement et de Recherche) en 27e section est disponible à partir d'Octobre 2008 à l'Université d'Orléans (Département d'Informatique/UFR Sciences et LIFO : Laboratoire d'Informatique Fondamentale d'Orléans).
|
|
| (4165 lectures) |
commentaires ? |
|
|
|
|
|
|
L'équipe contraintes du Laboratoire d'Informatique de Nantes Atlantique (LINA, UMR CNRS) recherche des candidats pour un contrat de chargé de recherche d'une durée de 12 mois, dans le cadre du projet ANR 61007 CANAR « Constraint Acquisition aNd Automatic Reformulation ». Le docteur recruté sera intégré au sein du département informatique de l'École des Mines de Nantes (EMN). Le contrat débutera au plus tôt le premier juillet 2008.
|
|
|
|
|
|
|
|
|
Objet : bourse de thèse INRA à Toulouse
Sujet : développement d'algorithmes de traitement de modèles graphiques avec application à la reconstruction d'haplotypes dans les pedigrees complexes.
Sur un plan méthodologique, l'objectif est de concevoir des méthodes hybrides originales combinant des techniques d'exploration systématique et/ou approchée d'un grand espace de recherche et la programmation dynamique pour le traitement de modèles graphiques. Ce travail s'appuiera sur les travaux initiés par l'équipe de recherche en Intelligence Artificielle et modélisation statistique dans laquelle s'effectuera la thèse (de Givry et al., 2006).
|
|
|
|
|
|
|
|
|
4 postes en 27e section sont susceptibles d'être publiés en 2008 à l'Université d'Orléans.
Le poste de professeur est ouvert avec un fléchage pour l'équipe "Contraintes et Apprentissage" du LIFO.
|
|
|
|
|
|
