Sort by
Refine Your Search
-
the MadriSec group (GitHub ) at the IMDEA Software Institute. The selected candidate will work closely with Prof. Georgios Portokalidis on securing operating systems and systems software. The PhD researcher
Searches related to software formal method phd
Enter an email to receive alerts for software-formal-method-phd positions