C++ Research Developer - LLVM, concolic execution, verification (OX1)
C++ Research Developer - LLVM, concolic execution, verification, source code analysis (OX1) An innovative, very high growth AI spinout from the University of Oxford is seeking top flight System Programmers with eexpertise in C++ and dynamic or static program analysis techniques. You'll have the opportunity to learn from former computer science professors and experts in advanced disciplines such as AI, static analysis and software verification. You will work in a team of around 5 developers and contribute to the research, design, implementation and evaluation of a new verification engine from the very early stages of development. The successful Research Engineer be familiar with some of the following: Fuzz testing Dynamic analysis, concolic execution Static analysis, abstract interpretation SAT solving Compiler or verification infrastructures such as LLVM, Clang, CPROVER, CIL, Boogie, Frama-C Has experience developing (automated) verification/testing tools Advantageous skills: Proven track of publications/patents in one or more of the techniques above Strong experience in writing verification tools in C++ or Java Proven experience with verification/compiler architectures Excellent communication skills This dazzling company offers: A professional team working on cutting-edge research problems Opportunity to work on the next generation of programming tools Personal progression and training in a heterogeneous research environment An environment that is learning-oriented, offering the challenge of new subject matter. Oh, and a highly competitive salary, flexible working hours; 8% pension employer contribution; role flexibility (learn new technologies if you want); free lunches; private healthcare insurance; dental insurance; life insurance; critical illness insurance; income protection insurance.