Universiteit van Amsterdam

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

Deadline: Monday 1 January 2018

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.

For more information, see http://www.eng.biu.ac.il/hillelk/ or contact Dr. Hillel Kugler at .