Job Description

Senior Scientist - Software EngineeringAt ABB, we are dedicated to addressing global challenges. Our core values: care, courage, curiosity, and collaboration - combined with a focus on diversity, inclusion, and equal opportunities - are key drivers in our aim to empower everyone to create sustainable solutions. Write the next chapter of your ABB story.This position reports toResearch Department ManagerYour role and responsibilitiesIn this role, you will have the opportunity to explore emerging technologies, creates intellectual property, and strengthens existing and future ABB offerings. We also provide R&D consultancy services to ABB Divisions and reap the benefits of open innovation by collaborating with Universities and startup companies. You will work in dynamic and creative teams, with a wide range of experience and expertise, carrying out applied research projects developing software engineering techniques to build intelligent systems for process industries.
The work model for the role is hybrid.
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 ABBs 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.
• Living ABBs core values of safety and integrity, which means taking responsibility for your own actions while caring for your colleagues and the business.

Qualifications for the role

• Proficiency in one or more programming languages - Python, C/C++, C#.
• Knowledge of formal reasoning and testing techniques.
• Understanding of LLM/AI techniques and their limitations.
• Understanding of compiler internals (backend and frontend).
• Ph.D. from a reputed University in Computer Science or Computer Engineering with a good publication record.
• Experience in formal verification of industrial software systems is preferred.
• Exposure to design and implementation of industrial systems is preferred.
• Should have ability to collaborate and communicate effectively in English with internal and external partners including academic community.

More about usABB a provides a comprehensive range of integrated automation, electrical and digital systems and services for customers in the process, hybrid and maritime industries. These offerings, coupled with deep domain knowledge in each end market, help to optimize productivity, energy efficiency, sustainability and safety of industrial processes and operations. We value people from different backgrounds. Apply today for your next career step within ABB and visit www.abb.com to learn about the impact of our solutions across the globe. #MyABBStory "It has come to our attention that the name of ABB is being used for asking candidates to make payments for job opportunities (interviews, offers). Please be advised that ABB makes no such requests. All our open positions are made available on our career portal for all fitting the criteria to apply. ABB does not charge any fee whatsoever for recruitment process. Please do not make payments to any individuals / entities in connection to recruitment with ABB, even if is claimed that the money is refundable. ABB is not liable for such transactions. For current open positions you can visit our career website https://global.abb/group/en/careers and apply. Please refer to detailed recruitment fraud caution notice using the link https://global.abb/group/en/careers/how-to-apply/fraud-warning"

ABB