beyond-tabs.com

Ada jobs

ADA Software Development Engineer

Thales Group

Rungis, France

C/Ada Software Engineer

Thales Group

Wilhelmshaven, Germany

Ada Software Engineer

Leonardo

Edinburgh, Scotland, UK | Newcastle upon Tyne, England, UK

Lead Software Engineers

Leonardo

Luton, England, UK

Sr. Software Development Engineer - Ada (Onsite)

RTX

Tewksbury, MA, USA

See all (28) Ada jobs

Atom Feed

OCaml jobs

Staff/Senior Program Analysis Engineer, Semgrep Analysis Foundations

Semgrep

San Francisco, CA, USA | Remote, USA

Software Engineer (Engineer III to Principal) - Formal Methods

CertiK

New York, NY, USA | Seattle, WA, USA | San Francisco, CA, USA

Programming Language Engineer

Jane Street

New York, NY, USA

OCaml Developer

Ahrefs

Singapore | Remote

OCaml Developer (all levels)

OCamlPro

Paris, France

See all (7) OCaml jobs

Atom Feed

Haskell jobs

Software Engineer (Engineer III to Principal) - Formal Methods

CertiK

New York, NY, USA | Seattle, WA, USA | San Francisco, CA, USA

Software Engineering Lead (Haskell) - Consensus

Input Output Global (IOHK)

Remote

Software Engineer (Haskell) Compiler - Plutus Core - IOE: Cardano

Input Output Global (IOHK)

Remote

DevX Engineer - IOE: Cardano

Input Output Global (IOHK)

Remote

Formal Methods Engineer (Djed) - IOE: Cardano

Input Output Global (IOHK)

Remote

See all (18) Haskell jobs

Atom Feed

Erlang jobs

Functional Senior Engineer

Klarna

Stockholm, Sweden

See all (1) Erlang jobs

Atom Feed

Scala jobs

Software Engineer - Language Team

Digital Asset Holdings

Budapest, Hungary | Zurich, Switzerland

Senior Software Engineer - Language Team

Digital Asset Holdings

Budapest, Hungary | Zurich, Switzerland

Software Engineer III WDA AWS Big Data

JPMorgan Chase

Hyderabad, Telangana, India | Bengaluru, Karnataka, India

See all (3) Scala jobs

Atom Feed