Placement papers | Freshers Walkin | Jobs daily: Research Engineer on Dynamic Program Analysis £40-70k p.a. + Benefits at DiffBlue (Oxford, UK)

Search jobs and placement papers

Research Engineer on Dynamic Program Analysis £40-70k p.a. + Benefits at DiffBlue (Oxford, UK)

40k to 70k p.a. plus benefits

We are looking for a research engineer with experience in C++ and dynamic or static program analysis techniques. The ideal candidate has a PhD in computer science, is fluent in C++, and is familiar with at least some of the following key techniques:

  • 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.

We are developing cutting-edge testing and vulnerability-detection products based on a number of verification approaches.  We want to develop a new verification engine and runtime for the analysis of multithreaded Java and C code (others languages to follow).  You will work in a team of around 5 developers and contribute to the research, design, implementation, and evaluation of the engine from the very early stages of development.


  • Improve existing research techniques for verification and testing in order to make them ready to cope with industrial-size software.

  • Contribute to the design, implementation and evolution of our dynamic analysis runtime and surrounding program analysis infrastructure.

  • Identify bottlenecks and bugs, and devise solutions to these problems.

  • Help maintain code quality, organization, and automation.

Required skills

You must have the following skills:

To be successful in this position, you need:

  • Proven track of publications/patents in one or more of the techniques enumerated above.

  • Strong proficiency in C++, with thorough knowledge of the standard library.

  • Proven experience in contributing to large private or open-source projects.

  • Proven experience with verification/compiler architectures.

  • Excellent communication skills.

Desirable skills

We would also appreciate knowledge or interest in the following:

  • Familiarity with verification approaches for concurrent code

  • In-depth knowledge of the language specifications of Java or C.

  • Proficient understanding of the version control system GIT

  • Familiarity with language tools, such as GDB, gprof and Valgrind

by via developer jobs - Stack Overflow

No comments:

Post a Comment