, and apply reasoning and formal methods techniques to significantly enhance security and resilience of large dynamic systems. This position... they work or break, and how to make them more secure and resilient. Advance network security research at BBN. Own projects...
. What You Will Do Responsibilities include, but are not limited to: Build and advance a Formal Methods-related research area for BBN, having..., or MS plus 3 years, or PhD. Experience in lieu of degree will be considered. Experience in Formal Methods and scientific...