At IBM, work is more than a job - it's a calling: To build. To design. To code. To consult. To think along with clients and sell. To make markets. To invent. To collaborate. Not just to do something better, but to attempt things you've never thought possible. Are you ready to lead in this new era of technology and solve some of the world's most challenging problems? If so, lets talk.
We are looking for a talented and highly motivated research scientist to help advance our efforts in AI4Code, specifically focusing on testing and validation.
In this role, you will work at the intersection of AI, software engineering, and testing, leveraging state-of-the-art techniques to enhance automated code analysis, test generation, and defect detection. You will collaborate with a multidisciplinary team to develop and deploy AI-driven solutions that improve software quality, reliability, and maintainability.
- Deep expertize in program analysis, formal verification.
- Proficiency in Python, Java, or other relevant programming languages.
- Familiarity with machine learning, NLP, or AI-driven software analysis.
- Experience with test frameworks, static analysis tools, or automated testing methodologies.
- Solid understanding of data structures and algorithms to enhance test generation and analysis.
- Passion for AI-driven innovation in software engineering
Hiring manager and Recruiter should collaborate to create the relevant verbiage.