Internship | Logistic modeling by human-LLM cooperation

About this position

Domain-Specific Languages (DSLs) are central to modern software and systems engineering. They provide abstraction, formalization, and automation that help engineers manage complexity and reason about systems. DSLs support tasks such as design, analysis, verification, and synthesis, forming the foundation of many model-based methodologies.

What will be your role?

Despite their advantages, the adoption of model-based approaches remains limited. Creating and maintaining models using DSLs often requires deep domain expertise, familiarity with specialized DSL syntax, semantics and tools. This complexity restricts accessibility for non-experts and slows iterative design cycles, reducing the broader impact of model-based approaches in real-world engineering projects.

Recent advances in AI, particularly in Large Language Models (LLMs), present new opportunities to address challenges in modeling and system design. ...