This role contributes to the India Corporate Research Center (INCRC), located in Bangalore.

You will be mainly accountable for:

• Use cases and requirements gathering in cooperation with ABB’s business divisions and end customers.
• Researching tools and techniques based on mathematical model and formal logic that can be used to specify and verify requirements and designs of Industrial Process Automation software systems.
• Identifying and evaluating techniques to build more reliable systems through model checking and equivalence checking.
• Developing proof of concepts, prototypes, and supporting pilot evaluation and productization of solutions.
• Communicating project results to experts and non-expert audiences.
• Creating Intellectual Property - Invention disclosures and publishing in scientific conferences and journals.