Vector Informatik, GmbH

Vector Informatik is a leading provider of innovative software testing solutions for safety and mission critical embedded applications. At Vector, we have many tools that aid development teams in building high quality software, and have active research initiatives to extend this portfolio. We are looking for research engineers and software engineers to join our research group to help build the next generation of software verification tools.