BitMEX | Data | CA (BC) / SG / Remote (VISA)
USD 1 trillion turnover a year; ~100TB of relational internal data now, PB-scale external sources later; Redshift, PostgreSQL, Tableau, kdb+, legacy Python but open to Haskell/Mercury/Idris on Nix, Rust, Zio, Kotlin, OCaml for new projects.
Spend the morning supporting users then handover to the next time zone. Afternoon is for undisturbed R&D, where I expect most of your (replicable) experiments to fail. Ongoing experiments include alpha capture systems, generating implied vol history or 20x lossless compression through normalisation.
Mid-level and junior IC roles. Work entirely remotely, subject to regulatory considerations. We can relocate you to Vancouver or Singapore. Time zone +00 to +02 UTC is a plus, as is experience programming smart contracts or trading in DeFi.
Process: “CAPTCHA” filter question > ~1-4h take home to test skills meet baseline > 2-4 calls with end users and team (no whiteboard) > offer > background check/visa.
Apply here: https://grnh.se/66d1bc4d2us
Symmetry Investments | Many Varied Roles | REMOTE or VISA (London, Hong Kong, Singapore, Jersey) | D, Julia, Kotlin, other functional and systems languages | Full-Time, Fixed Term, Flexible
## Roles we are hiring for
- Business Analysts: business analysis, documentation, team and tool design
- Native Code Developers: We are looking for outstanding native code developers who would like to write D. Our experience has been that strong C and C++ developers can learn D quite quickly.
- Functional Developers to work with Practitioners using Symmetry Integration Language to deliver value to the business.
- Documentation: At Symmetry we recognise the value of writing and have for example a Pulitzer prize-winning former WSJ journalist and a maintainer of Linux Kernel Newbies documentation. We are looking for people to write technical documentation and to document data structures and processes (open to varying range of technical ability depending on the project).
- Designers for documentation. Now that non-programming internal work is moving to markdown in git, we are hiring designers to work on templates and mini-logos for documentation and other work.
- Data Science: time series analysis in particular, including high frequency data sets that are too big for simple tools
- Information Security: incident response, threat intelligence, vuln management
- Platform: Platform as Code, Site Reliability Engineers, Windows desktop support; frontline server support and administration; application support
- Legal and Compliance: #lawyerswhocode or who are very comfortable working with markdown in git
- Accounting: are you the sort of person who would use #ledger-cli ? If so, we would like to hear from you.
- Business: risk, operations, administrative, organisational design and business strategy, investor relations processes
- Investment: Economics, Quant, Portfolio Research, Investment Research, Portfolio Management and Trading
- Market Data: contract administration, data cleaning, alternative data research and management
Location: Remote or sponsorship for a visa in London, Hong Kong, Singapore, Jersey
Term: full-time permanent, fixed-term contract, flexible hours.
## Languages
- Dlang (D)
- Julia
- Kotlin
- we do not use but value experience in modern C++, beautiful C, Haskell, Ocaml, Rust, Elm
## Qualities and traits we value
- Courage and daring
- Phronesis (practical wisdom), common sense and commercial orientation
- Practical people who are at the same time unreasonable when they ought to be
- Highly individual people oriented to promoting survival and flourishing of the group
- Inclination and ability to notice and understand links between seemingly-unrelated things
- Curiosity
- Extreme motivation
- Mechanical sympathy
- Extreme and unusual intellectual capabilities
- A love of tinkering
- Resourcefulness
- Good taste and love of beauty
## About Us
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 following suit, post-COVID.
I'm one of the three people running the firm, responsible amongst other things for technology across the firm and I’m posting this myself. That should give you an idea both about how seriously we take technology and the culture of the firm.
We are four years into a period of transformation from what was initially a fairly standard enterprise finance technology approach to something new that recognises the importance of both the humane and the technical for discretionary portfolio management and for the business of running an alternative investment manager. [Amaury Sechet](https://www.youtube.com/watch?v=AhR4PSExnqk), [Andrei Alexandrescu](https://www.youtube.com/watch?v=es6U7WAlKpQ) and [Atila Neves](https://dlang.org/blog/2019/10/15/my-vision-of-ds-future/) have been working with us as long-term consultants and we have many other talented people with lower public profiles.
It's not easy to integrate practitioners who may spend most of their day programming, but are oriented towards solving business problems, with developers who are specialists in programming. To achieve this, we wrote a little functional DSL that's now in production. Type inference of returns and parameters using inequality constraints is in a feature branch and there is plenty more to do on the language itself as well as the ecosystem around it. SIL can compile and call C++ and D at runtime; Python interop is in alpha; and C# is on the way. What might be a project in itself elsewhere can be just a set of functions in Symmetry Integration Language.
The language is written in D and we have a close involvement with the D Foundation and community, hosting DConf in London. So we are looking for outstanding native code developers who would like to write D as well as people to work with practitioners writing Symmetry Integration Language. Also looking for people to write documentation and work on the build.
It's quite a creative place where we encourage a degree of courage amidst practical constraints, and we are open to doing things a different way if it's commercially sound and in the interests of our investors.
We look for virtues and capabilities over only experience and credentials although those things aren't a disadvantage. Do not let a lack of credentials or qualifications prevent you from applying. We've recently hired experts with C++, Common Lisp, D, Haxe, Haskell, Julia and Perl backgrounds, and are happy to bring them up to speed with the tools we use.
Compensation is currently not quite at Netflix standards but is generous to very generous over time by broad technology industry standards. We recognise and reward technical accomplishment and have a very flat structure - don't be surprised if our founder and CIO starts asking you questions about your work.
## Symmetry Talks
- Presenting SIL-cling to Compiler Research Group at Princeton (https://youtu.be/7teqrCNzrD8)
- Symmetry Internship Project - calling C++ from SIL (http://dconf.org/2020/online/index.html#alexandru)
- All Spreadsheets Must Die (https://youtu.be/FZi9CSB9_kk)
- Lessons from a DSL where all you have is Ranges (https://www.youtube.com/watch?v=BtuzSlKRmzA)
- Alternative Investment Management (https://youtu.be/1rMq-4rWgis)
## Links
- Symmetry GitHub (https://github.com/symmetryinvestments)
# Contact
- Please apply using this link (https://jobs.lever.co/symmetryinvestments/c8a9b95e-bdf0-459c...).
Adacore | Software Engineers | Full-time | Remote, New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes...
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 tooling...). We are looking for a lot of different profiles:
- GNU toolchain developpers ( https://app.hellotalent.com/vacancy/gnu-toolchain-developer-... )
- Static analysis engineers ( https://app.hellotalent.com/vacancy/software-engineer-ed85e9... )
- Devsecops people ( https://app.hellotalent.com/vacancy/senior-software-develope... )
- Cybersecurity engineers ( https://app.hellotalent.com/vacancy/senior-cybersecurity-eng... )
- Services engineers ( https://app.hellotalent.com/vacancy/service-and-mentorship-e... )
- Build system engineers ( https://app.hellotalent.com/vacancy/gpr-software-developer-e... )
- Techincal marketing engineers ( https://app.hellotalent.com/vacancy/technical-marketing-engi... ).
Some of these roles involve working with Ada, some don't (we use a lot of different programming languages: Ada, C, C++, Python, Ocaml...), so it's fine to apply even if you don't know the language!