Skip to content
Back to jobs

Posted 2 weeks, 3 days ago

IBM Research

Senior Scientist

Apply View on Hacker News Company site

Roles

Senior Scientist

Compensation

Rough salary ranges will go live soon; not provided in the posting.

Salary period
unclear
Location basis
unclear

Tech stack

LLM Reinforcement Learning Type Theory theory proof assistants Large Models RL Compilers

Required

Large language models (LLMs)reinforcement learning (RL)compilersprogramming language theorytype theoryproof assistants

Location

Boston, MA

Work setup

Employment
full-time
Level
Senior
Remote policy
Hybrid (Boston, MA)
Remote scope
hybrid

Role details

Responsibilities

  • Work at the intersection of LLM training and the inference stack.
  • Provide both implementation experience and theoretical background in compilers, programming languages, or programming models.
  • Apply practical experience with pretraining and RL tuning of LLMs.
  • Develop or modify inference engines for LLMs.

Requirements

  • Implementation experience and theoretical background in compilers, programming languages, or programming models.
  • Mathematical maturity in formal systems (programming language theory, type theory, proof assistants, etc.).
  • Practical experience pretraining and RL tuning LLMs (or skill-adjacent experience/expertise).
  • Practical experience developing or modifying inference engines for LLMs.

Application

For now, if you have expertise at some intersection of the above topics, feel free to reach out to nathan@ibm.com. Application link is provided for the Research Scientist position.

Portfolio
not required
GitHub
not required
Cover letter
unclear
Apply flow
ats

Company context

Product
LLM training and inference
Industry
unclear
Open source
Yes

Contact

nathan

nathan@ibm.com

Description

We are hiring a Senior Scientist to join our team. We're working at the intersection of LLM training and the inference stack. We are looking for someone with both implementation experience and theoretical background in compilers, programming languages, or programming models, with mathematical maturity in formal systems (programming language theory, type theory, proof assistants, etc.). Practical experience pretraining and RL tuning LLMs (or skill-adjacent expertise). Practical experience developing or modifying inference engines for LLMs. Academic inspiration: POPL/PLDI/OOPSLA/CAV/etc. + NeurIPS/ICML/AISTATS/etc. The job posting will go live soon; reach out for expertise at some intersection of the above topics. Application link is provided for Research Scientist position.

Similar jobs

  • Loading similar jobs...