-
and kinetics of phase transformations. Knowledge of inorganic chemistry, especially cement chemistry, is strongly preferred, as well as a background in experimental thermal methods, rheological
-
communication protocols. Design and commission robotic sample transfer between processing, characterization, and testing stations. Develop and test AI/ML-based methods for control, scheduling, and error recovery
-
for critical infrastructure and autonomous systems. Responsibilities: Research Leadership: Design and implement novel methods within the research directions of the lab and areas of the candidate expertise. Grant
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions