Available Jobs - December 2021

Adacore

Posted 2 years, 11 months ago

Adacore is the maintainer of GNAT, the Ada compiler originally based on GCC (but now with many more backends: LLVM, Why3, JVM...). We also have a lot of tools revolving around the Ada ecosystem (IDEs, Coverage tools, Static Analyzers, Formal proof t…

Roles

Cybersecurity engineers GNU toolchain developpers Devsecops people Compiler Engineer Network and Systems Administrator Services engineers

Tech Stack

C Ada Python Ocaml C++

Locations

Remote, New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes

Symmetry Investments

Posted 3 years ago

Symmetry Investments is a post startup USD 7+ billion alternative asset management company with around 230 people across multiple time zones and locations. Our core technology team has been remote-first for some time, and the whole company is follow…

Roles

Business Analysts Business Information Security Accounting Market Data Platform Engineers Functional Developers Legal and Compliance Native Code Developers Documentation Designers Data Science Investment

Tech Stack

C Elm Haskell Python Dlang Rust Ocaml Kotlin Julia C# C++

Locations

Remote, London, Hong Kong, Singapore, Jersey

Adacore

Posted 3 years ago

Adacore is the maintainer of GNAT, the Ada compiler originally based on GCC (but now with many more backends: LLVM, Why3, JVM...). We also have a lot of tools revolving around the Ada ecosystem (IDEs, Coverage tools, Static Analyzers, Formal proof t…

Roles

Cybersecurity engineers GNU toolchain developpers Techincal marketing engineers Devsecops people Static analysis engineers Build system engineers Services engineers

Tech Stack

C Ada Python Ocaml C++

Locations

Remote, New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes

Symmetry Investments

Posted 3 years, 1 month ago

Symmetry Investments is a post startup USD 7+ billion alternative asset management company with around 230 people across multiple time zones and locations. Our core technology team has been remote-first for some time, and the whole company is follow…

Roles

Business Analysts Business Information Security Platform Accounting Market Data Functional Developers Legal and Compliance Native Code Developers Documentation Designers Data Science Investment

Tech Stack

C Elm Haskell Dlang Rust Ocaml C++ Kotlin Julia

Locations

Remote, London, Hong Kong, Singapore, Jersey

Adacore

Posted 3 years, 1 month ago

Adacore is the maintainer of GNAT, the Ada compiler originally based on GCC (but now with many more backends: LLVM, Why3, JVM...). We also have a lot of tools revolving around the Ada ecosystem (IDEs, Coverage tools, Static Analyzers, Formal proof t…

Roles

GNU toolchain maintainers Cybersecurity engineers Devsecops people Static analysis engineers Marketers Services engineers

Tech Stack

C Ada Python Ocaml C++

Locations

Remote, New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes

Symmetry Investments

Posted 3 years, 2 months ago

Symmetry Investments is a post startup USD 7+ billion alternative asset management company with around 230 people across multiple time zones and locations. Our core technology team has been remote-first for some time, and the whole company is follow…

Roles

Business Analysts Business Information Security Platform Accounting Market Data Functional Developers Legal and Compliance Native Code Developers Documentation Designers Data Science Investment

Tech Stack

Elm Haskell Dlang Rust Ocaml Kotlin Julia C++

Locations

Remote, London, Hong Kong, Singapore, Jersey