4 formal-methods PhD positions at NTNU Norwegian University of Science and Technology in Norway
-
experience that qualifies you for a further career in higher education and research, in and outside academia. The research focus of this position will be in probabilistic methods for Generative AI. We aim
-
data is more timely than ever. Interesting research challenges the PhD student might work on include: Indexing methods for dynamic, temporal, and streaming graphs Adaptive storage for static and dynamic
-
composites. You will combine experimental methods and computational modeling to push the boundaries of advanced manufacturing. Along the way, you will acquire expertise to build a foundation for a future
-
of Science and Technology (NTNU) creates knowledge for a better world and solutions that can change everyday life. Department of Marine Technology We develop methods and technology related to the blue economy