Senior Scientist – Software Engineering At 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 to

Research Department Manager

Your role and responsibilities

In 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. #LI-HybridThis role contributes to the India Corporate Research Center (INCRC), located in Bangalore.You will be mainly accountable for:•\tUse cases and requirements gathering in cooperation with ABB’s business divisions and end customers.•\tResearching 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.•\tIdentifying and evaluating techniques to build more reliable systems through model checking and equivalence checking.•\tDeveloping proof of concepts, prototypes, and supporting pilot evaluation and productization of solutions.•\tCommunicating project results to experts and non-expert audiences.•\tCreating Intellectual Property - Invention disclosures and publishing in scientific conferences and journals.•\tLiving ABB’s 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

\tProficiency in one or more programming languages - Python, C/C++, C#.\tKnowledge of formal reasoning and testing techniques.\tUnderstanding of LLM/AI techniques and their limitations.\tUnderstanding of compiler internals (backend and frontend).\tPh.D. from a reputed University in Computer Science or Computer Engineering with a good publication record.\tExperience in formal verification of industrial software systems is preferred.\tExposure to design and implementation of industrial systems is preferred.\tShould have ability to collaborate and communicate effectively in English with internal and external partners including academic community.

More about us

ABB 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\"