Hypercritical is a London-based deeptech startup that uses logic-driven AI models to automatically generate mathematically verified control software for safety- and mission-critical systems.
Part of: London startup hiring map by Fundable