[Haskell] [Haskell, FP] Anduril Industries is Hiring

2018-09-04 Thread Travis Whitaker
Anduril Industries (https://www.anduril.com/careers) is hiring. Come write
Haskell, Nix, and a bit of C++ to solve problems in detection, tracking,
hardware interfaces, sensor fusion, and computer vision.

Here are just a few of the things we're hacking on in Haskell:


   -

   Nix workflow tools for cross-compilation, CI, deployment, and upgrades
   over heterogeneous, unreliable infrastructure.
   -

   Radar signal processing (with CUDA via *Accelerate*), target detection,
   and real-time visualization.
   -

   sUAS controls and mission planning.
   -

   Comprehensively tested (i.e. thoroughly QuickCheck'd/SmallCheck'd)
   implementations of industrial hardware interface protocols like CAN,
   CANopen, MAVLink, etc., as well as internally developed protocols.
   -

   High-reliability systems for performing health checks and over-the-air
   firmware upgrades of embedded systems deployed in remote environments.
   -

   A library of low-latency, high-throughput video processing components,
   used for performing image stabilization, object detection, and transcoding
   in real time on streaming video.
   -

   TUI debugging tools built with *brick*.


We're looking for junior and senior devs who are able to relocate to our
lab in Orange County, California, USA. If this sounds interesting, shoot me
an email at tra...@anduril.com

Thanks for reading!

Travis Whitaker
___
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell


Re: [Haskell] [Haskell, FP] Anduril Industries is Hiring

2018-04-04 Thread Ivan Lazar Miljenovic
Hi Travis,

It would be helpful if you said a) where this was and b) if remote
work is possible.

On 5 April 2018 at 15:01, Travis Whitaker  wrote:
> Anduril Industries (https://www.anduril.com) is hiring. TL;DR: Come write
> Haskell, Rust, and Nix (and some C++ when necessary) to make autonomous
> robots and drones go!
>
> We're a team of software and hardware engineers from various backgrounds
> (game development, computer graphics, financial technology, government
> intelligence, biotechnology) working to improve the state of defense
> technology. Our strategy involves focusing on product development instead of
> traditional governmental processes. By funding product development ourselves
> instead of relying on government funds, we're able to create more focused
> products faster and with significantly fewer resources. By leveraging
> hardware and techniques that have only recently become feasible to deploy at
> scale (e.g. GPGPU computing), we can significantly advance the state of the
> defense technology market.
>
> We're searching for generally competent, mathematically inclined software
> engineers, and we're especially interested in those with experience in
> computer vision (first principles techniques and machine learning), sensor
> fusion, detection and tracking, and statistical parameter estimation. Our
> team is increasingly applying functional programming and related
> technologies; we run Haskell and Rust code in production and use Nix to
> achieve reproducible build environments and keep deployment, CI, and
> cross-compilation sane.
>
> If you like functional programming, interfacing with hardware, and solving
> problems in detection, tracking, and autonomous vehicle control (land and
> air), drop me a line at tra...@anduril.com
>
>
> ___
> Haskell mailing list
> Haskell@haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
>



-- 
Ivan Lazar Miljenovic
ivan.miljeno...@gmail.com
http://IvanMiljenovic.wordpress.com
___
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell


[Haskell] [Haskell, FP] Anduril Industries is Hiring

2018-04-04 Thread Travis Whitaker
Anduril Industries (https://www.anduril.com) is hiring. TL;DR: Come write
Haskell, Rust, and Nix (and some C++ when necessary) to make autonomous
robots and drones go!

We're a team of software and hardware engineers from various backgrounds
(game development, computer graphics, financial technology, government
intelligence, biotechnology) working to improve the state of defense
technology. Our strategy involves focusing on product development instead
of traditional governmental processes. By funding product development
ourselves instead of relying on government funds, we're able to create more
focused products faster and with significantly fewer resources. By
leveraging hardware and techniques that have only recently become feasible
to deploy at scale (e.g. GPGPU computing), we can significantly advance the
state of the defense technology market.

We're searching for generally competent, mathematically inclined software
engineers, and we're especially interested in those with experience in
computer vision (first principles techniques and machine learning), sensor
fusion, detection and tracking, and statistical parameter estimation. Our
team is increasingly applying functional programming and related
technologies; we run Haskell and Rust code in production and use Nix to
achieve reproducible build environments and keep deployment, CI, and
cross-compilation sane.

If you like functional programming, interfacing with hardware, and solving
problems in detection, tracking, and autonomous vehicle control (land and
air), drop me a line at tra...@anduril.com
___
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell