22 software-formal-method-phd uni jobs at KTH Royal Institute of Technology in Sweden
Sort by
Refine Your Search
-
Listed
-
Field
-
-economic assessment. During the work, the PhD candidate is expected to have international cooperation with EU partners. Supervision: Dr. Rafael Guedez and Dr. Silvia Trevisan are proposed to supervise
-
brings expertise in neuromorphic / event-based (vision) processing, robotic applications (hardware/software), excellent programming skills (including lower-level languages, such as “C”), and experience in
Searches related to software formal method phd
Enter an email to receive alerts for software-formal-method-phd positions