<div dir="ltr">Hi,<div>ForAllSecure is a small startup bent on checking the world's software for exploitable bugs.  We have two open positions, posted at <a href="http://jobs.forallsecure.com/">http://jobs.forallsecure.com/</a></div>

<div><br></div><div>1) Performing program analysis on binary (x86) code. Our current code base is in OCaml. The product automatically finds vulnerabilities, and generate exploits to prove which ones are exploitable.</div>

<div><br></div><div>2) Automatically harden binary (x86) code against vulnerabilities. </div><div><br></div><div>As a side project, we've ran our tools on 33,000 Debian programs, and found about 11,000 new unique crashing bugs (150 give us a shell).  </div>

<div><br></div><div>Please consider applying if this sounds exciting. <a href="http://jobs.forallsecure.com/">http://jobs.forallsecure.com/</a><br></div><div><br></div><div>Take care,</div><div>-David</div><div><br></div>

<div>PS. ForAllSecure is a Carnegie Mellon University spinoff. The job is in Pittsburgh, but we will also consider highly qualified remote candidates.</div></div>