 |
|
|
|
Il y a actuellement 8 invités et 0 membres en ligne
Vous êtes un visiteur anonyme. Adhérez à l'AFPC en cliquant ici.
|
|
|
Bienvenue sur le site de l'AFPC !
| |
| |
|
|
|
|
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)
|
|
|
|
|
|
|
|
|
Comme chaque année, l'Association Française pour la Programmation par
Contraintes (http://www.afpc-asso.org) se propose de soutenir le
déplacement et le logement de jeunes chercheurs pour leur
participation aux Journées Francophones de Programmation par
Contraintes (JFPC'2009) qui se dérouleront à Orléans, du 3 au 5 juin
2009.
|
|
|
|
|
|
|
|
|
Comme chaque année, l'Association Française pour la Programmation par Contraintes (http://www.afpc-asso.org) se propose de soutenir le déplacement et le logement de jeunes chercheurs pour leur participation aux Journées Francophones de Programmation par Contraintes (JFPC'2009) qui se dérouleront à Orléans, du 3 au 5 juin 2009.
|
|
|
|
|
|
|
|
|
Le département informatique de l'UFR sciences université d'Orléans recrute au moins 3 ATER pour l'année 2009-2010 :
|
|
| (2150 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
|
|
| (1652 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.
|
|
| (2230 lectures) |
commentaires ? |
|
|
|
|
|
|
JFPC'09
Orléans, 3 au 5 juin 2009
- 21 février 2009 : date limite d'envoi des résumés d'articles
- 28 février 2009 : date limite de soumission des articles complets
- 4 avril 2009 : notification aux auteurs
- 30 avril 2009 : version définitive en français
|
|
| (2452 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
|
|
| (3071 lectures) |
commentaires ? |
|
|
|
|
|
