Sort by
Refine Your Search
-
by time of appointment. The proposed research will leverage multiple computational many-body techniques (including classical and quantum Monte Carlo, molecular dynamics, and ab initio methods) and
-
. Preferred Qualifications: Proficiency in spectroscopic methods, data analysis, and scientific programming will be advantageous. Department Contact for Questions Questions can be directed to: Prof. Thielges
-
candidate will use ice-flow modeling and ice-penetrating radar to investigate the dynamics of the ice sheets. The candidate will have the flexibility to help determine the project’s objectives, methods, and
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions