Ryan Stortz
2014-Dec-19 14:50 UTC
[LLVMdev] Job Posting: Engineers wanted at Trail of Bits
Trail of Bits[1] is looking to expand our engineering team. We’re looking for engineers interested in software security, experience with LLVM pass development, and a strong grasp of C++. We’re working on several funded research projects that utilize LLVM to do program analysis and transformation. One such project is mcsema[2][3]. The cliff notes on mcsema are: it’s an x86 binary to LLVM IR translation framework where the output is well formed IR (compatible with llc and opt). You can even feed mcsema’s output straight into klee[4][5]. We’re currently doing work with LLVM in the following topic areas: • Further mcsema development (including expanding it to support x86-64) • Automatic software vulnerability detection & mitigation • Automatic proof of vulnerability development[6] • Software obfuscation and anti-reverse-engineering • Software security through diversity We’re looking for software engineers with the following qualifications: • Experience implementing LLVM Analysis passes • Experience with static and dynamic program analysis techniques • Strong C++ programming skills • An understanding of software security flaws is a plus A lot of our work revolves around software security but it certainly isn’t limited to it. Don’t let this discourage you from applying! If any of this work interests you or if you’re looking for new challenges, please apply by sending your resume to careers at trailofbits.com. More information about our company is available here: https://www.trailofbits.com/careers/. Cheers, Ryan [1] https://www.trailofbits.com [2] https://github.com/trailofbits/mcsema [3] http://recon.cx/2014/video/recon2014-10-artem-dinaburg-andrew-ruef-Static-Translation-of-X86-Instruction-Semantics-to-LLVM-With-McSema.mp4 [4] http://blog.trailofbits.com/2014/11/25/close-encounters-with-symbolic-execution/ [5] http://blog.trailofbits.com/2014/12/04/close-encounters-with-symbolic-execution-part-2/ [6] As part of DARPA’s Cyber Grand Challenge: http://blog.trailofbits.com/2014/06/03/dear-darpa-challenge-accepted/ -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20141219/77c78429/attachment.html>