Monash University: Research Fellow – AI Optimisation Group (Melbourne, Australia)

Seeking 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.