Software Engineer, Scientific Computing

Anduril Industries   •  

Orange, CA

Industry: Aerospace & Defense

  •  

Not Specified years

Posted 50 days ago

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.



Qualifications

  • 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