Artificial Intelligence Intern [IDA:00066]
Core
Develop LLM-based solutions for analyzing automotive OEM requirements, build RAG pipelines for engineering documents, and explore agentic AI workflows.
Role type
AI Intern (LLM & Formal Methods)
Builds
LLM solutions for requirement understanding, RAG pipelines, and formal verification tools
Domain
Automotive software engineering and AI
Deliverable
production ML models
Required skills
Python, Machine Learning, Natural Language Processing, LLMs, Prompt Engineering, RAG, Vector Databases, Formal Methods, Model Checking
Preferred skills
LangChain, LlamaIndex, Embeddings, Knowledge Graphs, Git, Docker, NuSMV, SPIN, UPPAAL, TLA+
Responsibilities
Analyze and structure technical requirements from automotive OEMs, Develop LLM-based solutions for requirement understanding and validation, Build and evaluate RAG pipelines for engineering documents, Explore agentic AI workflows for complex engineering tasks, Apply model checking and formal verification to validate system requirements, Design experiments and document findings
Seniority
Intern