As a research engineer do you enjoy working on software verification using both static and dynamic analysis techniques? Do you have a deep knowledge of compiler architectures and a passion to create the next generation of tools that can dramatically improve code quality?
Our client, founded by Professors of Computing who are leaders in their field, reason about the behaviour of software to help automate parts of the SDLC. With a great set of investors, their products are already live with Tier 1 banks and well known public cloud providers.
They are looking for a PhD qualified research engineer to join their team with a background in software verificaiton.
- 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 infrastructure.
- Identify bottlenecks and bugs, and devise solutions to these problems.
- Engage in writing scientific papers or patents.
- PhD in computer science or a related discipline
- Strong proficiency in writing verification tools in C++ or Java
- Proven experience with developing for verification/compiler architectures
- Excellent communication skills
- Familiarity with at least one of the techniques mentioned above
- Proven track record of publications/patents in one or more of the techniques enumerated above
Optional but desirable skills
- In-depth knowledge of the language specifications of the JVM or C.
- Proficient understanding of the version control system GIT.
- Familiarity with language tools, such as GDB, Gprof, and Valgrind.
- Proven experience in contributing to large private or open-source projects.
Research engineers with a background in software verificaiton are encouraged to apply and strong candidates will receive a response within 24 hours.
Our client is unable to provide VISA sponsorship should you require this.
The Difference Engine is a Recruitment company working on behalf of its clients.