2 formal-verification-computer-science positions at Harvard University Administration
-
raising claims of discrimination raised under the NDAB Policies, including via informal resolution and formal investigative processes. Consulting with ?Local Designated Resources? on all complaints
-
Assistant II position reports to William (Ned) Friedman, Director of the Arnold Arboretum and Arnold Professor of Organismic and Evolutionary Biology (70% of the time) and to Faye Rosin, Director of Research
Searches related to formal verification computer science
Enter an email to receive alerts for formal-verification-computer-science positions