name the emplyer for whihc richard dawkins has worked and also written in blast model checker ?
SELECT DISTINCT var_uri where brack_open dbr_Richard_Dawkins dbp_employer var_uri sep_dot dbr_BLAST_model_checker dbo_author var_uri brack_close