Static Analysis Developer Internship

Job summary:

Red Hat Enterprise Linux development team Core Services is looking for a student interested in static analysis of source code. The intern will help with automation of static analysis of Red Hat Enterprise Linux and Fedora, will help with reviews of detected flaws in the operating system. His/her responsibility will be to participate on the static analysis tools development and improvement. He/she will get in touch with commercial tools like Coverity and with open source tools like Clang, Cppcheck, Shellcheck and others.

Primary job responsibilities:

development of automated static analysis tools; evaluating the results of static analyzers; experimenting with research prototypes of static analyzers and formal verifiers

Required skills:

good understanding of the C/C++ programming language; user experience with git; user experience with Linux; basic knowledge of shell scripting