The Research Center in Paris is responsible for advanced research in the fields of Algorithm and Software design, Parallel Computing, Aesthetics, MBB, IOT & Home device, to create and design the innovative technologies and software platforms.
The Declarative Computing research team in the Paris Research Center is seeking applications for a 1- year development position. The position aims to participate to the development of a constraint solver.
Responsibilities
In the framework of Toulouse's Interdisciplinary Institute for AI, we are looking for a candidate PostDoc to work on propositional reasoning with logic, constraints, preferences, and probabilities using graphical models (from constraint programming and SAT to Markov Random Fields and Bayes Nets).
IMT ATLANTIQUE
campuses in Brest, Nantes and Rennes, France
call for applications for a tenured Full Professor position in Data and Decision Science
http://www.imt-atlantique.fr
The date on which the position is taken up: 01/09/2020
The optimization group at Monash University has a long history of important contributions to the science of modelling and optimization. It is the centre of development of the widely used modelling language MiniZinc (www.minizinc.org). It also was responsible for the development of the CP and SAT hybrid solving methodology, lazy clause generation (LCG), which defines the state of the art for many discrete optimization problems.
We are excited to announce a tenure stream faculty opening in Industrial Engineering at the U. of Toronto.
Specifically, we seek candidates who demonstrate research excellence in the development and application of Machine Learning (ML) and Artificial Intelligence (AI) methodologies for Operations Research (OR).
The full job postings are here (there is one position with applications accepted at either level):
An 18-month Post-Doctoral position is available at the University of Nantes, France, in the Coverif project, about Constraint Programming (CP) with/for Abstract Interpretation (AI). http://www.anr-coverif.fr/
Permanent Assistant professor position available at IMT-Atlantique, Nantes, France in the area of "optimisation and decision-making - AI".
For full detail please see https://www.galaxie.enseignementsup-recherche.gouv.fr/ensup/Autres_minis...
Applications close 30 April 2018. Contact Nicolas Beldiceanu (nicolas.beldiceanu@imt-atlantique.fr) for more information.
Post-Doctoral position available at the University of Michigan in the RITMO project (https://ritmo.engin.umich.edu) We are looking for highly motivated researchers with expertise in constraint and mathematical programming, data mining, machine learning and/or high-performance computing. Join a team of about 50 staff and researchers to transform transportation next to mobility city. Contact Pascal Van Hentenryck (pvanhent@umich.edu) for more information.
The Faculty of Information Technology at Monash University, Melbourne, Australia, has strong research programs across many aspects of modelling and optimisation. In this role you will conduct joint applications-oriented research with external industry and research partners applying advanced methods developed by the Monash optimisation team. You will also be involved in the implementation of software solutions that realise the benefits of our optimisation research in practical applications. Applications close Thursday 10 November 2016, 11:55pm AEDT. For full details please see http://careersmanager.pageuppeople.com/513/cw/en/job/551138/research-fellow-applied-modelling-and-optimisation
MidCareer Faculty Positions at UC Irvine
Application deadline: Dec 9th 2016 (Applications received by November 9, 2016 will receive fullest consideration.)
http://cml.ics.uci.edu/2016/10/midcareer-faculty-positions-at-uc-irvine/
Apply online at: https://recruit.ap.uci.edu/apply/JPF03719.
A post-doctoral research fellow (RF) position in the area of constraints is available at the School of Computing (http://www.comp.nus.edu.sg), National University of Singapore, Singapore.
Monash University is seeking outstanding applicants for the position of Lecturer or Senior Lecturer in Discrete Optimisation:
http://jobs.monash.edu.au/jobDetails.asp?sJobIDs=533310
The Declarative Languages and Artificial Intelligence (DTAI) group of KU Leuven (Belgium) invites applicants for a postdoctoral position in the area of functional and constraint programming. The position revolves around domain-specific languages (DSLs) embedded in Haskell for constraint programming. It is part of the EU project GRACeFUL whose overarching theme is tools for collective decision making. The KU Leuven part of the project is under the direction of prof. Tom Schrijvers.
January 26, 2015 Austin, TX, USA
IBM Research Collaboratory in Singapore welcomes qualified post-doctoral candidates to apply for a fellowship starting in mid 2014. The successful candidate will be working on the 'next generation' of real-time analytics leveraging massive structured and unstructured datasets.
EPSRC PhD Studentship
Managerial tools for mitigating inventory record inaccuracy in stochastic inventory systems
The University of Edinburgh Business School & School of Mathematics
The NICTA Optimisation Research Group is seeking outstanding researchers who have recently received their PhD to bridge the gap between research and industry.
We are seeking a postdoctoral researcher in the Department of Industrial and Systems Engineering at Lehigh University. The postdoctoral research position is for one year with the possibility of an extension to a second year.
One post-doc position in ICT on the research project "Advanced SMT Techniques for Word-level Formal Verification - (WOLF)"
We are currently accepting applications for Researcher and Post Docs interested in joining our Cambridge Lab.
