Computational Linguist

Moleculyst
New Delhi, Delhi, India

About the role

Moleculyst is building a reasoning checker that works directly in English. When an LLM draws conclusions from contracts, annexures or laws, our system checks every step for soundness and completeness against the source documents. We don’t formalize in Lean. Each step is an English sentence, read through a dictionary that can be corrected and checked against a small first-order logic core. We’re hiring a Computational Linguist to own the language side of this system.

What you’ll work on

  • Parse English with the English Resource Grammar (ERG) and build our MRS-to-first-order-logic mapping
  • Build DRS (Discourse Representation Theory) processing for multi-sentence text, covering anaphora, scope and reading pruning, kept domain-independent with no hand-written rules
  • Design our controlled-English fragment, in the spirit of Attempto Controlled English. Many phrasings can map to one logical step, but one phrasing never maps to two.
  • Build the WordNet-based sense dictionary, with LLM-driven sense selection and new entries, and people correcting wrong readings
  • Turn pragmatics into a working spec: the questions an LLM must ask to resolve ambiguity, vagueness and missing context in queries, source documents and its own output, and when to ask a person
  • Test the checker on real contracts and laws, using Z3 as a test oracleWhat we’re looking for
  • Strong formal semantics: first-order logic, DRT (Kamp & Reyle), MRS, quantifier scope, anaphora
  • Grammar engineering experience, ideally with HPSG/ERG and DELPH-IN tools
  • Lexical semantics and word sense disambiguation, with working knowledge of WordNet
  • Grounding in pragmatics: presupposition, implicature, reference resolution
  • Solid Python, and comfort working with LLMs, including locally hosted models

Score my resume against this job, free →

Questions about this job

How do I apply for the Computational Linguist job at Moleculyst?

Use the apply link on this page: you apply directly with Moleculyst on LinkedIn. Before you do, score your resume against this job description on Fitboard. It shows which skills and keywords the job asks for that your resume doesn't show, so you can fix them first.

What skills does Moleculyst want for this Computational Linguist role?

The job description asks for Strong formal semantics: first-order logic, DRT (Kamp & Reyle), MRS, quantifier scope, anaphora, Grammar engineering experience, ideally with HPSG/ERG and DELPH-IN tools, Lexical semantics and word sense disambiguation, with working knowledge of WordNet, Grounding in pragmatics: presupposition, implicature, reference resolution and Solid Python, and comfort working with LLMs, including locally hosted models. Make sure your resume shows the ones you have, in the words the job uses: applicant tracking systems look for them.

How can I get a job at Moleculyst?

Apply to the Moleculyst roles that match your experience, and tailor your resume to each job description: for this role that means showing Strong formal semantics: first-order logic, DRT (Kamp & Reyle), MRS, quantifier scope, anaphora, Grammar engineering experience, ideally with HPSG/ERG and DELPH-IN tools, Lexical semantics and word sense disambiguation, with working knowledge of WordNet. A resume that matches the job's own keywords is more likely to get past screening. Fitboard scores your resume against this exact job for free.

Is this Computational Linguist job remote or onsite?

This is based in New Delhi, Delhi.

Is it free to apply? Does Fitboard charge anything?

Applying is free: you apply directly with Moleculyst, and this job page and its apply link cost nothing. Checking your resume against this job is free too, with 3 free scans when you sign in and no credit card needed.

Will you get shortlisted for this role? Check your match free →