286 formal-verification-computer-science uni jobs at California Institute of Technology
Sort by
Refine Your Search
-
Listed
-
Field
-
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
-
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
-
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
-
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
-
degree in a scientific, technology, engineering, or mathematics field is required. Computing and software troubleshooting skills are required. Proficient with Windows and Linux operating systems
-
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
-
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
-
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
-
obstacles and evaluate information. Utilizes appropriate computer-assisted audit techniques to increase effectiveness and efficiency in the audit process. Utilizes data science to analyzes available data sets
-
project managers, senior engineering staff, faculty, students, and administrative professionals. Basic Qualifications BS degree in computer science or equivalent. Experience with RFSoC-based readout systems