Full Stack Engineer building enterprise - level applications for healthcare quality reporting at ICF. Collaborating with engineers using React and Node.js to impact patient care data systems.
About the role
- Research Software Engineer at RTX developing formal methods to enhance security and resilience of large systems. Requires strong software development skills and U.S. citizenship for security clearance.
Responsibilities
- 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
- Healthcare, wellness, retirement, and work/life benefits
- Career development and recognition programs
- Parental leave (including paternal)
- Flexible work schedules
- Achievement awards
- Educational assistance
- Child/adult backup care
Job title
Job type
Experience level
Salary
Degree requirement
Tech skills
Location requirements
Software Engineer II developing machine learning features for CNN, collaborating with cross - functional teams to build innovative digital products and improve user experiences.
Staff Software Engineer at Coinbase defining architecture for fund flow correctness. Leading AI initiatives and cross - functional collaborations with financial services.
Software Engineer developing mobile network solutions for business users. Joining an agile team building the latest communications software technology.
Staff Software Engineer on the AI team creating teleoperation systems for humanoid robots. Collaborating with various teams to build a scalable platform for high - quality data collection.
Backend Software Engineer for AI Core team building foundational AI capabilities across Ad Platforms. Implementing backend services, APIs, and integrating LLMs for AI - powered systems.
Senior Software Engineer developing and maintaining web - based JavaScript player for Disney+, Hulu, and ESPN+. Collaborating with teams to deliver a seamless video streaming experience across platforms.
Software Engineer II overseeing data pipelines and implementing machine learning projects for Disney's media technology. Collaborating with cross - functional teams in enhancing platform performance.
Technical Lead responsible for platform maintenance and support at The White Team Consulting. Requires extensive experience in IBM and messaging systems within a hybrid work environment.
Staff Software Engineer at Medical Home Network integrating AI into software engineering practices. Collaborating with product, design, and DevOps to drive innovation and technical direction.