IBM Research (https://research.ibm.com https://research.ibm.com) | Boston, MA | Full-Time | Hybrid We are hiring a Senior Scientist to join our team. We're wor

IBM Research (https://research.ibm.com https://research.ibm.com) | Boston, MA | Full-Time | Hybrid We are hiring a Senior Scientist to join our team. We're working at the intersection of LLM training and the inference stack. We're looking for someone who wants to work in the following intersection: * Both implementation experience and theoretical background in compilers, programming languages, or programming models. We have an absolutely requirement for someone with 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 From an academic perspective, think "POPL/PLDI/OOPSLA/CAV/etc." + "NeurIPS/ICML/AISTATS/etc.". The job posting for a Senior Scientist position, with rough salary ranges, will go live soon. I'll edit or post a reply with the link when it's live. For now, if you have expertise at some intersection of the above topics, please feel free to reach out: nathan@ibm.com Application link for Research Scientist position: https://careers.ibm.com/en_US/careers/JobDetail?jobId=118292&src=HN https://careers.ibm.com/en_US/careers/JobDetail?jobId=118292... We also have a Research Engineering role for which we're actively interviewing: https://careers.ibm.com/en_US/careers/JobDetail?jobId=113488&source=WEB_Search_NA https://careers.ibm.com/en_US/careers/JobDetail?jobId=113488...