Formal Methods Researcher Graduate Intern

Company: The Aerospace Corporation Title: 2027 Formal Methods Researcher Graduate Intern Location: El Segundo, CA, Huntsville, AL, Houston, TX, Colorado Springs, CO, Chantilly, VA, Cape Canaveral AFS, FL, Albuquerque, NM Posted Date: Posted Today Employment Type: Full time Sidebar Info: Right Place The Aerospace Corporation has over 26 locations nationwide, which allows us to build a workforce that will nurture the best ideas, and generate the most novel innovations and solutions to our nation’s toughest space enterprise challenges. Right Path Aerospace covers all stages of the space lifecycle, from concept to operations. We believe our people are our most valuable resource and that’s why we propel our employees forward in their careers through ongoing education, training, and professional development . Right Purpose We can all serve a mission much greater than ourselves, and at Aerospace that is exactly what we do. By hiring the industry’s most preeminent scientists and engineers, Aerospace advances emerging technologies that protect some of the most critical missions on Earth and above it. Return to the Aerospace Careers site . Aerospace employees working in organizations with technical responsibilities are required to obtain a Security Clearance. U.S. citizenship is required for those positions.

Job Description: The Aerospace Corporation is the trusted partner to the nation’s space programs, solving the hardest problems and providing unmatched technical expertise. As the operator of a federally funded research and development center (FFRDC), we are broadly engaged across all aspects of space— delivering innovative solutions that span satellite, launch, ground, and cyber systems for defense, civil and commercial customers. When you join our team, you’ll be part of a special collection of problem solvers, thought leaders, and innovators. Join us and take your place in space.The Aerospace Corporation is hiring a Researcher in Formal Methods, Graduate Intern, for the Cyber and Mission Technology Department within the Information Systems and Cyber Division.Information Systems and Cyber Division (ISCD) staff couple the latest in information system technologies, such as elastic compute clouds, containerization, microservices, real-time operating systems, and visualization frameworks, with expertise in cyber security, software architecture, software engineering, data science, artificial Intelligence, process improvement, and software development to deliver responsive, resilient, high-performance software intensive systems to our IC, DoD, and civilian customers.The Cyber and Mission Technology Department (CMTD) focuses on use-inspired basic research encompassing full-stack cyber and reasoning. As an intern within CMTD, you will be involved in fundamental research in formal methods applied to self-healing systems. Self-healing systems are fault-tolerant architectures that explicitly account for malicious actors, baking in assumptions such as intentional correlated failures. This internship will focus on creating novel research in formal methods to develop computationally viable deterministic mathematical/logical guarantees for real-time generated patches. You will take an active part in shifting the cybersecurity landscape in favor of the defender.The selected candidate will be required to work full-time, on-site at our facility in El Segundo CA, Chantilly VA,  Colorado Springs CO, and other Aerospace locations.What You’ll Be DoingWork with CMTD leadership to create high-impact novel research in formal methods and functional demonstrationsConduct literature review on computationally viable formal methodsDevelop prototype illustrating novel researchCreate presentations for various audiencesDuties, responsibilities and activities may change, or new ones may be assigned as needed Training and mentorship will be provided What Corporate Skills You’ll Bring  Strong written and oral communication skills.  Must work well in a team environment.  Possess organizational, time management and project management skills.  Demonstrate flexibility and ability to adapt to changing organizational need.  Interpersonal skills to coordinate efforts and work with other internal and external organizations.  What You Need to be Successful   Minimum Requirements  Currently enrolled full-time in an accredited college/university program pursuing a Master’s or Ph.D. degree in mathematics, logic, computer science, computing and information systems, electrical engineering, computer engineering or related discipline  Availability to work full-time for a minimum of 10 weeks outside of university term and ability to return to a Master's or Ph.D. degree program full-time after completion of the internship.Bachelor's degree completed by internship start dateHands-on experience with formal methods.Willingness to publish in a peer-reviewed journalMinimum GPA of 3.0This position requires ability to obtain and maintain a security clearance, which is issued by the US government. U.S citizenship is required to obtain a security clearance.Transcripts required.  How You Can Stand Out It would be impressive if you have one or more of these:  PublicationsGPA 3.5 or higher  Active security clearance Temporary housing assistance is not available.We offer a competitive compensation package where you’ll be rewarded based on your performance and recognized for the value you bring to our business.  The grade-based pay range for this job is listed below.  Individual salaries within that range are determined through a wide variety of factors including but not limited to education, experience, knowledge and skills.(Min - Max)$32.00 - $38.00Pay Basis: HourlyLeadership CompetenciesOur leadership philosophy is simple: every employee, regardless of level and role, can demonstrate leadership. At Aerospace, our commitment is our people. To cultivate our talent and ensure that we have a strong pipeline of future leaders, we want individuals who:Operate StrategicallyLead Change   Engage with Impact   Foster Innovation   Deliver Results  Ways We Reward Our Employees During your interview process, our team will provide details of our industry-leading benefits.Benefits vary and are applicable based on Job Type.  A few highlights include:Comprehensive health care and wellness plansPaid holidays, sick time, and vacationStandard and alternate work schedules, including telework options401(k) Plan — Employees receive a total company-paid benefit of 8%, 10%, or 12% of eligible compensation based on years of service and matching contributions; employees are immediately eligible and vested in the plan upon hireFlexible spending accountsVariable pay program for exceptional contributionsRelocation assistanceProfessional growth and development programs to help advance your careerEducation assistance programsAn inclusive work environment built on teamwork, flexibility, and respectWe are all unique, from various backgrounds and all walks of life, yet one thing bonds all of us to each other—the belief that we can make a difference. This core belief empowers us to do our best work at The Aerospace Corporation.Equal Opportunity CommitmentThe Aerospace Corporation is an equal opportunity employer. All qualified applicants will receive consideration for employment and will not be discriminated against on the basis of race, age, sex (including pregnancy, childbirth, and related medical conditions), sexual orientation, gender, gender identity or expression, color, religion, genetic information, marital status, ancestry, national origin, protected veteran status, physical disability, medical condition, mental disability, or disability status and any other characteristic protected by state or federal law. If you’re an individual with a disability or a disabled veteran who needs assistance using our online job search and application tools or need reasonable accommodation to complete the job application process, please contact us by phone at 310.336.5432 or by email at  . You can also review Know Your Rights: Workplace Discrimination is Illegal.