Sort by
Refine Your Search
-
Functional logic programming Property-based testing Interactive theorem proving (such as Agda, Lean, or Rocq) Domain-specific languages (for example, for hardware design or parallel programming) Array or
-
rigorously. Develop, implement, and optimize signal and image processing algorithms using appropriate programming environments and computational tools. Contribute to the definition of system
-
NVIDIA Nsight, rocProfiler, or similar. Strong understanding of parallel programming with MPI, OpenMP, and GPU-based programming models. Experience working on national or international supercomputing
-
[Eshmuminov et al. Nat. Biotechnol. 2020] and the first clinical transplantation of a liver treated and recovered in a perfusion machine [Clavien et al. Nat. Biotechnol. 2022]. In parallel, the lab has
-
parallel. Active participation in other ongoing projects in the lab and clear communication of research findings to both specialized and general audiences are expected. Additional responsibilities include
-
filtering, and refinement, and work closely with experimental collaborators to translate designs into functional ligands through synthesis, pharmacology, and in vivo validation. In parallel, you will extend