Working at Diffblue

Diffblue is creating a toolset that uses advanced mathematical reasoning to understand and verify source code. This allows intelligent automation of time-consuming tasks such as writing unit tests, detecting security vulnerabilities and refactoring code.

Far beyond the capabilities of current-gen solutions, our platforms determine that each result is formally verified and directly usable.

Our team:

Join a celebrated team with great ties to academia and the open source community! Our research and development department is at the forefront of artificial intelligence for code synthesis, and our founder, Daniel Kroening, has impacted the open source landscape with his tool ‘CBMC’; A bounded model checker which verifies array bounds (buffer overflows), pointer safety, ex­cep­tions and user-specified as­ser­tions. 

You will be working in advanced disciplines such as AI, static analysis, and software verification; and will impact code quality for a range of global clients within the financial and security sectors. It is not only our clients that recognize the importance of our work, we have been featured by a variety of reputable news sources such as Techcrunch, Business Insider, and Tech.eu.

Our culture:

We pride ourselves in being a flexible and diverse workplace. You will be part of a community with people from a range of different backgrounds and walks of life. We promote a healthy work-life balance, and your progression, both professional and personal, is a top priority for us.

 

Our team:

Join a celebrated team with great ties to academia and the open source community! Our research and development department is at the forefront of artificial intelligence for code synthesis, and our founder, Daniel Kroening, has impacted the open source landscape with his tool ‘CBMC’; A bounded model checker which verifies array bounds (buffer overflows), pointer safety, ex­cep­tions and user-specified as­ser­tions.

You will be working in advanced disciplines such as AI, static analysis, and software verification; and will impact code quality for a range of global clients within the financial and security sectors. It is not only our clients that recognize the importance of our work, we have been featured by a variety of reputable news sources such as Techcrunch, Business Insider, and Tech.eu.

Our culture:

We pride ourselves in being a flexible and diverse workplace. You will be part of a community with people from a range of different backgrounds and walks of life. We promote a healthy work-life balance, and your progression, both professional and personal, is a top priority for us.