Software Engineer - Reverse Engineer

BoolSi is Hiring a Reverse Engineer.

BoolSi, Inc. is creating cutting-edge AI technology for chip design. In this role, you will help us convert user programs into hardware designs by applying your fuzzing and reverse engineering skills to automate the analysis of user code.

Who we are:

We started BoolSi to dramatically reduce the time it takes to design and verify chips by using machine learning to generate hardware from software. With our approach, the user writes code in any language and library, and our ML solution transforms the software behavior into digital logic.

BoolSi was founded by Dr. Mihailo Isakov and Dr. Branko Milosavljević in 2023, and is operating in Boston, MA, with an R&D team in Belgrade and Novi Sad. We have raised a seed round from Pillar VC, Coalition Ventures, and Neel Capital, and have several seasoned VPs from top semiconductor companies on our board of advisors.

Who you are:

• You have a strong grasp of dynamic binary instrumentation tools (Intel Pin, Valgrind, etc.) and reverse engineering tools such as Ghidra.
• You have experience using SMT solvers.
• You know what ‘concolic execution’ means.
• You are comfortable modifying the LLVM toolchain.
• You have a deep understanding of C++.

Experience with hardware design or distributed systems is a plus.

Your responsibilities:

• You will build tools to exhaustively fuzz user programs and collect representative traces. You will build tools that extract CFGs and DFGs from binaries and will develop solvers that generate sets of inputs that fully cover both.
• You will develop tools that partition complex binaries into subgraphs that can be analyzed independently.
• You will build preprocessors that replace user functions with calls to AI-generated hardware.
• You will develop fuzzing heuristics to speed up ML model training.

What we offer:

• A competitive salary and equity plan.
• Security conference participation & travel.
• Remote work, with an optional office in Novi Sad, Serbia
• Some of the toughest problems in computer science.
• A shot at building a generational company.

How to apply:

Send your CV or GitHub profile to arrange a meeting.