Lewis Young
2013-11-05 00:59:03 UTC
Hi,
HP Fortify is hiring interns who enjoys working on identifying security
issues in software using Klee. If you're interested in applying your
symbolic execution knowledge to real-world software to solve security
concerns, please send your resume that highlights your Klee related
projects to Lu at lu.zhao-***@public.gmane.org
Thanks
Lewis
P.S.
HP Fortify is a leading software firm in application security testing.
It combines knowledge of static/dynamic analysis, formal verification,
and software security into products that find vulnerabilities in
programs. More information about HP Fortify is available at
http://www8.hp.com/us/en/software-solutions/software-security/index.html. This
particular group that is looking for Klee interns focuses on static
analysis techniques and extends to symbolic execution.
HP Fortify is hiring interns who enjoys working on identifying security
issues in software using Klee. If you're interested in applying your
symbolic execution knowledge to real-world software to solve security
concerns, please send your resume that highlights your Klee related
projects to Lu at lu.zhao-***@public.gmane.org
Thanks
Lewis
P.S.
HP Fortify is a leading software firm in application security testing.
It combines knowledge of static/dynamic analysis, formal verification,
and software security into products that find vulnerabilities in
programs. More information about HP Fortify is available at
http://www8.hp.com/us/en/software-solutions/software-security/index.html. This
particular group that is looking for Klee interns focuses on static
analysis techniques and extends to symbolic execution.