solvers and interactive theorem provers. Experience with mathematical logic (e.g., temporal logic, separation logic, category.....
Job Location: Cambridge, MA, USASelected articles on work and employment, which may be found interesting:
How to take pleasure in work?Find more articles on Articles page