We're searching for mathematically-inclined generalist software engineers to solve scientific computing problems. You'll be applying both first principles and machine learning techniques to a wide variety of numerical problems in detection, tracking, controls, and sensor fusion. Solutions will be targeted at platforms from multi-GPU behemoths to ultra-low-power edge-computing environments. Familiarity with lightweight formal methods for software development like strongly-typed functional programming and property-based testing are very desirable differentiating factors.
- Bachelor's Degree in a STEM field
- Working knowledge of linear algebra, differential equations, and statistical techniques
- Experience programming, debugging, and profiling C/C++ systems in a Linux environment
- Ability to leverage academic work for a practical and commercial setting, i.e. implementing techniques described in research literature
- Experience in a strongly typed functional programming language (Haskell, Ocaml/ML-family, Coq, Agda, Idris, Rust)
- Experience with property-based testing techniques (QuickCheck, SmallCheck, related libraries)
- Experience with GPGPU programming or other heterogeneous computing environments