Ericsson

Master thesis: LLM Reasoning for Software Correctness

Ericsson  •  Stockholm, SE (Onsite)  •  11 days ago
Apply
AI can make mistakes so check important info. Chat history is never stored.

Job Description

Join our Team

About the Opportunity

Would you like to contribute to the evolution of Ericsson’s 5G, 6G, and Cloud RAN solutions while exploring Artificial Intelligence and Software Engineering? This thesis opportunity focuses on improving software quality in large-scale systems where correctness, reliability, and availability are essential.

Modern development uses static and dynamic analysis, testing, code coverage, maintainability metrics, and defect history to identify quality issues. However, developers often need to manually interpret and correlate findings from multiple sources before deciding where to focus verification efforts.

Large Language Models (LLMs) offer strong capabilities in code understanding, reasoning, and defect analysis. Their use in large software systems is challenged by limited context windows, computational cost, and the risk of unsupported conclusions. This thesis will investigate whether LLMs can improve fault discovery by reasoning over structured software-quality evidence rather than raw source code alone.

The central hypothesis is that combining deterministic analysis with probabilistic LLM reasoning can identify additional fault candidates, improve verification prioritization, and reduce the cost of applying LLMs to large codebases.

What You Will Do

You will investigate and develop an evidence-guided approach to AI-assisted software quality analysis. Your work may include:

  • Collecting and structuring software-quality evidence from static and dynamic analysis, test coverage, maintainability metrics, code smells, historical defects, and bug reports.
  • Investigating whether analysis findings improve LLM-based defect detection and whether LLMs can identify fault candidates beyond those reported by existing tools.
  • Exploring compact, machine-consumable, and token-efficient representations of large codebases and quality evidence.
  • Evaluating which quality indicators provide the greatest analytical value relative to token usage and computational cost.
  • Analyzing how undefined behavior affects the reliability and trustworthiness of LLM-generated recommendations.
  • Investigating whether LLMs can help developers understand, explain, and prioritize potential false positives from static analysis.
  • Designing and conducting experiments to evaluate accuracy, effectiveness, and cost efficiency.

The Skills You Bring

  • Currently pursuing a master’s degree in Computer Science, Software Engineering, Data Science, Artificial Intelligence, Theoretical Computer Science, or a related field.
  • Strong programming skills in Python, C, or C++.
  • An interest in LLMs, Generative AI, software quality, and program analysis.
  • Knowledge of software testing, static or dynamic analysis, compilers, or software verification is beneficial.
  • Familiarity with machine learning, data science, or AI-assisted software development is a plus.
  • Strong analytical, problem-solving, communication, and presentation skills in English.
  • A curious, and self-driven mindset, with the ability to work independently and collaborate effectively.
Ericsson

About Ericsson

The future of mobile isn’t on the horizon, it’s happening now. At Ericsson, we’re building the foundation for an open network ecosystem where industries, developers, and enterprises thrive.

The convergence of 5G, AI, cloud, and network APIs isn’t just a technological shift; it’s a transformation that is redefining industries and enhancing everyday life. Open, programmable networks are enabling real-time innovation and unlocking new business models across the globe.

Imagine a world where developers can dynamically access network capabilities on demand, where enterprises don’t just use connectivity but shape it. This isn’t a distant vision, it’s the ecosystem we’re creating today.

Collaboration fuels everything we do. By working across industries, we’re designing a future where connectivity isn’t just seamless. It’s intelligent, programmable, and transformative.

The shift is happening. Are you part of it?

Industry
Telecommunications
Company Size
10,000+ employees
Headquarters
Kista, SE
Year Founded
1876
Social Media