[DMANET] Research Fellow Mathematical Programming/Constraint Programming or SAT

National ICT Australia is seeking a talented research fellow to play a key role in building and extending the solving layers of its optimisation platform. The candidate will have a deep understanding of combinatorial optimisation using some or all of constraint programming, mathematical programming or SAT/SMT solving technologies

The researcher will be responsible for:
State-of-the-art solving technology for combinatorial optimisation problems.
Defining and developing mechanisms for building complex hybrid solving approaches rapidly and extensibly.
Developing solving techniques to handle date-intensive optimisation effectively.
Engaging in high impact constraint programming and programming language research.
Engaging in commercialisation activities, where appropriate.
Contributing to supervision of PhD students, and collaborative projects.

The Optimisation Research Group includes around 30 full-time researchers, around 16 of which are situated in Victoria. The platform project involves around 6 full time researchers. Our aim is to build the next generation combinatorial optimisation system to correctly, efficiently and scalably solve complex problems for industry, government and the scientific community.

The position is based in Melbourne, which is consistently ranked as one of the most livable cities in the world and feature vibrant academic, cultural, and scientific communities.

Competitive Salary is offered: 85K-110K Australian incl. superannuation, fixed term or continuing appointment.

Apply online here : url=https://nicta.silkroad.com/epostings/index.cfm?fuseaction=app.jobinfo&id=23&jobid=156&company_id=16182&version=1&source=ONLINE&JobOwner=993280&level=levelid1&levelid1=2770&parent=Research&startflag=2

Closing Date: May 15 2013

Dr. Hassan Lionel Hijazi,
Optimisation Research Group, NICTA
NICTA | Locked Bag 8001 | Canberra ACT 2601
T + 61 2 6267 6315
www.nicta.com.au

*From imagination to impact.*
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************