Three postdoc positions in discrete optimisation (MIP, CP, SAT, ...) at Monash University, Melbourne

The faculty of IT of Monash University is advertising 3 postdoc positions in the field of discrete optimisation, for a duration of 3 years each.

We are looking for an enthusiastic researcher with solid skills in any of the following areas: constraint programming, mixed integer programming, SAT and SAT modulo theories, modelling languages and program analysis, to join an established team working on new approaches to modelling and solving discrete optimisation problems.

As the successful candidate you will be part of a team who collaboratively work on all aspects of the project from; concepts, theoretical underpinning and design through implementation and experimentation, to publication of results, curation of data, and maintenance of generated software. Primary responsibilities of the positions will be either the development of, or experimentation with, constraint solving methods and related mathematical techniques; or the development of modelling language constructs and analyse transformations that can produce efficient inputs to solvers. You will also work side by side with a large number of other researchers in analysis, optimisation and programming language technologies including; groups from the University of Melbourne and CSIRO Data61.

You will be an energetic and innovative researcher with a strong publication record who is interested in pioneering in emerging research areas. You will also hold a PhD qualification either in computer science, mathematics or a related discipline.

Melbourne recently has been rated the #1 city worldwide for quality of life (see Economist & Guardian, with excellent education, healthcare, infrastructure, low crime, exceptional cuisine, cultural activities and creative design. The regional area is renowned for its dramatic coastline, extensive parks, exotic wildlife and Yarra Valley wine.

For more details and how to apply, please see: http://careers.pageuppeople.com/513/cw/en/job/578949/research-fellow-ai-optmization-group

If you have any questions, please ask: pierre.lebodic@monash.edu. Thanks!

Kind regards,
Pierre