At JetBrains, code is our passion. Ever since we started, back in 2000, we have strived to make the strongest, most effective developer tools on earth. By automating routine checks and corrections, our tools speed up production, freeing developers to grow, discover, and create.

ThinkRail is an innovative project within JetBrains' Innovation Hub. Its aim is to develop a declarative programming language tailored to AI-spec-driven development. Our goal is to build an infrastructure that enables the efficient creation of complex systems with AI, while maintaining the trust of users and flexibility in the results.

We already have a working prototype and are now focused on turning ThinkRail into a robust system ready for real projects. To help us achieve this, we’re looking for a software developer to join our team and bring ThinkRail from vision to reality. You’d be joining at a stage where core language decisions, tooling, and architecture are still being shaped.

This will be an exciting opportunity if you:

• Want to create something new.
• Care about building trust in AI.
• Love programming languages.

In this role, you will:

• Build and evolve VS Code and IntelliJ IDEA plugins for ThinkRail.
• Develop our language server, including analysis, completion, diagnostics, and verification.
• Improve the evaluator that turns specs into code and catches spec and code drift.
• Integrate ThinkRail with AI agent frameworks (e.g. Koog, LangGraph, and Spring AI) and protocols like MCP and ACP.

We will be happy to have you on our team if you:

• Can work effectively in a distributed team.
• Have strong collaboration skills, are open to diverse perspectives, and support your ideas with sound reasoning.
• Possess exceptional problem-solving skills and initiative.

We would be especially thrilled if you:

• Are experienced with developer tools, DSLs, or static analysis.
• Have hands-on experience working with LSP or editor plugins (for VS Code, IntelliJ IDEA, or similar).
• Are interested in or experienced with AI agents and how they’re orchestrated in real systems.

#LI-DNI