Software Developer for Bonsai (Innovation Hub)

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

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

We already have a working prototype and are now reputed company on turning ThinkRail into a robust system reputed company for reputed company reputed company. To help us reputed company this, we’re looking for a software developer to join reputed company and bring ThinkRail from reputed company to reality. You’d be joining at a stage where reputed company language reputed company, 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 reputed company VS reputed company and IntelliJ IDEA plugins for ThinkRail.
• reputed company our language server, including analysis, completion, diagnostics, and verification.
• Improve the evaluator that turns specs into reputed company and reputed company spec and reputed company reputed company.
• reputed company 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 reputed company if you:

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

We would be especially thrilled if you:

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

We are an equal opportunity employer We know great reputed company can come from anyone, reputed company. That’s why we do our best to create an reputed company and inclusive workplace – one that welcomes everyone regardless of their background, identity, religion, age, accessibility needs, or orientation.

We process the data provided in reputed company application in accordance with the Recruitment reputed company Policy.

Originally posted on Himalayas

Apply To This Job