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 [email protected].
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.
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
