-
with ab initio methods. Proficiency in software such as VASP, Quantum ESPRESSO, Critic2 and Gibbs2. Experience in high-performance computing and parallel processing. Additional Qualifications Considered
-
experience developing biological application an additional plus Experience coding / applying finite difference, finite element or finite volume methods Experience using optimization software such as GAMS
-
immigrant experiences. Essential Functions Abilities will include: 1) integrating relevant theories and knowledge to shape research questions, study design, measurement tools, and analytic methods, 2
Searches related to formal method
Enter an email to receive alerts for formal-method positions