Postdoctoral and PhD student positions in applying formal verification to new biological computing devices, Ramat Gan (Isral)

We invite students and postdocs to join a research program on applying formal verification and programming languages methods towards designing new biological computing devices, aimed to solve complex computational problems efficiently and investigate alternative computing technologies. The selected candidates will work with Dr. Hillel Kugler with opportunities to collaborate with several leading experimental groups in Europe that will be studying the development and design of the underlying methods and technology, as part of a 5-year European Project Bio4Comp.