Hi, BAE Systems has some open positions for principal level Haskell programmers with compiler experience. Our DARPA project[1] is building a compiler for a new programming language with dynamic information flow control, targeting a custom ISA with hardware enforced information security. On the project, we are partnered with academics from the University of Pennsylvania, Harvard, and Northeastern University. Send a resume If interested. Thanks! -Tom [1] http://www.crash-safe.org/