Research Scientist
KeySkills
Job Description
Job Description:
We are seeking a highly motivated and talented Research Scientist to join our cutting-edge AI4Code team, with a specialized focus on testing and validation. In this role, you will operate at the intersection of AI, software engineering, and program analysis, driving forward innovation in automated code understanding, test generation, and defect detection.
You will work closely with a multidisciplinary team to design and implement AI-driven solutions that significantly improve software quality, reliability, and maintainability. This is an exceptional opportunity to contribute to transformative research that bridges advanced AI with real-world software engineering practices.
Key Responsibilities
Conduct applied research in the areas of automated testing, formal methods, and static/dynamic program analysis.
Design and prototype AI-based solutions for code analysis, bug detection, and intelligent test case generation.
Collaborate with software engineers, ML researchers, and domain experts to integrate AI models into real-world testing workflows.
Analyze and validate the effectiveness of AI systems in improving software testing outcomes.
Publish high-impact research in top-tier academic and industry venues.
Contribute to tool development that supports large-scale testing in industrial software systems.
Required Education
Doctorate Degree (Ph.D.) in Computer Science, Software Engineering, Artificial Intelligence, or a closely related field.
Preferred Education
Ph.D. with a strong research background in program analysis, formal verification, or AI for software engineering.
Required Technical & Professional Expertise
Proven expertise in program analysis, formal methods, or software verification.
Strong programming skills in Python, Java, or other relevant languages.
Hands-on experience with static analysis tools, automated test frameworks, or symbolic execution.
Solid understanding of data structures and algorithms, particularly as applied to test generation or code analysis.
Familiarity with machine learning, natural language processing (NLP), or AI applications in software engineering.
A passion for advancing the state of the art in AI-driven software quality assurance.