-
methodologies for learning control policies with provable guarantees on performance and safety, for example, through the efficient computation of Lyapunov and barrier functions, forward and backward reachable
-
26 Aug 2025 Job Information Organisation/Company AALTO UNIVERSITY Research Field Engineering Computer science Researcher Profile Recognised Researcher (R2) First Stage Researcher (R1) Country
-
funded through the EU Research Framework Programme? Not funded by a EU programme Is the Job related to staff position within a Research Infrastructure? No Offer Description Doctoral programme on
Searches related to computer security
Enter an email to receive alerts for computer-security positions