Degree Level: Master

Major(s): Software Engineering, Computer Engineering, Computer Science, Electrical Engineering

Targeted Skills:

Technical experience using Matlab Simulink to develop software design models and control systems, experience in C and Java programming languages, as well as familiarity with embedded software systems. Familiarity or expertise with the Eclipse integrated development environment and the Ptolemy II software tool are preferred but not required.

Research experience with validation and verification techniques, black box and white box software testing mechanisms and tools, software modeling and software visualization 

Duties/Tasks:

The intern will work on developing programming comprehension techniques using a tool for automated function verification. the tool can run test simulations on Matlab Simulink models to determine whether a software design model satisfies system requirements. The intern will continue work on integrating this functional verification tool with the Ptolemy II modeling and simulation environment to enable program comprehension techniques that can visually demonstrate how software functionality captured in design models works.