Sort by
Refine Your Search
-
field; Affinity with formal methods, including an understanding of basic of automata theory, formal languages, algorithms, and computability --- i.e., foundational computer science theory. Candidates with
-
. Your work will focus on design-space exploration and optimizations tailored to different environments. The optimizations range from algebraic optimizations (e.g., term rewriting), to algorithmic
-
We are looking for an enthusiastic and highly motivated PhD-candidate who is eager to study major evolutionary transitions using mathematical models. You will be embedded in the Environmental Biology
-
techniques for advanced computational imaging systems, combining expertise from Mathematics (Inverse Problems), Computer Science (Efficient Algorithms and High-Performance Computing), and Physics (Image