Back to search
BoolSi Linkedin · Posted 21d ago

Software Developer

Novi Sad

Linkedin
Continue to application Add your email once, then Caio opens the original posting.

Indexed description

  • 00About

Transform software into hardware.

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.

  • 01Scope

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.
  • 02Fit

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.
  • 03Nice to have

Bonus points.

  • Machine learning or LLM systems.
  • Building developer tools.
  • Compilers or static analysis.
  • Verilog, SystemVerilog, FPGA development, or digital design.
  • Simulation, verification, or formal methods.
  • Distributed systems and cloud infrastructure.
  • Contributions to open-source projects.
Free. 20 seconds. No password. See every match in this search.

Create a free Caio profile to unlock more results and save your role and location preferences.

Unlock free search
Want help applying to roles like this? Search Caio for free. If repetitive applications get heavy, Managed Job Search adds supervised execution for $99/month.
View Managed Job Search