PhD position 4: Large solution spaces
Discrete Mathematics and Mathematical Programming
Faculty of Applied Mathematics
University of Twente

The synthesis tool will in general allow choosing the design from a large number of feasible constructions in a high dimensional space. The goal is then to find ‘the best design’.

Only for ’simple designs’ this optimization problem can be expected to be solved exactly in an automatic process. In most practical cases the optimal choice has to be found interactively by ‘navigating’ in an efficient way through the space of feasible designs.

Main aspects of the research are:

• techniques from Operations Research to find a ‘representative subset’ of the feasible set. (Multi-objective programming, sensitivity analysis.),
• techniques from mathematics and computer science which allow ‘rough visualization’ of a high-dimensional solution space and an efficient interactive selection of an optimal solution.

Requirements:
A master degree in mathematics or computer science.Desired are programming skills, good communication skills in writing as well as oral.

Info and application: Dr. Georg Still
http://www.math.utwente.nl/dos/dwmp/