Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Field
-
the world’s most challenging problems through artificial intelligence and data driven algorithms and systems. CSMD creates the mathematics, artificial intelligence, and architecture-aware algorithms
-
algorithm development to hardware in the loop (HIL) validation, architectures for autonomous coordination through guidance, navigation and control of distributed space segments, under cooperative and non
-
-board Payload Signal and Data Processing algorithms and techniques for RF payloads and instruments in close collaboration with TEC-ED; and Time and frequency references, modelling, design tools
-
the grant and services delivered by ARC longer-term. The ability to work using one or more of these technologies is therefore essential: Compiled languages (e.g. C/Fortran) Shared and distributed memory
-
processing and analysis. The LISA ground segment is a distributed facility (the LISA Distributed Data Processing Center), for which LISA member states contribute national centers with specific commitments and
-
of distributed computing, machine learning, image and text analysis, randomized data structures, high-performance computing, and quantum algorithms. Beyond this research, we aim to support computational thinking
-
Offer Description The researcher will develop various applications, algorithms, and AI techniques for Virtual Power Plants (VPPs) within the distribution grid environment. These will include neural
-
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
-
, file system implementations, I/O, deadlocks, distributed systems, synchronization, distributed file systems, case studies. Graded ABCDE CSC 575 - Algorithm and Complexity Analysis Graduate standing. (4