Join our Manticore development team!

Manticore is an open source symbolic execution tool developed at Trail of Bits, used for binary and smart contract analysis. Parts of it have been used in Cyberdyne, the Trail of Bits Cyber Reasoning System, which competed in the DARPA Cyber Grand Challenge. Today, it supports our R&D and Security Assurance practices where we use it to research novel applications of symbolic execution and enhance the abilities of our security auditors.

Role Description

You will join the small team of Manticore core developers and contribute to all aspects of the Manticore open source project. You’ll be a key part of radically improving Manticore in terms of features, adoption, and performance, and be actively involved in guiding the future direction of the project.

Responsibilities

• Design and implement solutions to challenging engineering and research problems
• Collaborate with teammates to maintain and continually improve all aspects of the Manticore codebase using modern software engineering practices
• Interact with internal and external users and stakeholders, using feedback to drive development
• Foster the Manticore open source community, including providing technical support

Requirements

• Fluency in Python 2 and Python 3
• Experience with library and API design
• Proficiency with Linux
• Proficiency with Git
• Strong debugging skills
• Experience with a modern software engineering process, including continuous integration, testing, and code review.
• Great written communication skills
• Preferred experience with: computer architecture/emulation, symbolic execution, program analysis, Linux kernel internals, Ethereum internals

Benefits

• Our workforce is 50% remote. Many employees choose to work from home. As long as you keep delivering good work, we keep our hands off your personal style and let you manage your work day as you work best.
• Liberal expense policy for acquiring the equipment and software that help you do your job. If we need hardware, we buy it. Everyone has rack space and corporate cards.
• We can tell you exactly what projects you'll work on and the people you'll work with. If it's not what you want, no need to initiate a lateral transfer, we can shift your work without an issue.
• Every year, we pay for the best in conference training, technical training, and managerial classes for our team. Everyone is encouraged to identify additional opportunities for personal professional growth.
• We routinely highlight the work our employees are specifically paid to do via our blog, product offerings, and conference talks. We talk about more than just side projects.
• We're at the forefront of a number of markets and have the internal expertise and the ambition to capitalize on those opportunities. See your work in use and valued by many others.

Benefits for Eligible US Employees

• Multiple competitive health, vision, and dental insurance plans including no-monthly-premium options for individuals and families through JustWorks
• Ancillary benefits including life and disability insurance, pre-tax commuter benefits, free Citi Bike membership, access to a HealthAdvocate, a healthcare Flexible Spending Account (FSA), and a free One Medical membership
• 3-4 months paid leave for new mothers and fathers
• 401k with 5% company matching through Betterment
• Moving expenses: $5k one-time
• Charitable donation matching up to $1,000
• Bonuses for recruiting, public speaking, tool releases, blog posts, academic posters, proposals, and whitepapers, and end-of-year bonuses based on company, team, and personal performance
• 14 company holidays and four weeks of Paid Time Off (PTO)
• We are actively pursuing a relationship with a Canadian PEO to offer a similar suite of services for Canadian employees