[Haskell-cafe] Job: Automatic Exploit Generation developer

[David Brumley]

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

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.

2) Automatically harden binary (x86) code against vulnerabilities.

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).

Please consider applying if this sounds exciting.
http://jobs.forallsecure.com/

Take care,
-David

PS. ForAllSecure is a Carnegie Mellon University spinoff. The job is in
Pittsburgh, but we will also consider highly qualified remote candidates.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20140426/0e8ff839/attachment.html>