Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
-
Field
-
previous experience with e-graphs, or is familiar with theory and algorithms used by, for example, proof assistants, term rewriting systems, optimizing compilers, program analysis tools, constraint solvers
-
in their computation. We want to understand the fundamental principles that permit us to build privacy-aware AI systems, and develop algorithms for this purpose. The group collaborates with several
-
theoretical research, algorithm design, and the development of software tools that demonstrate the applicability of the new methods. Research environment The positions are hosted by the Department
-
education to enable regions to expand quickly and sustainably. In fact, the future is made here. The Department of Computing Science seeks a postdoctoral researcher who will work on Compilers for Linear
-
these transcripts into protein sequence databases. Guide the development of proteogenomics through implementation of novel algorithms and computational analysis infrastructure Development of tools to support clinical
-
like computational complexity of algorithms. It’s also fairly common that we need to drill down into the code for some tool to figure out what’s wrong, so being able to read and understand code is
-
and empirically oriented, focusing on how political ideas, actors, and conflicts are shaped and mediated through digital platforms. Central themes may include, for example, algorithmic influence
-
operation Quantum algorithm implementation and benchmarking About you You have a relevant Masters deegree corresponding to at least 240 higher education credits (Physics, Nanotechnology, Engineering, Computer
-
We invite applications for several postdoctoral research positions in experimental quantum computing with superconducting circuits. You will work in the stimulating research environment
-
build the sustainable companies and societies of the future. The EISLAB division of the Department of Computer Science, Electrical and Space Engineering conducts research within Cyber-Physical Systems