Artificial Intelligence Intern

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