Red Hat isthe world’s leading provider of enterprise opensource software solutions, using a community-powered approach to deliver reliable and high-performing [Linux, hybrid cloud, container, and Kubernetes] technologies. Red Hat is a significant contributor and maintainer of major open-source software including Linux, GNU, and Apache Web server.Red Hat’s Czech branch, based in Brno, is focused on research and development. Currently, Red Hat employs close to 1,500people in Czechia. The Brno location was chosen thanks to a livelyOpen Source community and strong technical universities and active local community. Red Hat in Czechia works in close cooperation with universities by offering internship programmes and diploma theses and having laboratories directly at MUNI and BUT. Improving the trustworthiness, dependability, and overall quality of open-source software is Red Hat’s main activity, and the resulting products are available freely, including all implementation details. This removes one of the crucial barriers hindering the technology transfer between academia and business, e.g. in the area offormal methods.