Research Engineer - Validation & Verification

You will lead innovative research projects that define and implement software tools that improve the development of real-time embedded systems including advanced technologies for integrated modeling, simulation, and verification. Design and develop tools to model and analyze specifications, systems, and embedded software. Develop technology and tools to verify and trust AI and autonomous systems. Develop technology and tools to support automated assurance case analysis. Develop AI algorithms to guide test generation for verification of complex safety critical systems. Conceive and develop strategic initiatives for the simplification and implementation of embedded software development, formal verification and test, with an emphasis on formal methods and SMT solvers using state of the art software development tool-suites. Initiate and drive new technology capabilities in real-time, embedded control software development, formal verification and test.

According to JobzMall, the average salary range for a Research Engineer - Validation & Verification in 161 N Clark St, Chicago, IL 60601, USA is $58,170 to $99,880 per year. This salary range is based on the salaries reported by job seekers with the relevant title in the area.

General Electric Company was an American multinational conglomerate founded in 1892 and incorporated in the state of New York and headquartered in Boston. The company had several divisions, including aerospace, energy, healthcare, and finance.