-
postdoctoral position is available in the laboratory of Prof. Alex Persat (EPFL School of Life Sciences, https://www.p-lab.science/ ) to establish a new image-based drug screening platform targeting gram
-
candidates working in formal methods and/or computer systems with interests in one or more of the following areas: machine-checked verification of systems software, GPU kernel semantics and verification, and
Enter an email to receive alerts for model-checking "https:" positions