Software Engineer, Test Equipment Development
Expleo Group
Linux
System Engineering Intern
RTX
internship
Posted on:
Origin: • 🇺🇸 United States • Tennessee
Visit company websiteSalary
💰 $37,000 - $82,000 per year
Job Level
Entry Level
Tech Stack
JavaPython
About the role
- The candidate will work with a project team in one or more of the following areas: Method and tool enhancements for user-friendly, scalable formal methods for software engineers
- Secure system design, including secure architecture design leveraging zero trust principles
- Cyber hardening of mixed reality systems through the use of formal methods
- The candidate will be part of a diverse and geographically distributed team across the United States, Europe, and India
Requirements
- Enrolled in a graduate program in a related field (e.g., Computer Science, Engineering, or Mathematics)
- Strong programming skills (e.g., Java, C++, Python)
- 1+ semesters’ experience using formal methods tools (e.g., Coq, Z3, JKind)
- 1+ semesters’ experience with tool prototype implementation and/or tool integration and automation solutions
- Familiarity with principles of secure system design
- Experience with model-based engineering
