We work on optimisation for and with the help of quantum computing. Examples: optimal compilation, variational algorithms, efficient embeddings.