-
responsible integration of AI code assistants (e.g. GitHub Copilot, ChatGPT, Claude, Gemini, open-source LLMs) in professional software engineering workflows. The research focuses on analysing security and
-
and software system design, set up validation experiments, and publish the obtained results in high-rated conferences and journals. You contribute to the writing of project proposals and guide Master's
-
, remanufacturing, and recycling. The project targets TRL 5 demonstration, combining fundamental research with robust, reusable software demonstrators for industrial validation with 10 Flemish companies active in
Searches related to software verification
Enter an email to receive alerts for software-verification positions