Program Analysis Engineer

Role overview

SMAROBIX is looking for a Program Analysis Engineer to join its core team in Dresden. The company builds software that helps robotics engineers better understand complex robotic systems by making ROS-based systems observable, interpretable, and actionable. This position is intended for someone who wants to help shape the product’s technical foundation from the ground up.

What you will work on

Your main focus will be the static understanding of robotic systems: turning source code, configuration, and build artifacts into a reliable foundation for the rest of the product. The work is not about collecting data for its own sake. Instead, it involves deciding what information is worth capturing, at what level of abstraction, and why those choices will continue to hold up as systems become larger and more complex.

This is a practical, hands-on role that combines design and implementation. There is no preset blueprint, so you will need to explore different approaches, validate assumptions, and converge on representations that are technically robust and ready for real-world use. Much of the challenge lies close to the boundaries of traditional program analysis, where good judgment about limitations matters as much as technical technique.

What the team is looking for

The ideal candidate has experience in program analysis or other language-focused systems where abstraction and representation are central. Relevant backgrounds may include compiler development, static analysis, language engineering, formal methods, or related areas. The role suits someone who has solved problems where understanding meaning across artifacts was more difficult than writing the mechanics themselves.

You should care about models: what they preserve, what they omit, and how those decisions affect later use. You should be comfortable working across multiple languages and formats, and you should not expect every problem to come with a standard method. Ambiguity should help you ask better questions rather than slow you down.

The work also calls for a pragmatic mindset. The goal is to build a dependable system, so you should know when AI-based approaches add value and when classical methods are the better fit. In a small team, clear communication, willingness to move across responsibilities, and ownership of your design choices are important. It is also essential to distinguish between uncertainty and a complete lack of knowledge, and to be honest about which one applies.

Nice-to-have background

Experience with robotics tooling such as ROS2, large C++ build environments, or model-driven engineering can be helpful and may give you an early advantage. That said, the most important factors are real technical depth, strong conceptual thinking, and the drive to deliver.

Why this opportunity stands out

This is not a maintenance role and not one where you will simply implement a predefined analysis pipeline. The core technical decisions are still open, which means you will help define the representations that everything else in the product depends on. You will need to be thoughtful about scope, timing, and priorities, not only about technical implementation.

Your work will form the foundation under the product and will influence it for years. You will collaborate closely with the co-founder responsible for language engineering and have genuine ownership, with room to question assumptions. As the company grows, this position can naturally develop into technical leadership through influence, clarity, and strong judgment rather than formal hierarchy.

How to apply

Applicants should send a CV and a short cover letter to [email protected]. The cover letter should describe a difficult technical problem you solved and the point at which you realized your first approach was wrong, along with what you did next.

Additional information

Location: Dresden, Germany. Full-time role with an on-site preference; hybrid work is possible within the EU.

The team is a TU Dresden startup led by five founders with complementary skills and diverse cultural backgrounds.