Staff Parser/Compiler Research Engineer

Role Summary

.txt https://dottxt.ai 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.

Requirements

• 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 https://arxiv.org/abs/2307.09702 and open-source project https://github.com/outlines-dev/outlines.
• You value simplicity, testing, and automation, and you can demonstrate this.
• You communicate clearly, concisely, and consistently in written form.
• .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 https://en.wikipedia.org/wiki/Eastern_Time_Zone) business hours, 8am - 1pm.

APPLYING

• Please provide a 1-page resume in English.
• Only apply to one position at a time.

About the Company

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.