[klee-dev] Klee-related internship position

[Lewis Young]

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 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 
analysis techniques and extends to symbolic execution.