DatenVorspung GmbH is a high-tech startup in the field of artificial intelligence. As the only IT service provider of its kind in Austria, DatenVorsprung offers verifiable and explainable AI systems for industrial processes, marketing, finance, culture, and much more. The highly specialized team, consisting of data technicians, mathematicians, and data scientists, has set itself the goal of formally verifying unexplainable processes within a learning AI (black box), so that both ethical and safety-critical concerns in the use of artificial intelligence can be eliminated. This enables a safe, trustworthy, and non-discriminatory application.