Testing and verification research is increasingly having profound real world impact, yet there remain many open scientific challenges, the solution of which may lead to even greater real world impact.
Facebook is pleased to invite university faculty to respond to a call for research proposals on Testing and Verification (TAV). This is Phase One of Facebook’s funding initiative to support research in Testing and Verification. We anticipate awarding a total of 5 gifts in the $30,000 to $50,000 USD range and a larger number of smaller feasibility study awards (~$10k USD) to enable promising researchers to develop their work further, and to potentially submit to future phases. Larger gifts may become available in future phases of the Facebook TAV Research Funding Program, subject to the outcomes from Phase One. No Facebook data will be provided to award recipients.
Winners will be invited to attend a one-day conference co-located with FaceTAV, the annual Facebook Testing and Verification Symposium, in November 2018 at the Facebook UK office, to present and discuss their work. Conference air and hotel travel will be paid for by Facebook in addition to the award.
Successful awardees will be listed on the Facebook Research website and will be encouraged to openly publish any findings and insights from their work.
Payment will be made to the proposer’s host university as an unrestricted gift.