Aumovio

Artificial Intelligence Intern [IDA:00066]

Posted 9 Days Ago

Be an Early Applicant

In-Office

Singapore, SGP

Internship

In-Office

Singapore, SGP

Internship

Analyze automotive requirements and develop LLM-based solutions for understanding, classification, and validation. Build and evaluate RAG pipelines, explore agentic AI workflows, and apply formal verification and model checking. Investigate LLM-generated formal models and code, design experiments, evaluate results, document findings, and collaborate with AI researchers, software engineers, and domain experts.

The summary above was generated by AI

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.

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.

What you need to know about the Singapore Tech Scene

The digital revolution has driven a constant demand for tech professionals across industries like software development, data analytics and cybersecurity. In Singapore, one of the largest cities in Southeast Asia, the demand for tech talent is so high that the government continues to invest millions into programs designed to develop a talent pipeline directly from universities while also scaling efforts in pre-employment training and mid-career upskilling to expand and elevate its workforce.