Hi Yosi,
You can use the PHP version of the shortcode to place in the theme files. You might have to ask the theme developer for the exact location, but it is usually in the header.php file.
The functions.php would not work in this case, unless there is a hook after the header is printed, which is very unlikely.