227 software-verification-computer-science positions at University of California, Berkeley
Sort by
Refine Your Search
-
Listed
-
Category
-
Field
-
. Located in the vibrant California Bay Area, our program is deeply connected to the region's complex historical legacies and is engaged in its creative possibilities. Our award-winning faculty consists
-
Fresno - Gastroenterologist Job #JPF05779 Fresno Medical Education Program / SCHOOL OF MEDICINE / UC San Francisco Application Window Open date: September 9, 2025 Next review date: Thursday, Oct 9, 2025
-
Haas School of Business visit: https://haas.berkeley.edu/about/ About the David and Lucile Packard Foundation The David and Lucile Packard Foundation is where the Program Analyst will work. The Packard
-
feet and 1100 acres, Facilities Services includes the asset management program, custodial services, maintenance operations, engineering and technical services, environmental services, grounds operations
-
The Inclusion program runs throughout the duration of UC Berkeley Youth Recreation's summer and year-round youth programming, integrating into each program unit, to offer individualized and thoughtful support to
-
faculty appointment in the UCSF Hematology, Blood and Marrow Transplant and Cellular Therapies program. The candidate will have responsibility for patient care, clinical research and teaching. It is
-
of fabrication activities during team meetings. Interface closely with the fabrication lead for the Quantum Information Science and Technology group at Lawrence Berkeley National Laboratory (LBNL) on management
-
Services includes the asset management program, custodial services, maintenance operations, engineering and technical services, environmental services, grounds operations, the Cal Zero Waste program
-
, and potential Berkeley students studying across a wide range of programs, including year-round courses, Fall Program for Freshmen, post-baccalaureate programs, visiting student experiences, study abroad
-
on glioma cells and tissues. The candidate will also perform computational analysis of ATAC-seq and RNA-seq data. Duties will include being trained in and assisting with tumor cell biology activities such as