About this opportunity:
LLM-based agentic workflows can execute highly complex tasks with strong performance, but their intermediate reasoning processes and outcomes-derived from adaptive behaviour and external tool interactions-can be challenging to verify and validate.
Existing techniques for traditional AI and machine-learning models face limitations when providing sound and complete verification of decisions and outcomes produced by these emerging agents. The complexity increases in real-world scenarios involving orchestrated, system-level workflows.
This thesis will investigate structured and formally verifiable methods for evaluating the acceptability of reasoning chains through supporting, contradictory, and unresolved claims, while establishing the contextual relevance of the reasoning process. The objective is to develop a hybrid approach for verifying context-supported, step-level reasoning traces in tool-using agents.
The work corresponds to one or two students, 30 hp each. The location is Stockholm/Kista, and the preferred starting date is early January.
What you will do:
- Conduct a focused literature review of techniques for verifying multi-step reasoning traces in agentic workflows with tool interaction.
- Design and develop a methodology for obtaining and analysing step-level reasoning traces.
- Derive measures for semantic grounding, contextual relevance, and coherence of the obtained traces.
- Develop and evaluate a hybrid verification approach using suitable symbolic and statistical methods.
- Analyse results and document limitations.
- Formulate recommendations for future formalisation and trustworthy deployment of LLM-based agents.
The skills you bring:
- You are studying Computer Science, Data Science, Computer Engineering, Electrical Engineering, or a related field.
- You have solid Python programming skills.
- You are interested in careful experimental design, formal reasoning, and evaluation.
- You have good analytical, problem-solving, and technical writing skills.
The following knowledge or experience is considered a plus:
- Machine reasoning, including argumentation, formal logic, or constraint optimisation.
- Machine learning techniques and large language models.
- Agentic AI frameworks and tool-using agents.
- Trustworthy AI and responsible AI.
- Statistics, formal verification, autonomous networks, or related areas.
Keywords: machine reasoning, formal verification, constraint optimisation, statistics, Python, AI agents, and autonomous networks.
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? Click Here to find all you need to know about what our typical hiring process looks like.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. learn more.
Primary country and city: Sweden (SE) || Stockholm
Req ID: 791199
Skills Required
- Currently studying Computer Science, Data Science, Computer Engineering, Electrical Engineering, or a related field
- Solid Python programming skills
- Interest in experimental design, formal reasoning, and evaluation
- Good analytical, problem-solving, and technical writing skills
- Knowledge or experience with machine reasoning, argumentation, formal logic, or constraint optimization
- Knowledge or experience with machine learning techniques and large language models
- Knowledge or experience with agentic AI frameworks and tool-using agents
- Knowledge or experience with trustworthy AI and responsible AI
- Knowledge or experience with statistics, formal verification, autonomous networks, or related areas
What the Team is Saying
.png)
.png)
What We Do
Ericsson builds the digital connectivity the world relies on. Our technology underpins the mobile networks, platforms, and systems that billions of people, businesses, and societies depend on every day. We are a global leader in communications technology, delivering mobile network infrastructure, cloud software, and wireless connectivity solutions for service providers and enterprises worldwide. Our networks support connectivity across 180+ countries, helping power everyday communication as well as critical digital services at global scale. Connectivity has evolved far beyond consumer mobile use. Today, nearly 80% of the world’s population accesses the internet via mobile networks, and Ericsson is helping shape what comes next. We are advancing 5G and 5G Advanced, developing network APIs that open connectivity to the global developer ecosystem, and applying automation and AI to make networks more intelligent, efficient, and resilient. Ericsson was the first company to launch live 5G networks on five continents, and our 5G platform is now commercially live in 150+ networks across 60+ countries. We also support more than 36,000 enterprise customers, enabling secure, high-performance connectivity for industries such as manufacturing, aviation, logistics, utilities, and public safety, where reliability and performance are mission critical. Innovation is central to how we work. Ericsson has approximately 28,000 employees in research and development, backed by one of the strongest intellectual property portfolios in the industry with 60,000+ granted patents. Our engineers, researchers, and technologists work across 100+ global R&D sites, helping define how networks evolve and how digital infrastructure is built for the long term. As the world moves toward a mobile-first, AI-powered, and cloud-driven future, connectivity becomes the foundation for digital transformation across every industry. Ericsson is building that foundation, shaping the future of digital connectivity through technology that operates at global scale and supports real-world impact, today and for what comes next.
Why Work With Us
Ericsson is a place for people who want to work on technology that powers everyday life. You’ll contribute to large-scale systems used every day, tackle complex challenges in live environments, and keep developing your skills and career in your own vision.
Gallery
.jpg)
.jpg)
.jpg)
.jpg)
.jpg)
Ericsson Offices
Hybrid Workspace
Employees engage in a combination of remote and on-site work.
Ericsson adopts a hybrid work model globally because we know balance matters. Sometimes things are better in real life. Other times we can be more productive at home. Our hybrid approach gives you the best of both worlds.
