Sort by
Refine Your Search
-
field Background in programming languages, formal methods, or networking Research experience in one or more of: language design and semantics, automata theory and decision procedures, interactive
-
languages, systems, or ML Research experience in one or more of: interactive theorem proving (Rocq, Lean, HOL, Isabelle, or similar), GPU programming or semantics, compilers, concurrency, or ML systems (e.g
-
cell biology and next generation sequencing. Experience in droplet-microfluidics, including use of commercial devices such as the 10X Genomics platform is beneficial, but not absolutely crucial. For two
-
positions. https://www.epfl.ch/labs/entc/ Education You will work closely with Dr. Davide Bavato, head of EPFL’s recently established Entrepreneurship Education Hub. The Hub is developing a structured
-
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
-
of phosphoinositide 3-kinase (PI3K) signaling in allergy, metabolic control, obesity, diabetes and cancer; see https://p3.snf.ch/project-189065 ii) developing and validation of novel chemical probes and degraders
-
designing and running large-scale experiments, developing fine-tuning and reinforcement learning approaches, and studying how LLMs can generalize more reliably across tasks and reasoning domains. We
-
-invasive targeted drug delivery to the brain. Our laboratory recently developed a novel focused ultrasound-mediated targeted drug delivery platform, published in Nature Communications (https://www.nature.com
-
experiments on bound electronic wave packets, charge migration, charge transfer and microhydrated chiral molecules Mentor doctoral and Master's researchers in optical alignment, detector operation, data
-
sensing. Profile PhD in Computer Vision Background in Computer Science Research experience in 3D Computer Vision, remote sensing and aerial imagery Strong computational and analytical skills, as