with all, Expert in some Formal verification tools such as SMT solvers and interactive theorem provers. Ability to work.....
Job Location: Cambridge, MA, USASelected articles on work and employment, which may be found interesting:
Seven tips for those who want to quit job correctlyFind more articles on Articles page