532 software-formal-method-phd positions at University of California in United States
Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
- Medical Sciences
- Economics
- Computer Science
- Engineering
- Business
- Education
- Materials Science
- Biology
- Mathematics
- Psychology
- Science
- Social Sciences
- Chemistry
- Electrical Engineering
- Environment
- Law
- Linguistics
- Humanities
- Physics
- Arts and Literature
- Earth Sciences
- Philosophy
- Statistics
- 13 more »
- « less
-
Development group, assess efficiency of alternative broadband X-ray absorption spectroscopy collection methods and their suitability for ultra-fast experiments Provide training to colleagues and write excellent
-
various software and web-based applications (e.g., Microsoft Office Suite, Box, Asana,Slack, Calendly) (Required) Understanding of financial research methods and reporting techniques. (Required) Proficiency
-
for science Advancing quantum computing and networking technologies, software, algorithms and applications Evaluating or developing new and promising HPC systems and networking technologies Researching methods
-
environment, with multiple competing deadlines. Experience using multiple electronic/automated systems and software such as MS Office Suite or other automated office tools. Experience communicating verbally and
-
Department! In this exciting role, you will report to the Chief Informatics Officer (CIO ) and lead your team to develop the next generation of software infrastructure to support data generation, analysis, and
-
/Software Engineer (Computer Systems Engineer 3/4) at the National Energy Research Scientific Computing Center (NERSC) to help architect, deploy, configure, and operate large scale, leading-edge high-performance
-
wafers and materials. 15% Gathers and analyzes data; prepares formal engineering reports, drawings, and status reports. Analyzes the performance of the MEMS device via electrical measurements. 10% Work
-
specialized software including MS Office software and/or CAHFS Laboratory Information Management System (LIMS). Knowledge of quality control/quality assurance standards appropriate for an accredited, clinical
-
. Preferred Qualifications Performs routine duties which do not require special skills or training. In addition, performs tasks requiring special skills or training acquired through formal or on the job
-
Thorough knowledge of educational software and platforms. Demonstrated ability to analyze and seek solutions to enhance the user experience Thorough knowledge of data management, documentation methods used