Artificial Intelligence Intern [IDA:00066]

Short Summary

Artificial Intelligence Intern [IDA:00066] at Aumovio. About the employer 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…

Key Details

• Position / opportunity: Artificial Intelligence Intern [IDA:00066]
• Organization: Aumovio
• Country / coverage: Singapore
• Location: Singapore, , Singapore
• Work arrangement: On-site
• Opportunity type: Internships
• Sector: Operations & Logistics
• Compensation: Not specified
• Application deadline: Not specified by source

Description

About the employer

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.

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.

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.

Additional information

Ready to take your career to the next level? The future of mobility isn’t just anyone’s job. Make it yours! Join AUMOVIO. Own What’s Next.

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.

Requirements / Eligibility

• 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.

How To Apply

Select Apply now to complete the application for this position. Submit the documents requested in the application form.