Master thesis: Development of an Agentic AI System for Code Verification

What you will do:

You will work on creating a system that verifies existing test code compliance and generates new test methods from specifications, helping Ericsson improve software development efficiency and quality using AI.

The thesis will include:

• Review literature on code verification, code generation, and Agentic AI.
• Collaborate with Ericsson teams to gather system requirements.
• Design and develop the AI system for parsing, compliance checking, and code generation.
• Test, validate, and evaluate the system together with Ericsson stakeholders.
• System design and implementation of an AI-based verification and generation tool.
• Experiments and evaluation with Ericsson’s software teams.
• Comprehensive documentation and final thesis report.

The thesis will be concluded with a result presentation for the Ericsson research team.

The skills you bring:

• Master student in Computer Science, Software Engineering, or related field.
• Familiarity with AI concepts.
• Interest in software verification and code generation.
• Good teamwork and communication abilities.

Why join Ericsson?

At Ericsson, you´ll have an outstanding opportunity. The chance to use your skills and imagination to push the boundaries of what´s possible. To build solutions never seen before to some of the world’s toughest problems. You´ll be challenged, but you won’t be alone. You´ll be joining a team of diverse innovators, all driven to go beyond the status quo to craft what comes next.
 
What happens once you apply?

Encouraging a diverse and inclusive organization is core to our values at Ericsson, that's why we champion it in everything we do. We truly believe that by collaborating with people with different experiences we drive innovation, which is essential for our future growth. We encourage people from all backgrounds to apply and realize their full potential as part of our Ericsson team. Ericsson is proud to be an Equal Opportunity Employer.