Sort by
Refine Your Search
-
Category
-
Country
-
Program
-
Field
-
specialized algorithms supported on solid theoretical foundations and with a focus on challenging aspects of very high-dimensional datasets, such as datasets encountered in the computational biology and
-
, 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
-
for improving the simulation and optimization of distributed systems, for instance by specializing neural ODEs and their training routines. This research will address challenges driven by the energy transition
-
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
-
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
-
EU MSCA doctoral (PhD) position in Materials Engineering with focus on computational optimization of
, scanning speed, layer thickness, scan strategy and subsequent heat-treatment) has a significant effect on the microstructure (grain size, alloying elements distribution, crystallographic texture), mechanical
-
at the department are artificial intelligence, big data frameworks, bioinformatics, data analysis, data science, discrete and machine learning algorithms, distributed, intelligent, and interactive systems, networks
-
comprehensive, dynamic, scalable, AI-enabled research engine and patient care platform. Through MCP, Mayo Clinic has created the world’s largest distributed federated healthcare data network (MCP Connect), with a