Sort by
Refine Your Search
-
, and theory of distributed algorithms. In our group, we work on both theory and practice: some members of our group focus on algorithms and mathematical proofs, and some on system design and building
-
to demonstrate the results on custom-built real-world 3D printing setups available at IfA and inspire. For a large scale proof of concept, we will implement the results on a testbed combining robotics and 3D
-
long as they match the group's general vision and are fitting and complementary to the group skills and research areas. Job description Participation in (ongoing) research projects and support for
Searches related to proof checking postdoc computerscience
Enter an email to receive alerts for proof-checking-postdoc-computerscience positions