STAFF PARSER/COMPILER RESEARCH ENGINEER

.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. 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 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. 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 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.