The Naval Research Laboratory is looking for a team dedicated to the R&D of High Assurance Computer Systems.  You would work hand-in-hand with engineers dedicated to preserving our defense information exchange, assessing vulnerabilities and preventing attacks to our networks.

Primary requirement is a Masters Degree in Computer Science, Electrical Engineering, Computer Engineering, or Systems Engineering.  We are also seeking scientists with a Bachelors Degree in Computer Science, Electrical Engineering, Computer Engineering, or Systems Engineering  - All apply!

Specific requirements:

Ten years of experience in research, design and development of high assurance computer systems consisting of new techniquest for information flow and control; mathematical models for network performance and test suites; reliable, secure wireless networks; technology that supports tactical military networks; network vulnerability assessment software tools; model and simulation of computer and communication based systems; and protocol development for communication networks

Experience in implementing complex scientific and engineering models that require high performance intelligence research, computational logic, artificial intelligence, and formal methods technology

Experience with C, C++ or other development languages in a UNIX environment

We are also looking for junior scientists - if you have some of the above skills in smaller quantity - please apply!