Research Engineer C++, Java, Code Analysis

Recruiter
RICHARD WHEELER ASSOCIATES
Location
Oxford
Posted
12 Oct 2018
Closes
11 Nov 2018
Contract Type
Permanent
Hours
Full Time
Research Engineer - C++, Java, Static / Dynamic Analysis An innovative, very high growth AI spinout from the University of Oxford is seeking an experienced Research Engineer with experience in C++ or Java 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 Additional requirements include: 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.

Similar jobs

Similar jobs