Artificial Intelligence Intern [IDA:00066]

Aumovio SE; Singapore; On-site; SGD 20,000 - 38,000; Part time

Job summary

AUMOVIO SE is seeking a student from a technical field to contribute to building LLM-based solutions for automotive requirements understanding and verification. You will work on structuring OEM requirements, developing RAG pipelines, and exploring agentic AI workflows under expert guidance.

The role focuses on model checking, code generation, and collaborating with AI researchers and engineers to validate complex system designs, with practical exposure to tools and frameworks in a hands-on

Qualifications

• Currently pursuing a degree in Computer Science, AI, Software Engineering, or mathematics/related field.
• Basic knowledge of machine learning, NLP, or LLMs.
• Proficient in Python programming.

Responsibilities

• Analyze and structure technical requirements from automotive OEMs.
• Develop LLM-based solutions for requirement understanding, classification, and validation.
• Build and evaluate RAG pipelines for engineering documents and domain knowledge.
• Explore agentic AI workflows for complex engineering tasks.
• Apply model checking and formal verification to validate system requirements and designs.
• Investigate using LLMs to generate or synthesize formal models and code for model-checking tools.
• Design experiments, evaluate results, and document findings.
• Collaborate with AI researchers, software engineers, and domain experts.

Skills

Python programming

NLP basics

Team collaboration

Education

Bachelor student in Computer Science / AI / related field

Tools

Python

LangChain

LlamaIndex

Git

Docker

NuSMV / SPIN knowledge

Job description

Company Description

Since its spin-off in September 2025 AUMOVIO continues the business of the former Continental group sector Automotive as an independent company. The technology and electronics company offers a wide-ranging portfolio that makes mobility safe, exciting, connected, and autonomous. This includes sensor solutions, displays, braking and comfort systems as well as comprehensive expertise in software, architecture platforms, and assistance systems for software-defined vehicles. In the fiscal year 2024 the business areas, which now belong to AUMOVIO, generated sales of 19.6 billion Euro. The company is headquartered in Frankfurt, Germany and has about 87.000 employees in more than 100 locations worldwide.

Job Description

• Analyze and structure technical requirements from automotive OEMs.
• Develop LLM-based solutions for requirement understanding, classification, and validation.
• Build and evaluate RAG pipelines for engineering documents and domain knowledge.
• Explore agentic AI workflows for complex engineering tasks.
• Apply model checking and formal verification to validate system requirements and designs.
• Investigate using LLMs to generate or synthesize formal models and code for model-checking tools.
• Design experiments, evaluate results, and document findings.
• Collaborate with AI researchers, software engineers, and domain experts.

Qualifications

• Currently studying Computer Science, Artificial Intelligence, Software Engineering, Mathematics, Electrical Engineering, or a related field.
• Basic knowledge of machine learning, natural language processing, or LLMs.
• Programming experience in Python.
• Interest in one or more of the following:
  • LLMs and prompt engineering
  • AI agents
  • RAG and vector databases
  • Formal methods and model checking
  • Model synthesis / code generation
  • Automotive requirements engineering

Nice to Have

• Experience with LLM frameworks such as LangChain, LlamaIndex, or similar.
• Familiarity with formal verification tools or languages such as NuSMV, SPIN, UPPAAL, TLA+, or temporal logic.
• Experience with embeddings, knowledge graphs, or document-processing pipelines.
• Familiarity with Git, Docker, and software development practices.