Staff Engineer (Platform)

decisions. Proficiency with typed, functional programming in Haskell, Scala, C#, or TypeScript. Strong experience with SQL...

Lugar: Boston, MA | 07/11/2026 03:11:22 AM | Salario: S/. No Especificado | Empresa: Later

Research Engineer

semi-formal methods such as Haskell or other functional programming languages, including executable formal specifications...

Lugar: Portland, OR | 07/11/2026 03:11:12 AM | Salario: S/. No Especificado | Empresa: Galois, Inc.

Research Engineer

semi-formal methods such as Haskell or other functional programming languages, including executable formal specifications...

Lugar: Minneapolis, MN | 07/11/2026 03:11:06 AM | Salario: S/. No Especificado | Empresa: Galois, Inc.

Research Engineer

semi-formal methods such as Haskell or other functional programming languages, including executable formal specifications...

Lugar: Boston, MA | 07/11/2026 03:11:12 AM | Salario: S/. No Especificado | Empresa: Galois, Inc.

ASIC Engineer

to improve the hardware design process and programming in high-level languages such as Python, C++, Java, or Haskell. Additional...

Lugar: New York City, NY | 07/11/2026 03:11:07 AM | Salario: S/. No Especificado | Empresa: Jane Street

Research Engineer

semi-formal methods such as Haskell or other functional programming languages, including executable formal specifications...

Lugar: Dayton, OH | 07/11/2026 03:11:28 AM | Salario: S/. No Especificado | Empresa: Galois, Inc.