-
with biomolecular design methods including production and verification. Experience with relevant structural biology techniques such as cryo-EM or cryo-ET. Experience with relevant screening methods
-
origami robots that can sense, compute and actuate [2]. In the recently funded RIBOTICS (RNA Origami Technology in Cell Systems) project, the lab aims to develop RNA origami robots for cell factories (yeast
-
, and BSc students Organizing relevant workshops and demonstrations Contributing to the acquisition of research funding Your profile The candidate should possess a PhD degree in Computer Science, Software
Searches related to formal verification computer science
Enter an email to receive alerts for formal-verification-computer-science positions