-
, theorem provers, type systems, categories, etc.), concurrent programming languages (choreographic programming, session types, etc.), distributed computing (cloud computing, microservices, etc.), Dev(Sec)Ops
-
programming, session types, etc.), distributed computing (cloud computing, microservices, etc.), Dev(Sec)Ops, software engineering (software product lines), human factors in security and privacy, post-quantum
-
Assistant Professor (tenure-track) and Associate Professor (tenured) Positions in Computer Scienc...
systems, programming of critical software and infrastructure, high-performance computing, and distributed systems. Model-driven Software Engineering Cybersecurity, including security by design, blockchain
-
Assistant Professor (tenure-track) and Associate Professor (tenured) Positions in Computer Scienc...
, theorem provers, type systems, categories, etc.), concurrent programming languages (choreographic programming, session types, etc.), distributed computing (cloud computing, microservices, etc.), Dev(Sec)Ops
-
, theorem provers, type systems, categories, etc.), concurrent programming languages (choreographic programming, session types, etc.), distributed computing (cloud computing, microservices, etc.), Dev(Sec)Ops
-
skills in the implementation of species distribution models and the modelling of species pools across natural and agricultural landscapes under transformation. Proven capabilities of acquiring, downloading
-
19165 Post-Doctoral Fellowship in risk assessment and prioritization and remediation of dumped mu...
fishing activities, major shipping routes, and offshore development locations. The EU Oceans Pact highlight the need to assess and manage dumped munitions. Two EU-funded projects, MUNI-RISK (https://muni