- 
                
                
                focusing on: Quantum mechanical calculations using density functional theory. Mean-field modeling and Monte Carlo simulations for reaction kinetics. Theoretical spectroscopy By combining quantum mechanical 
- 
                
                
                behavior of programs at a high level. Automata theory — to manipulate logical formulas and domain representations. Two-player games — to reason about strategies and synthesized programs. The work involves 
- 
                
                
                15 full-time researchers offers a stimulating and supportive environment to learn and grow. Your profile Required qualifications: Undergraduate degree in Engineering, Physics or Mathematics with strong 
Searches related to mathematics graph theory
  Enter an email to receive alerts for mathematics-graph-theory positions