Summer 2024 Formal Methods Research Intern - Basking Ridge, NJ, United States

Responsibilities

Peraton is seeking a Summer 2024 Formal Methods Research Intern in support of our Peraton Labs - Network Systems team in Basking Ridge, NJ. This role can be supported 100% remotely.

Peraton Labs delivers innovative solutions and revolutionary new capabilities to solve the most difficult and complex challenges for government agencies, utilities, and commercial customers. With a distinguished heritage tracing back to Bell Labs, Bellcore, DHPC, and Telcordia, we are a self-sustaining research center within Peraton that provides applied research and engineering to enable government agencies, utilities and commercial enterprises to fully exploit the future of communications, analytics and cyber security.

Role and responsibility for this position:We are seeking an intern for Summer 2024 who will work with project management and team members to design, implement, test, and integrate novel solutions to problems within projects under the Network Systems umbrella.

Qualifications

Required Qualifications:

• Requires High School diploma and some advanced level training.
• US Citizenship required.
• Must be enrolled at an accredited university pursuing a BS/BA, MS/MA or PhD degree majoring in Computer Science, Computer Engineering, Network Engineering, Electrical Engineering, Physics, Wireless Engineering or related field.
• Demonstrated hands-on experience working with Python and/or C++.
• Strong ability to distill high-level requirements into low-level design and implementation tasks.
• Ability to work with others to integrate solutions into existing software architectures.
• Knowledge of basic networking concepts.
• Willingness and ability to learn new networking concepts, frameworks, APIs, etc.

Desired Qualifications:

• Previous internship experience. 

Peraton Overview

Peraton is a next-generation national security company that drives missions of consequence spanning the globe and extending to the farthest reaches of the galaxy. As the world’s leading mission capability integrator and transformative enterprise IT provider, we …