317 proof-checking-postdoc-computer-science-logic Postdoctoral positions at Nature Careers
Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Field
-
therapy through base editing. The applicant should have laboratory experience in molecular biology, tissue culture, and genome editing. The applicant should have strong recommendations from their PhD mentor
-
. Minimum Education and/or Training: A Ph.D. in computational chemistry, structural biology, bioinformatics, computer science, pharmaceutical sciences, or a closely related field. Candidates with significant
-
Temporary contract | 30 months | Belval Are you passionate about research? So are we! Come and join us The Luxembourg Institute of Science and Technology (LIST) is a Research and Technology
-
students and employs around 5’000 researchers, teachers and technical staff. Life sciences and medicine is one of its three main axis of research, together with social and environmental sciences. The hosting
-
The Soldner Laboratory at the Albert Einstein College of Medicine is seeking highly motivated and creative postdoctoral researchers with backgrounds in neuroscience, stem cell biology, molecular
-
(or near completion) in computer science, machine learning, mathematics, computational biology, or a related field Strong publication record in top-tier venues (e.g., NeurIPS, ICML, ICLR, JMLR, AAAI
-
Institute for RNA-based Infection Research (HIRI) is the first institution of its kind worldwide to combine ribonucleic acid (RNA) research with infection biology. Based on novel findings from our strong
-
(FSTM) at the University of Luxembourg contributes multidisciplinary expertise in the fields of Mathematics, Physics, Engineering, Computer Science, Life Sciences and Medicine. Through its dual mission
-
cells. For more information about our research, please see the following publications and website: Science 381: eadd6696 (2023); PMID: 37499037 Science Advances 8: eabo0404 (2022); PMID: 35857842
-
. Extensive experience in scientific computing involving programming, numerical analysis, symbolic and logical analysis, Monte Carlo simulations, and computer graphics. Experience in Matlab, Mathematica