3 formal-methods PhD positions at Lulea University of Technology

PhD Student in Cybersecurity, eXplainable AI for Threat Prediction

Lulea University of Technology | Sweden | about 6 hours ago

cybersecurity team at Luleå University of Technology and also our partner within Cybercampus Sweden, RISE. We will use methods and technologies including expert systems, evolutionary algorithms, machine learning

PhD Student in Process Metallurgy

Lulea University of Technology | Sweden | about 6 hours ago

, characterization of materials, theoretical calculations using thermodynamic and kinetic modeling tools and mapping of mate-rials and methods via literature and communication with experienced engineers and

PhD Student in Soil Mechanics

Lulea University of Technology | Sweden | about 6 hours ago

; however, such tests are not always economically feasible. As a result, several studies have explored simpler methods to estimate SP values using index tests. These studies, however, are typically based