2 software-formal-method-phd positions at Barcelona Supercomputing Center (BSC) in Spain
Sort by
Refine Your Search
-
computational methods to a wide range of large datasets, such as official statistics, surveys, social media, web-tracking data, news, laws, bibliometric data, historical archives, current data archives
-
-of-the-art methodologies and their application in HPC contexts. Integrate efforts across hardware, software, and model applications to advance the state of the art in AI and HPC. Strategic Development: Develop
Searches related to software formal method phd
Enter an email to receive alerts for software-formal-method-phd positions