Atlas Computing 

We're working towards AI with provable safety guarantees.