View all jobs

Haskell Developer - 200K+, FS Poly

Annapolis Junction, MD
Linux O.S. Research in Secure Computing: Our client has a small true R&D effort underway working on a security-enhanced version of Linux to run on laptops, desktops, and tablets. These devices run both independently and as components of a secured wireless and wired networking environment. The work has a large open-source component to it (which is unclassified), with OpenXT being a foundational technology. The main idea is to break apart and compartmentalize a monolithic O.S. kernel and have the components run in independent hardened XEN virtual machines (VMs). So, the network stack is separated from process management, which is separated from hard drive controllers, etc. All of those pieces communicate with each other through an atypical communication protocol with some similarity to Berkeley sockets through the XEN kernel. Other technologies involved include SELinux, OpenEmbedded Core (oe-core) Yocto and TPM (Trusted Platform Module, a standard for secure cryptoprocessors). Functional programming is used extensively - Haskell, Go/Golang, and Objective Caml (OCaml) currently. There is also C/C++, Bash scripting, and other languages. As this is true R&D work, no one joins this team knowing all the technologies involved. Engineers usually join this team knowing one area deeply and then get spun up on other areas during the first 9-12 months of work on the team. If you have deep knowledge in one or more of the following, as well as US citizenship and a current TS/SCI + FS Poly clearance, you may fit this team: Linux kernel development, OpenXT, XEN, Yocto, Haskell, Go/Golang, OCaml. This work is performed in both classified (in MD) and unclassified environments (various, include some remote work) - up to 50% outside the SCIF is possible for some roles.

cjobs-cat:"IT - Security"

Powered by