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.
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.
Requirements
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.
Preferred
Familiarity with Git, Docker, and software development practices.
jobapplier