# Programming Languages / Compilers

Programming languages and compilers is a computer science research area focused on the design, implementation, analysis, optimization, and formal properties of computer programs.

This is one page of public article previews, not the complete archive. Follow Next page to continue. Summaries are not the original full articles.

## Research internships in our Tools and Compilers group

DevFeed: [Research internships in our Tools and Compilers group](<https://devfeed.tech/articles/research-internships-in-our-tools-and-compilers-group-20212.md>)

Original publisher: [Read original article](<https://blog.janestreet.com/research-internships-tnc/>)

Author: Greta Yorsh

Published: 2022-03-04T00:00:00Z

Content type: release

Language: en

Sources: [Jane Street](<https://devfeed.tech/sources/jane-street.md>)

Topics: [Programming Languages / Compilers](<https://devfeed.tech/topics/programming-languages-compilers.md>), [OCaml](<https://devfeed.tech/topics/ocaml.md>), [Compiler](<https://devfeed.tech/topics/compiler.md>), [Tooling](<https://devfeed.tech/topics/tooling.md>), [Open Source](<https://devfeed.tech/topics/open-source.md>)

Tags: [compilers](<https://devfeed.tech/tags/compilers.md>), [internships](<https://devfeed.tech/tags/internships.md>), [ocaml](<https://devfeed.tech/tags/ocaml.md>), [open-source](<https://devfeed.tech/tags/open-source.md>), [programming](<https://devfeed.tech/tags/programming.md>), [tools](<https://devfeed.tech/tags/tools.md>)

### AI overview

Jane Street announces research internships in its Tools and Compilers group for PhD students in programming languages, compilers, verification, and related areas. The article describes the group's work on OCaml, its compiler and toolchain, and possible research projects.

### Source excerpt

We are excited to announce research internships in our Tools and Compilers group.