42 formal-verification-computer-science uni jobs at University of California Berkeley

Lecturer Pool - Master of Computational Social Science - ISSP - College of Letters & Science

University of California Berkeley | Berkeley, California | United States | 16 days ago

Number: 6585775 Lecturer Pool - Master of Computational Social Science - ISSP - College of Letters & Science Position overview Salary range: The UC academic salary scales set the minimum pay at appointment

Lecturer (Part-Time) - Introduction to Space Engineering - Aerospace Engineering - College of Engineering

University of California Berkeley | Berkeley, California | United States | about 19 hours ago

comprehensive aerospace engineering program, anchored by the new undergraduate major (presently hosted in the Department of Mechanical Engineering) and fueled by the increasing societal significance of aerospace

Junior/Assistant Specialist Computational Biology - Staller Lab - Department of Molecular and Cell Biology

University of California Berkeley | Berkeley, California | United States | 2 months ago

Internal Number: 6414922 Junior/Assistant Specialist Computational Biology - Staller Lab - Department of Molecular and Cell Biology Position overview Position title: Junior/Assistant Specialist Salary range

Assistant Professor - Department of Agricultural and Resource Economics

University of California Berkeley | Berkeley, California | United States | 15 days ago

Details Posted: Unknown Location: Salary: Summary: Summary here. Details Posted: 23-Sep-25 Location: Berkeley, California Type: Full-time Categories: Academic/Faculty Agricultural Sciences Internal

Lecturer - Agricultural and Resource Economics - College of Natural Resources

University of California Berkeley | Berkeley, California | United States | 15 days ago

Details Posted: Unknown Location: Salary: Summary: Summary here. Details Posted: 23-Sep-25 Location: Berkeley, California Type: Full-time Categories: Academic/Faculty Agricultural Sciences Internal

Assistant or Associate Professor - Integrated, Autonomous Construction and Infrastructure - Civil and Environmental Engineering

University of California Berkeley | Berkeley, California | United States | about 1 month ago

Details Posted: Unknown Location: Salary: Summary: Summary here. Details Posted: 30-Aug-25 Location: Berkeley, California Type: Full-time Categories: Academic/Faculty Engineering Internal Number

Lecturer - Law and Technology - School of Law

University of California Berkeley | Berkeley, California | United States | 27 days ago

, regulated digital industries, privacy, cybersecurity, computer programming, biotechnology and life sciences innovation law, computer law, videogame law, art and cultural property, entertainment law, computer

Assistant Professor (N/T) - Using AI and the Learning Sciences to Advance STEM Teaching and Learning: K12-Higher Education - Berkeley School of Education

University of California Berkeley | Berkeley, California | United States | 15 days ago

learn. We welcome candidates who will collaborate across campus-including with the College of Computing, Data Science, and Society-to advance inclusive, research-informed STEM teaching and prepare

Assistant Professor - Asian American and Pacific Islander Transpacific Futures - Department of Environmental Science, Policy, and Management

University of California Berkeley | Berkeley, California | United States | about 2 months ago

understanding and develop solutions for the world's pressing environmental problems. Home to a top-ranked Ph.D. program in environmental science, environmental studies, and ecological/evolutionary biology, our

Assistant Professor - Forest Health - Department of Environmental Science, Policy, and Management

University of California Berkeley | Berkeley, California | United States | about 2 months ago

problems. ESPM is home to a top-ranked Ph.D. program in environmental science, environmental studies, and ecological/evolutionary biology. Our undergraduate students have a choice of vibrant majors that span