3 formal-methods Postdoctoral positions at University of California Berkeley

Postdoctoral Employee - Artificial Intelligence - Electrical Engineering and Computer Sciences Department

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

EECS department, is affiliated with the Berkeley AI Research Lab, Computational Precision Health, and the Center for Human-Compatible AI. We develop AI methods for applications in the health and social

Postdoctoral Scholar Genomics, Aging, Somatic Mutation, Structural Variation, Evolution , Cancer Integrative Biology

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

employ state-of-the art sequencing methods to profile somatic mutations across different primate species. There is a particular focus on structural variation and employing long-read sequencing methods

Postdoctoral Scholar Employee Reactor Physics Nuclear Engineering

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

. Use of radiation transport codes, especially MCNP, Serpent, OpenMC, or an equivalent code. Experience with uncertainty quantification methods. Experience with computer programming (Python, C