Hi Richard,
I believe that this is only possible by editing the corresponding template file in your current theme directory and placing the search PHP shortcode there manually. (unless there is a widgetized area, but I guess there is not)
The exact code and file location depends on the theme structure, there are thousands of different themes, so I don’t know where to look exactly, to be honest.
The best idea is to ask the theme developer, he might be able to point you to the correct file location, and I can help you placing the shortcode there. In theme files the PHP shortcode is used, more information you can read here.