Sort by
Refine Your Search
-
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
-
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
-
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
-
Lund University, Faculty of Engineering, LTH, Department of Computer Science Lund University was founded in 1666 and is repeatedly ranked among the world’s top universities. The University has
-
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
-
to the advancement of precision medicine in oncology. A typical workday may involve writing and running code to pre-process sequencing data on a compute server, applying statistical models and algorithms to construct
-
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
-
and conducts research and teaching mainly in Electrical Engineering and Computer Technology. We are located on LTH's campus in northern Lund. The Division for Electromagnetics and Nanoelectronics has 10
-
researchers at Lund University, Karlstad University and Södertörn University, and funded by The Wallenberg AI, Autonomous Systems and Software Program – Humanity and Society (WASP-HS). The research group
-
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