Researcher, Warren, MI, General Motors. Perform advanced theoretical research on industry standards &benchmark academic investigations, develop &improve next generation passenger vehicle Electrical Control System (ECS) architectures, including prototyping &simulation using C++ &MATLAB. Evaluate &support bench implementation of inter-system communication using Linux, SomeIP, &Ethernet technology. Perform safety verification of software for autonomous passenger vehicles. Evaluate Temporal Logic (timed-automata) based method in C++ for passenger vehicle. Participate in global vehicle manufacturer AUTOSAR, consortium for industrial software architecture standardization. Develop strategy &definition of system level Fault-Tolerant &Fail-Operational ECS architectures involving redundancies &reconfigurations. PhD, Electrical Engrg or Computer Science. 6 mos exp as Graduate Research Assistant or Engineer, performing safety verification of nonlinear dynamic model or of software for autonomous passenger vehicle, &programming or evaluation of Temporal Logic method in C++ for vehicle or robot. Mail resume to Ref#1963, GM Global Mobility, 300 Renaissance Center, MC:482-C32-D44, Detroit, MI 48265.