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.

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 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 deliver trusted, highly differentiated solutions and technologies to protect our nation and allies. Peraton operates at the critical nexus between traditional and nontraditional threats across all domains: land, sea, space, air, and cyberspace. The company serves as a valued partner to essential government agencies and supports every branch of the U.S. armed forces. Each day, our employees do the can't be done by solving the most daunting challenges facing our customers. Visit peraton.com to learn how we're keeping people around the world safe and secure.