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/
Career news
-
Posted 2018-06-18
-
Posted 2018-04-01
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.
-
Posted 2017-01-15
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.
-
Posted 2016-10-30
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
-
Posted 2016-10-28
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.
-
Posted 2016-02-02
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.
-
Posted 2015-03-18
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 -
Posted 2014-10-23
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.
-
Posted 2014-08-15
January 26, 2015 Austin, TX, USA
-
Posted 2014-05-24
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.
-
Posted 2014-05-15
EPSRC PhD Studentship
Managerial tools for mitigating inventory record inaccuracy in stochastic inventory systems
The University of Edinburgh Business School & School of Mathematics
-
Posted 2014-05-09
The NICTA Optimisation Research Group is seeking outstanding researchers who have recently received their PhD to bridge the gap between research and industry.
-
Posted 2014-01-28
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.
-
Posted 2014-01-28
One post-doc position in ICT on the research project "Advanced SMT Techniques for Word-level Formal Verification - (WOLF)"
-
Posted 2014-01-08
We are currently accepting applications for Researcher and Post Docs interested in joining our Cambridge Lab.
