Logic List Mailing Archive

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

Post-Doc and Student Positions / Bar-Ilan University, Israel

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 
http://bio4comp.org/. For more details please see 
http://www.eng.biu.ac.il/hillelk/ and contact Hillel Kugler at 
hillelk@biu.ac.il

[http://www.eng.biu.ac.il/hillelk/files/2015/08/Hillel-300x246.jpg]<http://www.eng.biu.ac.il/hillelk/>

Dr. Hillel Kugler | Faculty of 
Engineering<http://www.eng.biu.ac.il/hillelk/> www.eng.biu.ac.il I am a 
faculty member at Bar-Ilan University since 2015. Before joining the 
faculty of Engineering at Bar-Ilan I was a researcher at Microsoft 
Research in Cambridge.

--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam