-
(RUC), and the Software Improvement Group. Your work tasks As a postdoctoral researcher at Aalborg University, you will lead the AI modeling work in GREENSQL. This includes designing energy-consumption
-
robotics, drones, UAVs, multi-robot systems or smiliar, and practical applications of LLMs, agents, RAG, MCP, or fine-tuning. Proficiency in software development (Python, C/C++), skills in data analysis, and
Searches related to software verification
Enter an email to receive alerts for software-verification positions