Date Posted:
2023-11-08
Country:
United States of America
Location:
MA105: BBN Headquarters 10 Moulton Street , Cambridge, MA, 02138 USA
Position Role Type:
Hybrid
At Raytheon, the foundation of everything we do is rooted in our values and a higher calling – to help our nation and allies defend freedoms and deter aggression. We bring the strength of more than 100 years of experience and renowned engineering expertise to meet the needs of today’s mission and stay ahead of tomorrow’s threat. Our team solves tough, meaningful problems that create a safer, more secure world.
The Raytheon BBN Networking and Cyber Technologies group seek well-qualified and eager System/Software Engineers with experience in Formal Methods to become an integral part of exciting new projects in process logic and communications network understanding. You will employ strategies for both free-form thinking and disciplined application. You will work with extraordinarily talented individual.
Required Skills
• BS degree and 5 years or MS and 3 years of experience or a PhD in Computer Science or relevant field
• Experience in Formal Methods
• Ability to work and communicate as part of a team
• Understanding of object-oriented programming and principles
• Experience in disciplined C++, Java, and Python code development
• Position may require some amount of overnight travel
• Position requires a U.S. person or the ability to obtain an Export Authorization from the appropriate government agency for non-U.S. persons
Additional Skills Desired
• Formal verification tools such as SMT solvers and interactive theorem provers
• Mathematical logic (e.g., temporal logic, separation logic, category theory, etc.)
• Experience in Networking fundamentals
• Understanding of object-oriented programming and principles
• Experience in disciplined C++, Java, and Python code development
• Experience working in an agile team and with version control systems
• Experience with Docker
• Ability to receive a DoD clearance; an active clearance is highly desire
Our Work/Life benefits include – Paid Parental Leave – Adoption Assistance – Auto and Home Insurance – Child/Elder Back Up Care – College Coach – Retirement Planning Services – Flexible Work Arrangements - Legal Services – LifeResources – Employee Discount Program – Educational Assistance – Transportation Benefits – and Wellness Reward.
Requires advanced to expert knowledge of work area typically obtained through advanced education combined with experience
RTX is An Equal Opportunity/Affirmative Action Employer. All qualified applicants will receive consideration for employment without regard to race, color, religion, sex, sexual orientation, gender identity, national origin, disability or veteran status, age or any other federally protected class.
Privacy Policy and Terms:
Click on this link to read the Policy and Terms