C/C++软件测试工程师

formalVerif

我们在开发一款安全测试的产品，需要大量的测试，急需程序测试人员。您有兴趣吗？ 如果您有朋友有兴趣，能帮忙转发一下吗，多谢!

Job Title: C/C++ Engineering for testing

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