.txt builds structured generation: we make language models produce output that follows a given format, by deciding at every decoding step which tokens are allowed. We compile a JSON Schema, a regex, a grammar, a list of function definitions or a policy into that decision, fast enough to run inside the decoding loop. This is how .txt builds reliable and safe agents. We're looking for a developer to work on the parsers and compilers at the center of it.

Responsibilities

• Design and Develop: Craft high-performance parsers and data structures that integrate with LLMs.

• Problem Solving: Research advanced parser and compiler technology and symbolic methods.

• Writing Quality Code: Ensure the reliability and efficiency of our methods through rigorous testing and optimization.

• Stay Ahead: Learn the latest, relevant LLM advancements.

Qualifications

• You know Python at a professional level and have practical experience with "lower-level" languages (e.g. C/C++, Rust)

• You have worked directly with parsers (e.g. Earley, LALR(1)), formal grammars, finite-state machines, and implemented efficient data structures. You are also capable of doing research and development in those areas.

• You are familiar with our relevant technical report and open-source project.

• You value simplicity, testing, and automation, and you can demonstrate this.

• You communicate clearly, concisely, and consistently in written form.

Why you should join us:

🧭 The problem matters
Every agent that takes real actions needs a layer that guarantees it can only do what it was asked. The parser and compiler work in this role is what enables this guarantee.

🌐 Remote first
Work from anywhere in the world. We communicate mostly in writing and favor occasional organic discussions over recurring large team meetings.

💸 Competitive compensation and benefits
Market-rate salary plus stock options, health and dental insurance, and a 401(k) for US employees. We'll also get you a GPU if you don't have one.

Location

.txt is a fully remote company with the majority of the team in the US and EU.

To facilitate real-time collaboration, we require team members to be available, on a daily basis, for at least 3 hours of overlap with morning New York City (Eastern Time Zone) business hours, 8am - 1pm.

Applying

Please provide a 1-page resume in English.

Only apply to one position at a time.