305 proof-checking-postdoc-computer-science-logic positions at California Institute of Technology
Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
Caltech is a world-renowned science and engineering institute that marshals some of the world's brightest minds and most innovative tools to address fundamental scientific questions. We thrive
-
cleantech, AI/ML, quantum computing, or semiconductors; or equivalent life science industry experience in research and product strategy, drug discovery, process development, partnerships, or new product
-
on the role of DNMTs in zebrafish development using CRISPR technology. Assist postdocs in generating mutant lines. Zebrafish husbandry. Interpret experimental findings with PIs. Keep detailed records
-
of extension through December 2026. As a Pipeline Operator, you will be part of the Science Data System team for the Zwicky Transient Facility (ZTF). We operate a computing cluster and real-time automated
-
of the Science Data System team for the Zwicky Transient Facility (ZTF). We operate a computing cluster and real-time automated pipelines that process images of the night sky taken with a 640-megapixel
-
; successful pre-employment physical, including vision screening. Ability to lift 25 lbs. Preferred Qualifications M.S. degree in electrical engineering, physics, or computer science and 6+ years related
-
advertising agency jeid-2761c31805dba24886486647e51d74b1 Create a Job Match for Similar Jobs Logo About California Institute of Technology The California Institute of Technology (Caltech) is a world-renowned
-
Caltech is a world-renowned science and engineering institute that marshals some of the world's brightest minds and most innovative tools to address fundamental scientific questions. We thrive
-
diseases. Additional details about the lab can be found at http://ismagilovlab.caltech.edu/ Essential Job Duties Assist graduate students, postdocs, and research staff with bioinformatics/computational
-
research, further technical proof-of-concept work, or other risk reduction activities necessary to make a final determination regarding whether the technology is appropriate for a startup. Once these