Software Developer

BoolSi, Inc.; Boston, Northern (MA, KY); Hybrid; USD 120,000 - 180,000; Full time

Job summary

BoolSi, Inc. is building AI systems that automate hardware design, generation, verification, and optimization for FPGA and ASIC architectures.

The team works at the intersection of AI, compilers, verification, and developer tools to push the boundaries of what software can automate in hardware. You will tackle challenging problems across software engineering, machine learning, compilers, and architecture, contributing to scalable AI-driven hardware workflows and collaboration with researchers

Qualifications

• Proven experience with Python or C++ in production code.
• Ability to design and implement complex systems.
• Experience debugging and reasoning about large codebases.
• Familiarity with ML/LLM concepts is a plus.
• Comfort in an early-stage startup environment.
• Ability to learn unfamiliar domains quickly.

Responsibilities

• Build core infrastructure for AI-driven hardware generation.
• Develop systems for logic design generation, verification, and optimization.
• Create tooling around simulation, formal verification, and synthesis.
• Work on static analysis and program understanding of C/C++ code.
• Build scalable evaluation and benchmarking pipelines.
• Develop AI agents that reason about hardware design and verification.
• Integrate open-source EDA tools into automated workflows.
• Collaborate with researchers and engineers on new product capabilities.

Skills

Strong software engineering

System design

Debug large codebases

ML/LLM systems

Distributed systems

Open-source contributions

Learn new domains quickly

Problem-solving

Communication

Tools

Python

C++

Job description

Software Developer.

Build AI systems that turn software into hardware, automatically generating, verifying, and optimizing FPGA and ASIC designs.

We are developing technology that automatically generates, verifies, and optimizes FPGA and ASIC designs from software descriptions. Our work sits at the intersection of AI, compilers, verification, digital design, and developer tools.

You’ll work on one of the most ambitious problems in computing: automating the creation of hardware using AI. The challenges span software engineering, machine learning, compilers, verification, and computer architecture. The work is highly technical, highly interdisciplinary, and has the potential to fundamentally change how hardware is built.

We are looking for engineers who enjoy tackling difficult technical problems, learning new domains quickly, and building systems that push the limits of what software can automate.

What you might work on.

• Build core infrastructure for AI-driven hardware generation.
• Develop systems for logic design generation, verification, and optimization.
• Create tooling around simulation, formal verification, and synthesis.
• Work on static analysis and program understanding of C/C++ code.
• Build scalable evaluation and benchmarking pipelines.
• Develop AI agents that reason about hardware design and verification.
• Integrate open-source EDA tools into automated workflows.
• Collaborate closely with researchers and engineers on new product capabilities.

What you'll bring.

• Strong software engineering fundamentals.
• Professional experience with Python or C++.
• Ability to design and implement complex systems.
• Experience debugging and reasoning about large codebases.
• Strong problem-solving and communication skills.
• Comfort working in an early-stage startup environment.
• Ability to learn unfamiliar technical domains quickly.
• Machine learning or LLM systems.
• Compilers or static analysis.
• Simulation, verification, or formal methods.
• Distributed systems and cloud infrastructure.
• Contributions to open-source projects.

BoolSi is an equal opportunity employer. All qualified applicants will receive consideration without regard to race, color, religion, sex, sexual orientation, gender identity, national origin, disability, or veteran status.