R&D Job Posting


I lead a research team for Vector Informatik that focuses on new strategies for software verification.
Previously I was one of the founders and CTO for the company that created VectorCAST,

an automated unit test framework for C and C++ programs.

Our legacy products use the EDG front-end, but for new concept prototyping we’ve been using Clang.
We’ve been really pleased with the API and performance, and based on this, we’d like to

add some team members with deeper Clang knowledge.

Professor Adve suggested this mailing list so I thought I’d take a chance …

If anyone is interested in this research area please ping me.

Thanks for reading this far :blush: