-
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
-
barrier structures and associated vessel operations. However, the mechanical design and verification of standardised subsea HVDC electrode units require a rigorous understanding of environmental loading
-
infrastructure that runs on aging software. When it fails, the impact can be severe: disruption, financial loss, and safety risks. The project delivers practical solutions to make critical infrastructure software
Searches related to software verification
Enter an email to receive alerts for software-verification positions