[klee-dev] internship position for KLEE

[Lewis Burns]

Hi,

HP Fortify is recruiting Spring or Summer interns who loves working with 
Klee. Particularly, this project uses symbolic execution to 
discover/verify security vulnerabilities in programs. If you're 
interested in modifying Klee internals to solve real-world software 
security problems, please send your resume that highlights your Klee 
related projects to Lu at lu.zhao at hp.com.

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 
analyses and is interested in combining static analyses and symbolic 
execution