139 proof-checking-postdoc-computer-science-logic Fellowship research jobs at Harvard University
Sort by
Refine Your Search
-
of Organismic and Evolutionary Biology, which is a vibrant community of cross-disciplinary biological scientists at Harvard University. Basic Qualifications A Ph.D. degree in Bioinformatics, Computational Biology
-
. As this work exists at the interface of biology, chemistry, and engineering, applicants with training and education in any of these areas, or related fields, will be considered. Postdocs in the lab
-
Bioinformatics, Computational Biology, or related areas; Hands-on experience with, or a strong interest in, bioinformatics programming, including Linux, scripting, and R; Expertise in data mining and cleaning
-
Details Posted: Unknown Location: Salary: Summary: Summary here. Details Posted: 03-Aug-25 Location: Cambridge, Massachusetts Categories: Academic/Faculty Social/Behavioral Sciences Internal Number
-
Details Title Postdoctoral Fellow in Materials Science & Mechanical Engineering - Microelectronics and Soft Materials School Harvard John A. Paulson School of Engineering and Applied Sciences
-
Details Title Research Fellow in Biomechanical Evaluation of Wearable Technology - Walsh Lab School Harvard John A. Paulson School of Engineering and Applied Sciences Department/Area Bioengineering
-
Details Posted: Unknown Location: Salary: Summary: Summary here. Details Posted: 03-Aug-25 Location: Cambridge, Massachusetts Categories: Academic/Faculty Biological/Biomedical Sciences Internal
-
: 13832 School: Faculty of Arts and Sciences Department/Area: Human Evolutionary Biology Position Description: The Department of Human Evolutionary Biology at Harvard University invites applications for a
-
developmental, stem cell, neuro, computational biology, genetics or genomics. Basic Qualifications: The candidate should have a PhD or plan to defend their PhD in the coming year. Contact Information: Professor
-
/or computational biology. Research will focus on both top-down and bottom-up mapping of local interactions between relatively simple dynamic entities and their emergent complex behavior. We study these