University of California, Berkeley
A Research Associate position is available on the EPSRC-funded COVERT project, investigating the safety and security of advanced hardware architectures. The role involves performing formal modelling and verification research, developing software tools, and collaborating with academic and industrial partners to publish high-quality research. The post holder will work within the School of Computer Science to advance verification techniques for concurrent systems and complex memory technologies.
Headquarters
Berkeley, California, United States
Company Size
10001+ employees
Founded
1868
University of California, Berkeley is a leading public research university with over 300 degree programs across 15 schools and colleges. Ranked the #1 public research university in the U.S., UC Berkeley is renowned for groundbreaking research in fields ranging from AI and energy to healthcare and the sciences. It serves a diverse community of undergraduate and graduate students, faculty, and researchers dedicated to expanding knowledge and creating global impact.
Staffer’s search for birth mom reveals dark history of Guatemalan adoption
Jul 9, 2019
International House UC Berkeley Strengthens Leadership Team to Enhance Student Experience and Operational Excellence
Nov 18, 2025
Carol John Obituary - San Francisco, CA
1 month ago
Headquarters
San Francisco, CA
Company Size
201-500 employees
Founded
2018
Industry
Technology
Glassdoor Rating
4.2 / 5
Sarah Johnson
Chief Executive Officer
Michael Chen
Chief Technology Officer
Emily Williams
VP of Engineering
David Rodriguez
VP of Product
Jessica Thompson
Chief Financial Officer
Andrew Park
VP of Sales
View leadership team, funding history,
and employee contacts for University of California, Berkeley.
University of California, Berkeley didn’t post a salary, so this is our estimate from similar listings.
Betty Finucane Obituary (1931 - 2017) - Denver, CO - The Capital Gazette
Jun 9, 2017
Postdoctoral Research Scientist
Columbia University
Applied Formal Methods Research for Safety‑Critical Aerospace Systems - Intern
Analytical Mechanics Associates
Senior Principal Research Engineer, Formal Methods
RTX
Research Scientist – Cryptography with an interest in formal methods
riversideresearchinstitute.com
Staff Applied Research Scientist
Snowflake
Research Engineer - Formal Methods
CODEMETAL