34 software-formal-method-phd Postdoctoral research jobs at The University of Arizona
Sort by
Refine Your Search
-
. This includes evaluating research data, revising, improving and monitoring techniques, and developing innovative methods and approaches to solve scientific problems while meeting goals and objectives in
-
of Hydrology and Atmospheric Sciences. The postdoctoral researcher will investigate remote sensing methods to estimate whole ecosystem scale transpiration at the Landscape Evolution Observatory (LEO) located
-
at the Department of Hydrology and Atmospheric Sciences. The postdoctoral researcher will investigate remote sensing methods to estimate whole ecosystem scale transpiration at the Landscape Evolution Observatory (LEO
-
tracking and EEG methods, cross-disciplinary collaboration, and opportunities for mentorship, authorship, and grant development. Our main focus is in how people search withing the visual world, and in
-
applications from prospective postdoctoral scholars. Potential projects involve investigating the neural mechanisms underlying age-related changes in spatial navigation and memory. Methods to be used include
-
undergraduate students). Additional duties as assigned. Minimum Qualifications Must have completed all the requirements for a PhD. in physical science, mathematics/ data science, or engineering at the time of
-
. Knowledge of upstream, downstream, and centerline construction methods, and associated risks and regulatory frameworks. Proficiency in spatio-temporal modeling and geotechnical software (e.g., FLAC, GeoStudio
-
troubleshooting custom measurement systems. Skills in data analysis including scientific programming. Ability to communicate professionally and work in interdisciplinary teams. Minimum Qualifications PhD in related
-
control tailings dust, and (b) bioleaching of mine tailings to recover critical minerals. Conduct research to evaluate existing methods for mine tailings dust control currently used in practice. Conduct
-
quantum error correction codes and decoders, and provide technical leadership in the area of classical and quantum error correction. Develop error correction coding and decoding software for use in the lab