Anduril Industries is a defense technology company with a mission to transform U.S. and allied military capabilities with advanced technology.
Anduril Intelligence and Space (AIS) is focused on positioning Anduril as a lead provider of specialized engineering and products for Intelligence Community (IC) customers.
In particular we are looking for engineers with experience in:
- Embedded Software Development (bonus points with Rust or Haskell experience!): https://job-boards.greenhouse.io/andurilindustries/jobs/4597...
- FPGA Design: https://job-boards.greenhouse.io/andurilindustries/jobs/4591...
- Hardware Design: https://job-boards.greenhouse.io/andurilindustries/jobs/4591...
Apply here: https://www.anduril.com/open-roles/
Feel free to reply or email me with any questions!
Bitnomial is looking for a Senior Frontend Engineer to join our team. Bitnomial is a US based, CFTC licensed and regulated derivatives exchange, headquartered in Chicago. Bitnomial develops and operates exchange, clearing, and settlement infrastructure. Our first products are physically-settled Bitcoin futures and options. We recently launched a Hashrate future, and we have more and different products on the way.
Our current frontend is typescript and react. We use Haskell for all of our backend services, including the matching engine. Our main repository is 66% Haskell, 11% TypeScript, 9% HCL (for Terraform, Nomad, etc). We use servant as our main web server.
We've also got a bunch of open source projects: https://github.com/bitnomial
Tech stack: React/Typescript, Haskell (GHC), PostgreSQL, Nix, Nomad, Terraform, AWS
Compensation: $150-$225k base salary depending on qualifications + equity options
For US employees: 4% 401(k) matching + healthcare benefits
Contact: jobs@bitnomial.com
Hellas.AI is building a compiler for categorical deep learning to power decentralised, serverless AI. If you're interested in any of the following, get in touch:
* Category Theory and string diagrams
* Compilers and array programming languages
* Deep Learning/ML/AI and/or GPU programming (e.g. CUDA/ WGSL)
* Building and deploying distributed systems
* Peer-to-peer software and blockchain
If you have project(s) demonstrating your experience in one or more of these areas, get in touch!
Our process is simple: we read code you've written and research you've published, then interview you about it. We don't do tedious coding tests.
Some experience of Rust or a functional language (Haskell, OCaml, any Lisp) is preferred.
Email us at hello@hellas.ai