<div dir="ltr">Greetings Fellow Haskellers,<div><br></div><div>Anduril Industries is hiring Haskellers for numerical programming work. Quick Details:</div><div><br></div><div>- Seeking Haskellers familiar with numerical programming techniques.</div><div>- Familiarity with LLVM, FORTRAN, Linux, and compiler engineering is advantageous.</div><div>- Positions for internships and new graduates are available.</div><div>- Regrettably, no remote opportunities are available at this time. We are located in southern California, USA.</div><div><br></div><div>Anduril is looking for engineers to rapidly develop high-reliability solutions to numerical problems by leveraging lightweight formal methods. We are working on problems from a wide range of disciplines, including robotics, flight control, guidance & navigation, and radar signal processing. If you're interested in numerical programming, physics, and lightweight formal verification techniques, then you'd likely enjoy working on our team! With respect to internships, our program is extremely flexible and we can adapt to whatever structure your university might require.</div><div><br></div><div>If this sounds interesting, please drop me a line at <a href="mailto:travis@anduril.com" target="_blank">travis@anduril.com</a>.</div><div><br></div><div>Thanks for your time,</div><div><br></div><div>Travis Whitaker</div></div>