12 software-formal-method-phd Postdoctoral positions at KTH Royal Institute of Technology
Sort by
Refine Your Search
-
map the subcellular distribution of human proteins in cell lines using immunofluorescence (ICC-IF) and confocal microscopy. The research group is also applying the latest methods for highly multiplexed
-
acoustic monitoring through research in dynamic noise mapping. You will develop real-time methods for road traffic noise assessment, including AI-based traffic classification and acoustic modeling of mixed
Searches related to software formal method phd
Enter an email to receive alerts for software-formal-method-phd positions