Program and test software and systems in Python, C, C++, or Java, as well as using logic programming languages
Design and develop formal (using mathematical logic) or informal models and specifications of protocols and systems
Develop algorithms for analyzing systems to understand how and when they work or break, and how to make them more secure and resilient
Working knowledge applying formal methods techniques such as model checking and theorem proving are highly desirable
Apply critical analyses to results to validate technical hypotheses and inform next steps
Advance network security research at BBN
Own projects or large components of projects
Distinguish BBN and yourself to customers by leading and performing cutting edge research
Travel up to 10%

Requirements

A University Degree in Computer Science, Computer Engineering, Electrical Engineering, Mathematics, or Physics or equivalent experience and minimum 5 years prior relevant experience, or an Advanced Degree in a related field and minimum 3 years experience
Minimum 3 years’ experience with multiple software development tools and languages, including Python and either C/C++ or Java
Prior experience with Formal Methods, preferably with the application and scaling of formal methods techniques (e.g. model checking, model measuring, and theorem proving)
Prior experience with mathematical logic and logic programming
Prior experience with networking fundamentals
Prior experience in systems security
Ability and willingness to obtain a Top Secret Clearance within a year

Benefits

Applicant Tracking System Keywords

Tip: use these terms in your resume and cover letter to boost ATS matches.

Hard Skills & Tools

PythonCC++Javaformal methodsmodel checkingtheorem provingmathematical logicnetwork securitysystems security

Soft Skills

critical analysisproject ownershipleadershipcustomer engagement

Certifications

Top Secret Clearance