Sort by
Refine Your Search
-
, memory safety, data race freedom, functional correctness) Implementing and verifying the inference coordination layer (batching, KV-cache management, scheduling) in Rocq/Lean, with extraction to executable
-
management, and grant reporting Profile PhD in microbiology, biophysics, bioengineering, or a related field (completed or near completion) with at least a first author publication. Hands-on experience with
-
NVIDIA BlueField, AMD Pensando or similar. Driver Development: Develop and optimize Linux kernel modules and userspace drivers (DPDK) to manage flows. Hardware/Software Co-Design: Collaborate with optical
-
imaging of dynamic processes, while the companion position focuses on high-throughput imaging of static structural defects . Each postdoc will lead their own independent research direction, with
-
processes . Each postdoc will lead their own independent research direction, with an opportunity for close collaborative work. Main duties and responsibilities You will develop an acquisition and
-
imaging of dynamic processes, while the companion position focuses on high-throughput imaging of static structural defects. Each postdoc will lead their own independent research direction, with
-
We welcome applicants with a PhD in neuroscience, cancer biology, cell biology, molecular biology, bioengineering, or a related field, together with excellent written and spoken English skills. We
-
presentations at lab meetings and conferences Contribute to scientific publications as well as to patents Qualifications PhD in neuroscience, neuroengineering, or related field Relevant experience in preclinical
-
to the technical and quantitative training of junior lab members. Candidate profile Applicants should have a PhD in biomedical engineering, electrical engineering, computer science, data science, computational