Job Description:
Testing security software. Given C/C++ test case(program), use our software to reproduce the bug in code. if qualified, you will work as c/c++ developer.
Desired Skills and Experience
Must have -
-Self-motivated, capable of working independently
-Extensive c/c++ coding experience
-Solid compiler knowledge, LLVM will be highly desirable.
-Familiar with Linux/gdb/gcc tool chain
Nice to have, knowledge in -
-Formal method, Program analysis
-Scripting, e.g., Perl/Python etc
Benefits -
-Flexible: you can work anywhere, anytime, part time or full time
-Cutting-edge technology: formal verification technology, security etc.
-Competitive compensation