Contemplate, a spin-out technology company from the University of Edinburgh, has built software tools that automatically find defects in enterprise-scale Java code bases, using static analysis methods from recent research. Writing quality software is hard; our business is producing tools that make the hardest aspects of the job easier, drawing on a deep understanding of software and programming languages. ThreadSafe, our initial product, focuses on concurrency bugs because they are the trickiest ones to nail using testing. Following ThreadSafe's introduction in investment banking, it is now in use in a number of industry sectors.