{ "results": [ { "id": "eaa14c9a5131ca17f70bc3ef3ace0fb4", "title": "CPU Formal Verification Engineer", "employer_name": "Intel", "employer_slug": "intel", "location_text": "5 Locations", "country": "unknown", "employment_type": "unknown", "remote_status": "unspecified", "remote_status_source": null, "remote_status_enriched_at": null, "days_in_office": null, "timezone_overlap_hours": 3, "salary_min": null, "salary_max": null, "salary_min_source": null, "salary_max_source": null, "salary_currency": "UNSPECIFIED", "salary_type": "unknown", "salary_type_source": null, "salary_type_enriched_at": null, "salary_period": null, "base_salary_min": null, "base_salary_max": null, "salary_disclosed": false, "equity_included": true, "equity_included_source": null, "equity_type": [ "rsu", "options", "espp" ], "k401_match": "yes", "match_401k_pct": null, "match_401k_pct_source": null, "k401_match_source_url": null, "k401_match_source_fields": [ "EMPLR_CONTRIB_INCOME_AMT" ], "k401_contribution_source_url": null, "k401_contribution_source_fields": [ "EMPLR_CONTRIB_INCOME_AMT" ], "profit_sharing": false, "bonus_offered": false, "mental_health_support": null, "childcare_subsidy": null, "fertility_family_building_benefits": null, "adoption_assistance_offered": null, "surrogacy_assistance_offered": null, "student_loan_repayment_offered": null, "learning_budget_offered": null, "relocation_assistance": null, "top_startup_sources": [], "posted_at": "2026-05-27T00:00:00.000Z", "apply_url": "https://intel.wd1.myworkdayjobs.com/External/job/US-Oregon-Hillsboro/CPU-Formal-Verification-Engineer_JR0281353", "apply_url_verified": false, "ats": "workday", "url_last_checked_alive": null, "removed_at": null, "description_excerpt": "CPU Formal Verification Engineer 5 Locations posted: Posted 16 Days Ago", "parental_leave_weeks": null, "non_birth_parent_leave_weeks": null, "parental_leave_weeks_source": null, "non_birth_parent_leave_weeks_source": null, "parental_leave_source_url": null, "pto_days": null, "unlimited_pto": false, "sabbatical_eligible": false, "family_friendly_score": 40, "benefit_verified": true, "benefit_last_verified": "2026-06-13T01:18:42.546Z", "hire_states_allowed": [], "state_eligibility_source": null, "state_eligibility_enriched_at": null, "llm_quality_pass_at": null, "llm_signals_at": null, "llm_extraction_run_id": null, "llm_extraction_extracted_at": null, "llm_extraction_field_sources": { "seniority": { "field": "seniority", "source": "llm:greenfield:inv_371_postfix", "db_column": "seniority" }, "k401_match": { "source": "dol_form_5500", "source_url": null, "source_fields": [ "EMPLR_CONTRIB_INCOME_AMT" ], "source_label": "DOL Form 5500 filing" }, "equity_type": { "source": "sec_10k", "source_url": "https://www.sec.gov/Archives/edgar/data/50863/000005086326000011/intc-20251227.htm", "source_fields": [ "equity_offered", "equity_type" ] }, "salary_type": { "field": "salary_type", "source": "llm:greenfield:inv_371_postfix", "db_column": "salary_type" }, "role_function": { "field": "role_function", "source": "rule", "db_column": "role_function" }, "equity_included": { "source": "sec_10k", "source_url": "https://www.sec.gov/Archives/edgar/data/50863/000005086326000011/intc-20251227.htm", "source_fields": [ "equity_offered", "equity_type" ] }, "education_required": { "field": "education_required", "source": "llm:greenfield:inv_371_postfix", "db_column": "education_required" } }, "seniority": "mid", "seniority_source": "llm:greenfield:inv_371_postfix", "years_experience_min": 3, "years_experience_max": 7, "role_function": "data", "role_function_source": "rule", "company_stage": null, "company_stage_source": null, "employer_industry": "Technology", "employer_industry_source": "wikidata_sparql_industry", "employer_size": "5000+", "quality_score": 35, "travel_pct": null, "requires_shift": null, "shift_type": "unknown", "shift_type_source": null, "weekend_work": "unknown", "weekend_work_source": null, "relocation_assistance_source": null, "contractor_w2": "unknown", "required_timezone": null, "fertility_family_building_benefits_source": null, "mental_health_support_source": null, "adoption_assistance_offered_source": null, "childcare_subsidy_source": null, "learning_budget_offered_source": null, "surrogacy_assistance_offered_source": null, "cover_letter_required": null, "cover_letter_required_source": null, "assessment_required": null, "assessment_required_source": null, "application_deadline": null, "application_deadline_source": null, "visa_sponsorship": false, "us_citizenship_required": false, "security_clearance": "none", "education_required": "none", "roll_up_count": null, "roll_up_total_locations": null, "explanations": [ { "schema_version": "inv382.match_signal.v1", "signal_id": "sig.query.description_excerpt.142c12b398985e52b1", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "eaa14c9a5131ca17f70bc3ef3ace0fb4", "signal_type": "query_match", "display_text": "Description: \"formal\"", "tooltip": "Description matched \"formal\" from your search.", "source_binding": "bm25_field_evidence", "source_field": "description_excerpt", "source_value": "CPU Formal Verification Engineer 5 Locations posted: Posted 16 Days Ago", "matched_input": "formal", "derivation_source": "candidate_result.raw_match_evidence", "candidate_evidence_id": "ev:gq_08ad77e7e6c643ef20c4:eaa14c9a5131ca17f70bc3ef3ace0fb4:description:formal", "rerank_evidence_id": null, "taxonomy_alias_id": null, "oracle_verification_method": "candidate_evidence_exists", "counts_for_non_trivial_query": true, "truth_verified": true, "exact": true, "priority": 90, "mobile_priority": 1, "ui": { "icon": "Search", "tone": "match", "href": null } }, { "schema_version": "inv382.match_signal.v1", "signal_id": "sig.query.title.7eba67ab47beceb3f5", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "eaa14c9a5131ca17f70bc3ef3ace0fb4", "signal_type": "query_match", "display_text": "Title: \"formal\"", "tooltip": "Title matched \"formal\" from your search.", "source_binding": "bm25_field_evidence", "source_field": "title", "source_value": "CPU Formal Verification Engineer", "matched_input": "formal", "derivation_source": "candidate_result.raw_match_evidence", "candidate_evidence_id": "ev:gq_08ad77e7e6c643ef20c4:eaa14c9a5131ca17f70bc3ef3ace0fb4:title:formal", "rerank_evidence_id": null, "taxonomy_alias_id": null, "oracle_verification_method": "candidate_evidence_exists", "counts_for_non_trivial_query": true, "truth_verified": true, "exact": true, "priority": 90, "mobile_priority": 1, "ui": { "icon": "Search", "tone": "match", "href": null } }, { "schema_version": "inv382.match_signal.v1", "signal_id": "sig.semantic.title.b29da99cf3d9e0bed0", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "eaa14c9a5131ca17f70bc3ef3ace0fb4", "signal_type": "query_match", "display_text": "Title: semantic match", "tooltip": "Title provided semantic evidence for your search intent.", "source_binding": "reranker_semantic_evidence", "source_field": "title", "source_value": "CPU Formal Verification Engineer", "matched_input": "formal", "derivation_source": "rerank_result.semantic_evidence", "candidate_evidence_id": null, "rerank_evidence_id": "rerank:4dec5620bee8d200724f9ec6", "taxonomy_alias_id": null, "oracle_verification_method": "reranker_evidence_exists", "counts_for_non_trivial_query": true, "truth_verified": true, "exact": false, "priority": 86, "mobile_priority": 2, "ui": { "icon": "Sparkles", "tone": "match", "href": null } }, { "schema_version": "inv382.match_signal.v1", "signal_id": "sig.query.title.2187d6f9165a077d03", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "eaa14c9a5131ca17f70bc3ef3ace0fb4", "signal_type": "query_match", "display_text": "Title: \"formal\"", "tooltip": "Title contains \"formal\" from your search.", "source_binding": "token_match", "source_field": "title", "source_value": "CPU Formal Verification Engineer", "matched_input": "formal", "derivation_source": "row_field", "candidate_evidence_id": null, "rerank_evidence_id": null, "taxonomy_alias_id": null, "oracle_verification_method": "row_field_contains", "counts_for_non_trivial_query": true, "truth_verified": true, "exact": true, "priority": 80, "mobile_priority": 2, "ui": { "icon": "SearchCheck", "tone": "match", "href": null } }, { "schema_version": "inv382.match_signal.v1", "signal_id": "sig.semantic.role_function.2df037e7df1df8cfe5", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "eaa14c9a5131ca17f70bc3ef3ace0fb4", "signal_type": "query_match", "display_text": "Role: semantic match", "tooltip": "Role provided semantic evidence for your search intent.", "source_binding": "vector_semantic_evidence", "source_field": "role_function", "source_value": "data", "matched_input": "formal", "derivation_source": "candidate_result.raw_match_evidence", "candidate_evidence_id": "ev:gq_08ad77e7e6c643ef20c4:eaa14c9a5131ca17f70bc3ef3ace0fb4:vector", "rerank_evidence_id": null, "taxonomy_alias_id": null, "oracle_verification_method": "candidate_evidence_exists", "counts_for_non_trivial_query": true, "truth_verified": true, "exact": false, "priority": 74, "mobile_priority": 2, "ui": { "icon": "Sparkles", "tone": "match", "href": null } } ], "source_label": "DOL Form 5500 filing", "parental_leave_source_label": null, "k401_match_source_label": "DOL Form 5500 filing", "k401_contribution_source_label": "DOL Form 5500 filing", "apply_url_checked_at": null, "apply_url_verification_status": "not_reachable_or_not_checked", "apply_url_verification_label": "Not checked or not reachable at last crawl", "field_source_signals": { "equity_included": { "tier": "government", "verified": true, "label": "Verified - SEC 10-K", "source_label": "SEC 10-K", "href": "https://www.sec.gov/Archives/edgar/data/50863/000005086326000011/intc-20251227.htm", "source_values": [ "sec_10k", "https://www.sec.gov/Archives/edgar/data/50863/000005086326000011/intc-20251227.htm" ], "checked_at": null }, "k401_match": { "tier": "government", "verified": true, "label": "Verified - DOL Form 5500", "source_label": "DOL Form 5500", "href": null, "source_values": [ "dol_form_5500", "EMPLR_CONTRIB_INCOME_AMT" ], "checked_at": "2026-06-13T01:18:42.546Z" }, "seniority": { "tier": "posting", "verified": true, "label": "From the posting", "source_label": "the posting", "href": "https://intel.wd1.myworkdayjobs.com/External/job/US-Oregon-Hillsboro/CPU-Formal-Verification-Engineer_JR0281353", "source_values": [ "llm:greenfield:inv_371_postfix" ], "checked_at": null }, "role_function": { "tier": "posting", "verified": true, "label": "From the posting", "source_label": "the posting", "href": "https://intel.wd1.myworkdayjobs.com/External/job/US-Oregon-Hillsboro/CPU-Formal-Verification-Engineer_JR0281353", "source_values": [ "rule" ], "checked_at": null }, "employer_industry": { "tier": "government", "verified": true, "label": "Verified - Wikidata", "source_label": "Wikidata", "href": null, "source_values": [ "wikidata_sparql_industry" ], "checked_at": null } } }, { "id": "8e505696cf7036154fbfe703aac26097", "title": "Senior AI Formal Verification Engineer", "employer_name": "NVIDIA Corporation", "employer_slug": "nvidia", "location_text": "3 Locations", "country": "unknown", "employment_type": "unknown", "remote_status": "unspecified", "remote_status_source": null, "remote_status_enriched_at": null, "days_in_office": null, "timezone_overlap_hours": 3, "salary_min": null, "salary_max": null, "salary_min_source": null, "salary_max_source": null, "salary_currency": "UNSPECIFIED", "salary_type": "unknown", "salary_type_source": null, "salary_type_enriched_at": null, "salary_period": null, "base_salary_min": null, "base_salary_max": null, "salary_disclosed": false, "equity_included": true, "equity_included_source": null, "equity_type": [ "rsu", "options", "espp" ], "k401_match": "yes", "match_401k_pct": null, "match_401k_pct_source": null, "k401_match_source_url": null, "k401_match_source_fields": [ "EMPLR_CONTRIB_INCOME_AMT" ], "k401_contribution_source_url": null, "k401_contribution_source_fields": [ "EMPLR_CONTRIB_INCOME_AMT" ], "profit_sharing": false, "bonus_offered": false, "mental_health_support": null, "childcare_subsidy": null, "fertility_family_building_benefits": null, "adoption_assistance_offered": null, "surrogacy_assistance_offered": null, "student_loan_repayment_offered": null, "learning_budget_offered": null, "relocation_assistance": null, "top_startup_sources": [], "posted_at": "2026-05-12T00:00:00.000Z", "apply_url": "https://nvidia.wd5.myworkdayjobs.com/NVIDIAExternalCareerSite/job/Israel-Tel-Aviv/Senior-AI-Formal-Verification-Engineer_JR2014840", "apply_url_verified": false, "ats": "workday", "url_last_checked_alive": null, "removed_at": null, "description_excerpt": "Senior AI Formal Verification Engineer 3 Locations posted: Posted 30+ Days Ago", "parental_leave_weeks": null, "non_birth_parent_leave_weeks": null, "parental_leave_weeks_source": null, "non_birth_parent_leave_weeks_source": null, "parental_leave_source_url": null, "pto_days": null, "unlimited_pto": false, "sabbatical_eligible": false, "family_friendly_score": 40, "benefit_verified": true, "benefit_last_verified": "2026-06-13T01:18:42.546Z", "hire_states_allowed": [], "state_eligibility_source": null, "state_eligibility_enriched_at": null, "llm_quality_pass_at": null, "llm_signals_at": null, "llm_extraction_run_id": null, "llm_extraction_extracted_at": null, "llm_extraction_field_sources": { "seniority": { "field": "seniority", "source": "llm:greenfield:inv_371_postfix", "db_column": "seniority" }, "k401_match": { "source": "dol_form_5500", "source_url": null, "source_fields": [ "EMPLR_CONTRIB_INCOME_AMT" ], "source_label": "DOL Form 5500 filing" }, "equity_type": { "source": "sec_10k", "source_url": "https://www.sec.gov/Archives/edgar/data/1045810/000104581026000021/nvda-20260125.htm", "source_fields": [ "equity_offered", "equity_type" ] }, "salary_type": { "field": "salary_type", "source": "llm:greenfield:inv_371_postfix", "db_column": "salary_type" }, "role_function": { "field": "role_function", "source": "rule", "db_column": "role_function" }, "equity_included": { "source": "sec_10k", "source_url": "https://www.sec.gov/Archives/edgar/data/1045810/000104581026000021/nvda-20260125.htm", "source_fields": [ "equity_offered", "equity_type" ] }, "education_required": { "field": "education_required", "source": "llm:greenfield:inv_371_postfix", "db_column": "education_required" } }, "seniority": "senior", "seniority_source": "llm:greenfield:inv_371_postfix", "years_experience_min": 5, "years_experience_max": 9, "role_function": "data", "role_function_source": "rule", "company_stage": null, "company_stage_source": null, "employer_industry": "Technology", "employer_industry_source": "wikidata_sparql_industry", "employer_size": "5000+", "quality_score": 35, "travel_pct": null, "requires_shift": null, "shift_type": "unknown", "shift_type_source": null, "weekend_work": "unknown", "weekend_work_source": null, "relocation_assistance_source": null, "contractor_w2": "unknown", "required_timezone": null, "fertility_family_building_benefits_source": null, "mental_health_support_source": null, "adoption_assistance_offered_source": null, "childcare_subsidy_source": null, "learning_budget_offered_source": null, "surrogacy_assistance_offered_source": null, "cover_letter_required": null, "cover_letter_required_source": null, "assessment_required": null, "assessment_required_source": null, "application_deadline": null, "application_deadline_source": null, "visa_sponsorship": false, "us_citizenship_required": false, "security_clearance": "none", "education_required": "none", "roll_up_count": null, "roll_up_total_locations": null, "explanations": [ { "schema_version": "inv382.match_signal.v1", "signal_id": "sig.query.description_excerpt.e5ab603f3e650fdecd", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "8e505696cf7036154fbfe703aac26097", "signal_type": "query_match", "display_text": "Description: \"formal\"", "tooltip": "Description matched \"formal\" from your search.", "source_binding": "bm25_field_evidence", "source_field": "description_excerpt", "source_value": "Senior AI Formal Verification Engineer 3 Locations posted: Posted 30+ Days Ago", "matched_input": "formal", "derivation_source": "candidate_result.raw_match_evidence", "candidate_evidence_id": "ev:gq_08ad77e7e6c643ef20c4:8e505696cf7036154fbfe703aac26097:description:formal", "rerank_evidence_id": null, "taxonomy_alias_id": null, "oracle_verification_method": "candidate_evidence_exists", "counts_for_non_trivial_query": true, "truth_verified": true, "exact": true, "priority": 90, "mobile_priority": 1, "ui": { "icon": "Search", "tone": "match", "href": null } }, { "schema_version": "inv382.match_signal.v1", "signal_id": "sig.query.title.2b87697a862860466c", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "8e505696cf7036154fbfe703aac26097", "signal_type": "query_match", "display_text": "Title: \"formal\"", "tooltip": "Title matched \"formal\" from your search.", "source_binding": "bm25_field_evidence", "source_field": "title", "source_value": "Senior AI Formal Verification Engineer", "matched_input": "formal", "derivation_source": "candidate_result.raw_match_evidence", "candidate_evidence_id": "ev:gq_08ad77e7e6c643ef20c4:8e505696cf7036154fbfe703aac26097:title:formal", "rerank_evidence_id": null, "taxonomy_alias_id": null, "oracle_verification_method": "candidate_evidence_exists", "counts_for_non_trivial_query": true, "truth_verified": true, "exact": true, "priority": 90, "mobile_priority": 1, "ui": { "icon": "Search", "tone": "match", "href": null } }, { "schema_version": "inv382.match_signal.v1", "signal_id": "sig.semantic.title.029f5f926855a78992", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "8e505696cf7036154fbfe703aac26097", "signal_type": "query_match", "display_text": "Title: semantic match", "tooltip": "Title provided semantic evidence for your search intent.", "source_binding": "reranker_semantic_evidence", "source_field": "title", "source_value": "Senior AI Formal Verification Engineer", "matched_input": "formal", "derivation_source": "rerank_result.semantic_evidence", "candidate_evidence_id": null, "rerank_evidence_id": "rerank:2f202f47880e094bb026f27f", "taxonomy_alias_id": null, "oracle_verification_method": "reranker_evidence_exists", "counts_for_non_trivial_query": true, "truth_verified": true, "exact": false, "priority": 86, "mobile_priority": 2, "ui": { "icon": "Sparkles", "tone": "match", "href": null } }, { "schema_version": "inv382.match_signal.v1", "signal_id": "sig.query.title.f0699c98a1baadd94b", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "8e505696cf7036154fbfe703aac26097", "signal_type": "query_match", "display_text": "Title: \"formal\"", "tooltip": "Title contains \"formal\" from your search.", "source_binding": "token_match", "source_field": "title", "source_value": "Senior AI Formal Verification Engineer", "matched_input": "formal", "derivation_source": "row_field", "candidate_evidence_id": null, "rerank_evidence_id": null, "taxonomy_alias_id": null, "oracle_verification_method": "row_field_contains", "counts_for_non_trivial_query": true, "truth_verified": true, "exact": true, "priority": 80, "mobile_priority": 2, "ui": { "icon": "SearchCheck", "tone": "match", "href": null } }, { "schema_version": "inv382.match_signal.v1", "signal_id": "sig.semantic.role_function.0869eca50897618c40", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "8e505696cf7036154fbfe703aac26097", "signal_type": "query_match", "display_text": "Role: semantic match", "tooltip": "Role provided semantic evidence for your search intent.", "source_binding": "vector_semantic_evidence", "source_field": "role_function", "source_value": "data", "matched_input": "formal", "derivation_source": "candidate_result.raw_match_evidence", "candidate_evidence_id": "ev:gq_08ad77e7e6c643ef20c4:8e505696cf7036154fbfe703aac26097:vector", "rerank_evidence_id": null, "taxonomy_alias_id": null, "oracle_verification_method": "candidate_evidence_exists", "counts_for_non_trivial_query": true, "truth_verified": true, "exact": false, "priority": 74, "mobile_priority": 2, "ui": { "icon": "Sparkles", "tone": "match", "href": null } } ], "source_label": "DOL Form 5500 filing", "parental_leave_source_label": null, "k401_match_source_label": "DOL Form 5500 filing", "k401_contribution_source_label": "DOL Form 5500 filing", "apply_url_checked_at": null, "apply_url_verification_status": "not_reachable_or_not_checked", "apply_url_verification_label": "Not checked or not reachable at last crawl", "field_source_signals": { "equity_included": { "tier": "government", "verified": true, "label": "Verified - SEC 10-K", "source_label": "SEC 10-K", "href": "https://www.sec.gov/Archives/edgar/data/1045810/000104581026000021/nvda-20260125.htm", "source_values": [ "sec_10k", "https://www.sec.gov/Archives/edgar/data/1045810/000104581026000021/nvda-20260125.htm" ], "checked_at": null }, "k401_match": { "tier": "government", "verified": true, "label": "Verified - DOL Form 5500", "source_label": "DOL Form 5500", "href": null, "source_values": [ "dol_form_5500", "EMPLR_CONTRIB_INCOME_AMT" ], "checked_at": "2026-06-13T01:18:42.546Z" }, "seniority": { "tier": "posting", "verified": true, "label": "From the posting", "source_label": "the posting", "href": "https://nvidia.wd5.myworkdayjobs.com/NVIDIAExternalCareerSite/job/Israel-Tel-Aviv/Senior-AI-Formal-Verification-Engineer_JR2014840", "source_values": [ "llm:greenfield:inv_371_postfix" ], "checked_at": null }, "role_function": { "tier": "posting", "verified": true, "label": "From the posting", "source_label": "the posting", "href": "https://nvidia.wd5.myworkdayjobs.com/NVIDIAExternalCareerSite/job/Israel-Tel-Aviv/Senior-AI-Formal-Verification-Engineer_JR2014840", "source_values": [ "rule" ], "checked_at": null }, "employer_industry": { "tier": "government", "verified": true, "label": "Verified - Wikidata", "source_label": "Wikidata", "href": null, "source_values": [ "wikidata_sparql_industry" ], "checked_at": null } } }, { "id": "5dd00451cfadab8888f10cea5e504a7c", "title": "Formal Verification Engineer", "employer_name": "NVIDIA Corporation", "employer_slug": "nvidia", "location_text": "2 Locations", "country": "unknown", "employment_type": "unknown", "remote_status": "unspecified", "remote_status_source": null, "remote_status_enriched_at": null, "days_in_office": null, "timezone_overlap_hours": 3, "salary_min": null, "salary_max": null, "salary_min_source": null, "salary_max_source": null, "salary_currency": "UNSPECIFIED", "salary_type": "unknown", "salary_type_source": null, "salary_type_enriched_at": null, "salary_period": null, "base_salary_min": null, "base_salary_max": null, "salary_disclosed": false, "equity_included": true, "equity_included_source": null, "equity_type": [ "rsu", "options", "espp" ], "k401_match": "yes", "match_401k_pct": null, "match_401k_pct_source": null, "k401_match_source_url": null, "k401_match_source_fields": [ "EMPLR_CONTRIB_INCOME_AMT" ], "k401_contribution_source_url": null, "k401_contribution_source_fields": [ "EMPLR_CONTRIB_INCOME_AMT" ], "profit_sharing": false, "bonus_offered": false, "mental_health_support": null, "childcare_subsidy": null, "fertility_family_building_benefits": null, "adoption_assistance_offered": null, "surrogacy_assistance_offered": null, "student_loan_repayment_offered": null, "learning_budget_offered": null, "relocation_assistance": null, "top_startup_sources": [], "posted_at": "2026-05-12T00:00:00.000Z", "apply_url": "https://nvidia.wd5.myworkdayjobs.com/NVIDIAExternalCareerSite/job/India-Bengaluru/Formal-Verification-Engineer_JR2017178", "apply_url_verified": false, "ats": "workday", "url_last_checked_alive": null, "removed_at": null, "description_excerpt": "Formal Verification Engineer 2 Locations posted: Posted 30+ Days Ago", "parental_leave_weeks": null, "non_birth_parent_leave_weeks": null, "parental_leave_weeks_source": null, "non_birth_parent_leave_weeks_source": null, "parental_leave_source_url": null, "pto_days": null, "unlimited_pto": false, "sabbatical_eligible": false, "family_friendly_score": 40, "benefit_verified": true, "benefit_last_verified": "2026-06-13T01:18:42.546Z", "hire_states_allowed": [], "state_eligibility_source": null, "state_eligibility_enriched_at": null, "llm_quality_pass_at": null, "llm_signals_at": null, "llm_extraction_run_id": null, "llm_extraction_extracted_at": null, "llm_extraction_field_sources": { "seniority": { "field": "seniority", "source": "llm:greenfield:inv_371_postfix", "db_column": "seniority" }, "k401_match": { "source": "dol_form_5500", "source_url": null, "source_fields": [ "EMPLR_CONTRIB_INCOME_AMT" ], "source_label": "DOL Form 5500 filing" }, "equity_type": { "source": "sec_10k", "source_url": "https://www.sec.gov/Archives/edgar/data/1045810/000104581026000021/nvda-20260125.htm", "source_fields": [ "equity_offered", "equity_type" ] }, "salary_type": { "field": "salary_type", "source": "llm:greenfield:inv_371_postfix", "db_column": "salary_type" }, "role_function": { "field": "role_function", "source": "rule", "db_column": "role_function" }, "equity_included": { "source": "sec_10k", "source_url": "https://www.sec.gov/Archives/edgar/data/1045810/000104581026000021/nvda-20260125.htm", "source_fields": [ "equity_offered", "equity_type" ] }, "education_required": { "field": "education_required", "source": "llm:greenfield:inv_371_postfix", "db_column": "education_required" } }, "seniority": "mid", "seniority_source": "llm:greenfield:inv_371_postfix", "years_experience_min": 3, "years_experience_max": 7, "role_function": "data", "role_function_source": "rule", "company_stage": null, "company_stage_source": null, "employer_industry": "Technology", "employer_industry_source": "wikidata_sparql_industry", "employer_size": "5000+", "quality_score": 35, "travel_pct": null, "requires_shift": null, "shift_type": "unknown", "shift_type_source": null, "weekend_work": "unknown", "weekend_work_source": null, "relocation_assistance_source": null, "contractor_w2": "unknown", "required_timezone": null, "fertility_family_building_benefits_source": null, "mental_health_support_source": null, "adoption_assistance_offered_source": null, "childcare_subsidy_source": null, "learning_budget_offered_source": null, "surrogacy_assistance_offered_source": null, "cover_letter_required": null, "cover_letter_required_source": null, "assessment_required": null, "assessment_required_source": null, "application_deadline": null, "application_deadline_source": null, "visa_sponsorship": false, "us_citizenship_required": false, "security_clearance": "none", "education_required": "none", "roll_up_count": null, "roll_up_total_locations": null, "explanations": [ { "schema_version": "inv382.match_signal.v1", "signal_id": "sig.query.description_excerpt.6ef9d77e4fc69d7a62", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "5dd00451cfadab8888f10cea5e504a7c", "signal_type": "query_match", "display_text": "Description: \"formal\"", "tooltip": "Description matched \"formal\" from your search.", "source_binding": "bm25_field_evidence", "source_field": "description_excerpt", "source_value": "Formal Verification Engineer 2 Locations posted: Posted 30+ Days Ago", "matched_input": "formal", "derivation_source": "candidate_result.raw_match_evidence", "candidate_evidence_id": "ev:gq_08ad77e7e6c643ef20c4:5dd00451cfadab8888f10cea5e504a7c:description:formal", "rerank_evidence_id": null, "taxonomy_alias_id": null, "oracle_verification_method": "candidate_evidence_exists", "counts_for_non_trivial_query": true, "truth_verified": true, "exact": true, "priority": 90, "mobile_priority": 1, "ui": { "icon": "Search", "tone": "match", "href": null } }, { "schema_version": "inv382.match_signal.v1", "signal_id": "sig.query.title.7a6c1f3900b2f62f8a", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "5dd00451cfadab8888f10cea5e504a7c", "signal_type": "query_match", "display_text": "Title: \"formal\"", "tooltip": "Title matched \"formal\" from your search.", "source_binding": "bm25_field_evidence", "source_field": "title", "source_value": "Formal Verification Engineer", "matched_input": "formal", "derivation_source": "candidate_result.raw_match_evidence", "candidate_evidence_id": "ev:gq_08ad77e7e6c643ef20c4:5dd00451cfadab8888f10cea5e504a7c:title:formal", "rerank_evidence_id": null, "taxonomy_alias_id": null, "oracle_verification_method": "candidate_evidence_exists", "counts_for_non_trivial_query": true, "truth_verified": true, "exact": true, "priority": 90, "mobile_priority": 1, "ui": { "icon": "Search", "tone": "match", "href": null } }, { "schema_version": "inv382.match_signal.v1", "signal_id": "sig.semantic.title.5e5dcb4c03d4f30674", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "5dd00451cfadab8888f10cea5e504a7c", "signal_type": "query_match", "display_text": "Title: semantic match", "tooltip": "Title provided semantic evidence for your search intent.", "source_binding": "reranker_semantic_evidence", "source_field": "title", "source_value": "Formal Verification Engineer", "matched_input": "formal", "derivation_source": "rerank_result.semantic_evidence", "candidate_evidence_id": null, "rerank_evidence_id": "rerank:4035b23d3555d50a20901891", "taxonomy_alias_id": null, "oracle_verification_method": "reranker_evidence_exists", "counts_for_non_trivial_query": true, "truth_verified": true, "exact": false, "priority": 86, "mobile_priority": 2, "ui": { "icon": "Sparkles", "tone": "match", "href": null } }, { "schema_version": "inv382.match_signal.v1", "signal_id": "sig.query.title.68d39376a7d005c4b7", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "5dd00451cfadab8888f10cea5e504a7c", "signal_type": "query_match", "display_text": "Title: \"formal\"", "tooltip": "Title contains \"formal\" from your search.", "source_binding": "token_match", "source_field": "title", "source_value": "Formal Verification Engineer", "matched_input": "formal", "derivation_source": "row_field", "candidate_evidence_id": null, "rerank_evidence_id": null, "taxonomy_alias_id": null, "oracle_verification_method": "row_field_contains", "counts_for_non_trivial_query": true, "truth_verified": true, "exact": true, "priority": 80, "mobile_priority": 2, "ui": { "icon": "SearchCheck", "tone": "match", "href": null } }, { "schema_version": "inv382.match_signal.v1", "signal_id": "sig.semantic.role_function.261948592278ed0db5", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "5dd00451cfadab8888f10cea5e504a7c", "signal_type": "query_match", "display_text": "Role: semantic match", "tooltip": "Role provided semantic evidence for your search intent.", "source_binding": "vector_semantic_evidence", "source_field": "role_function", "source_value": "data", "matched_input": "formal", "derivation_source": "candidate_result.raw_match_evidence", "candidate_evidence_id": "ev:gq_08ad77e7e6c643ef20c4:5dd00451cfadab8888f10cea5e504a7c:vector", "rerank_evidence_id": null, "taxonomy_alias_id": null, "oracle_verification_method": "candidate_evidence_exists", "counts_for_non_trivial_query": true, "truth_verified": true, "exact": false, "priority": 74, "mobile_priority": 2, "ui": { "icon": "Sparkles", "tone": "match", "href": null } } ], "source_label": "DOL Form 5500 filing", "parental_leave_source_label": null, "k401_match_source_label": "DOL Form 5500 filing", "k401_contribution_source_label": "DOL Form 5500 filing", "apply_url_checked_at": null, "apply_url_verification_status": "not_reachable_or_not_checked", "apply_url_verification_label": "Not checked or not reachable at last crawl", "field_source_signals": { "equity_included": { "tier": "government", "verified": true, "label": "Verified - SEC 10-K", "source_label": "SEC 10-K", "href": "https://www.sec.gov/Archives/edgar/data/1045810/000104581026000021/nvda-20260125.htm", "source_values": [ "sec_10k", "https://www.sec.gov/Archives/edgar/data/1045810/000104581026000021/nvda-20260125.htm" ], "checked_at": null }, "k401_match": { "tier": "government", "verified": true, "label": "Verified - DOL Form 5500", "source_label": "DOL Form 5500", "href": null, "source_values": [ "dol_form_5500", "EMPLR_CONTRIB_INCOME_AMT" ], "checked_at": "2026-06-13T01:18:42.546Z" }, "seniority": { "tier": "posting", "verified": true, "label": "From the posting", "source_label": "the posting", "href": "https://nvidia.wd5.myworkdayjobs.com/NVIDIAExternalCareerSite/job/India-Bengaluru/Formal-Verification-Engineer_JR2017178", "source_values": [ "llm:greenfield:inv_371_postfix" ], "checked_at": null }, "role_function": { "tier": "posting", "verified": true, "label": "From the posting", "source_label": "the posting", "href": "https://nvidia.wd5.myworkdayjobs.com/NVIDIAExternalCareerSite/job/India-Bengaluru/Formal-Verification-Engineer_JR2017178", "source_values": [ "rule" ], "checked_at": null }, "employer_industry": { "tier": "government", "verified": true, "label": "Verified - Wikidata", "source_label": "Wikidata", "href": null, "source_values": [ "wikidata_sparql_industry" ], "checked_at": null } } }, { "id": "1bb747bf096c3c8cbf38c4eeb2373e45", "title": "Senior Formal Verification Engineer - LPU", "employer_name": "NVIDIA Corporation", "employer_slug": "nvidia", "location_text": "6 Locations", "country": "unknown", "employment_type": "unknown", "remote_status": "unspecified", "remote_status_source": null, "remote_status_enriched_at": null, "days_in_office": null, "timezone_overlap_hours": 3, "salary_min": null, "salary_max": null, "salary_min_source": null, "salary_max_source": null, "salary_currency": "UNSPECIFIED", "salary_type": "unknown", "salary_type_source": null, "salary_type_enriched_at": null, "salary_period": null, "base_salary_min": null, "base_salary_max": null, "salary_disclosed": false, "equity_included": true, "equity_included_source": null, "equity_type": [ "rsu", "options", "espp" ], "k401_match": "yes", "match_401k_pct": null, "match_401k_pct_source": null, "k401_match_source_url": null, "k401_match_source_fields": [ "EMPLR_CONTRIB_INCOME_AMT" ], "k401_contribution_source_url": null, "k401_contribution_source_fields": [ "EMPLR_CONTRIB_INCOME_AMT" ], "profit_sharing": false, "bonus_offered": false, "mental_health_support": null, "childcare_subsidy": null, "fertility_family_building_benefits": null, "adoption_assistance_offered": null, "surrogacy_assistance_offered": null, "student_loan_repayment_offered": null, "learning_budget_offered": null, "relocation_assistance": null, "top_startup_sources": [], "posted_at": "2026-05-26T00:00:00.000Z", "apply_url": "https://nvidia.wd5.myworkdayjobs.com/NVIDIAExternalCareerSite/job/US-CA-Remote/Senior-Formal-Verification-Engineer---LPU_JR2016647", "apply_url_verified": false, "ats": "workday", "url_last_checked_alive": null, "removed_at": null, "description_excerpt": "Senior Formal Verification Engineer - LPU 6 Locations posted: Posted 17 Days Ago", "parental_leave_weeks": null, "non_birth_parent_leave_weeks": null, "parental_leave_weeks_source": null, "non_birth_parent_leave_weeks_source": null, "parental_leave_source_url": null, "pto_days": null, "unlimited_pto": false, "sabbatical_eligible": false, "family_friendly_score": 40, "benefit_verified": true, "benefit_last_verified": "2026-06-13T01:18:42.546Z", "hire_states_allowed": [], "state_eligibility_source": null, "state_eligibility_enriched_at": null, "llm_quality_pass_at": null, "llm_signals_at": null, "llm_extraction_run_id": null, "llm_extraction_extracted_at": null, "llm_extraction_field_sources": { "seniority": { "field": "seniority", "source": "llm:greenfield:inv_371_postfix", "db_column": "seniority" }, "k401_match": { "source": "dol_form_5500", "source_url": null, "source_fields": [ "EMPLR_CONTRIB_INCOME_AMT" ], "source_label": "DOL Form 5500 filing" }, "equity_type": { "source": "sec_10k", "source_url": "https://www.sec.gov/Archives/edgar/data/1045810/000104581026000021/nvda-20260125.htm", "source_fields": [ "equity_offered", "equity_type" ] }, "salary_type": { "field": "salary_type", "source": "llm:greenfield:inv_371_postfix", "db_column": "salary_type" }, "role_function": { "field": "role_function", "source": "rule", "db_column": "role_function" }, "equity_included": { "source": "sec_10k", "source_url": "https://www.sec.gov/Archives/edgar/data/1045810/000104581026000021/nvda-20260125.htm", "source_fields": [ "equity_offered", "equity_type" ] }, "education_required": { "field": "education_required", "source": "llm:greenfield:inv_371_postfix", "db_column": "education_required" } }, "seniority": "senior", "seniority_source": "llm:greenfield:inv_371_postfix", "years_experience_min": 5, "years_experience_max": 9, "role_function": "data", "role_function_source": "rule", "company_stage": null, "company_stage_source": null, "employer_industry": "Technology", "employer_industry_source": "wikidata_sparql_industry", "employer_size": "5000+", "quality_score": 35, "travel_pct": null, "requires_shift": null, "shift_type": "unknown", "shift_type_source": null, "weekend_work": "unknown", "weekend_work_source": null, "relocation_assistance_source": null, "contractor_w2": "unknown", "required_timezone": null, "fertility_family_building_benefits_source": null, "mental_health_support_source": null, "adoption_assistance_offered_source": null, "childcare_subsidy_source": null, "learning_budget_offered_source": null, "surrogacy_assistance_offered_source": null, "cover_letter_required": null, "cover_letter_required_source": null, "assessment_required": null, "assessment_required_source": null, "application_deadline": null, "application_deadline_source": null, "visa_sponsorship": false, "us_citizenship_required": false, "security_clearance": "none", "education_required": "none", "roll_up_count": null, "roll_up_total_locations": null, "explanations": [ { "schema_version": "inv382.match_signal.v1", "signal_id": "sig.query.description_excerpt.f6e63f45a5ce9b6299", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "1bb747bf096c3c8cbf38c4eeb2373e45", "signal_type": "query_match", "display_text": "Description: \"formal\"", "tooltip": "Description matched \"formal\" from your search.", "source_binding": "bm25_field_evidence", "source_field": "description_excerpt", "source_value": "Senior Formal Verification Engineer - LPU 6 Locations posted: Posted 17 Days Ago", "matched_input": "formal", "derivation_source": "candidate_result.raw_match_evidence", "candidate_evidence_id": "ev:gq_08ad77e7e6c643ef20c4:1bb747bf096c3c8cbf38c4eeb2373e45:description:formal", "rerank_evidence_id": null, "taxonomy_alias_id": null, "oracle_verification_method": "candidate_evidence_exists", "counts_for_non_trivial_query": true, "truth_verified": true, "exact": true, "priority": 90, "mobile_priority": 1, "ui": { "icon": "Search", "tone": "match", "href": null } }, { "schema_version": "inv382.match_signal.v1", "signal_id": "sig.query.title.0b587bf0c7ccdf508a", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "1bb747bf096c3c8cbf38c4eeb2373e45", "signal_type": "query_match", "display_text": "Title: \"formal\"", "tooltip": "Title matched \"formal\" from your search.", "source_binding": "bm25_field_evidence", "source_field": "title", "source_value": "Senior Formal Verification Engineer - LPU", "matched_input": "formal", "derivation_source": "candidate_result.raw_match_evidence", "candidate_evidence_id": "ev:gq_08ad77e7e6c643ef20c4:1bb747bf096c3c8cbf38c4eeb2373e45:title:formal", "rerank_evidence_id": null, "taxonomy_alias_id": null, "oracle_verification_method": "candidate_evidence_exists", "counts_for_non_trivial_query": true, "truth_verified": true, "exact": true, "priority": 90, "mobile_priority": 1, "ui": { "icon": "Search", "tone": "match", "href": null } }, { "schema_version": "inv382.match_signal.v1", "signal_id": "sig.semantic.title.1b914a40da6b26df4f", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "1bb747bf096c3c8cbf38c4eeb2373e45", "signal_type": "query_match", "display_text": "Title: semantic match", "tooltip": "Title provided semantic evidence for your search intent.", "source_binding": "reranker_semantic_evidence", "source_field": "title", "source_value": "Senior Formal Verification Engineer - LPU", "matched_input": "formal", "derivation_source": "rerank_result.semantic_evidence", "candidate_evidence_id": null, "rerank_evidence_id": "rerank:02d2add415d445f25093c9cf", "taxonomy_alias_id": null, "oracle_verification_method": "reranker_evidence_exists", "counts_for_non_trivial_query": true, "truth_verified": true, "exact": false, "priority": 86, "mobile_priority": 2, "ui": { "icon": "Sparkles", "tone": "match", "href": null } }, { "schema_version": "inv382.match_signal.v1", "signal_id": "sig.query.title.f8a743d21b89e335f2", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "1bb747bf096c3c8cbf38c4eeb2373e45", "signal_type": "query_match", "display_text": "Title: \"formal\"", "tooltip": "Title contains \"formal\" from your search.", "source_binding": "token_match", "source_field": "title", "source_value": "Senior Formal Verification Engineer - LPU", "matched_input": "formal", "derivation_source": "row_field", "candidate_evidence_id": null, "rerank_evidence_id": null, "taxonomy_alias_id": null, "oracle_verification_method": "row_field_contains", "counts_for_non_trivial_query": true, "truth_verified": true, "exact": true, "priority": 80, "mobile_priority": 2, "ui": { "icon": "SearchCheck", "tone": "match", "href": null } }, { "schema_version": "inv382.match_signal.v1", "signal_id": "sig.semantic.role_function.f9fa558cc5cd4ad0c9", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "1bb747bf096c3c8cbf38c4eeb2373e45", "signal_type": "query_match", "display_text": "Role: semantic match", "tooltip": "Role provided semantic evidence for your search intent.", "source_binding": "vector_semantic_evidence", "source_field": "role_function", "source_value": "data", "matched_input": "formal", "derivation_source": "candidate_result.raw_match_evidence", "candidate_evidence_id": "ev:gq_08ad77e7e6c643ef20c4:1bb747bf096c3c8cbf38c4eeb2373e45:vector", "rerank_evidence_id": null, "taxonomy_alias_id": null, "oracle_verification_method": "candidate_evidence_exists", "counts_for_non_trivial_query": true, "truth_verified": true, "exact": false, "priority": 74, "mobile_priority": 2, "ui": { "icon": "Sparkles", "tone": "match", "href": null } } ], "source_label": "DOL Form 5500 filing", "parental_leave_source_label": null, "k401_match_source_label": "DOL Form 5500 filing", "k401_contribution_source_label": "DOL Form 5500 filing", "apply_url_checked_at": null, "apply_url_verification_status": "not_reachable_or_not_checked", "apply_url_verification_label": "Not checked or not reachable at last crawl", "field_source_signals": { "equity_included": { "tier": "government", "verified": true, "label": "Verified - SEC 10-K", "source_label": "SEC 10-K", "href": "https://www.sec.gov/Archives/edgar/data/1045810/000104581026000021/nvda-20260125.htm", "source_values": [ "sec_10k", "https://www.sec.gov/Archives/edgar/data/1045810/000104581026000021/nvda-20260125.htm" ], "checked_at": null }, "k401_match": { "tier": "government", "verified": true, "label": "Verified - DOL Form 5500", "source_label": "DOL Form 5500", "href": null, "source_values": [ "dol_form_5500", "EMPLR_CONTRIB_INCOME_AMT" ], "checked_at": "2026-06-13T01:18:42.546Z" }, "seniority": { "tier": "posting", "verified": true, "label": "From the posting", "source_label": "the posting", "href": "https://nvidia.wd5.myworkdayjobs.com/NVIDIAExternalCareerSite/job/US-CA-Remote/Senior-Formal-Verification-Engineer---LPU_JR2016647", "source_values": [ "llm:greenfield:inv_371_postfix" ], "checked_at": null }, "role_function": { "tier": "posting", "verified": true, "label": "From the posting", "source_label": "the posting", "href": "https://nvidia.wd5.myworkdayjobs.com/NVIDIAExternalCareerSite/job/US-CA-Remote/Senior-Formal-Verification-Engineer---LPU_JR2016647", "source_values": [ "rule" ], "checked_at": null }, "employer_industry": { "tier": "government", "verified": true, "label": "Verified - Wikidata", "source_label": "Wikidata", "href": null, "source_values": [ "wikidata_sparql_industry" ], "checked_at": null } } }, { "id": "3dfc75f77626d4a6b832bff64f88c194", "title": "Senior Formal Verification Engineer – AI SoC Development", "employer_name": "Intel", "employer_slug": "intel", "location_text": "4 Locations", "country": "unknown", "employment_type": "unknown", "remote_status": "unspecified", "remote_status_source": null, "remote_status_enriched_at": null, "days_in_office": null, "timezone_overlap_hours": 3, "salary_min": null, "salary_max": null, "salary_min_source": null, "salary_max_source": null, "salary_currency": "UNSPECIFIED", "salary_type": "unknown", "salary_type_source": null, "salary_type_enriched_at": null, "salary_period": null, "base_salary_min": null, "base_salary_max": null, "salary_disclosed": false, "equity_included": true, "equity_included_source": null, "equity_type": [ "rsu", "options", "espp" ], "k401_match": "yes", "match_401k_pct": null, "match_401k_pct_source": null, "k401_match_source_url": null, "k401_match_source_fields": [ "EMPLR_CONTRIB_INCOME_AMT" ], "k401_contribution_source_url": null, "k401_contribution_source_fields": [ "EMPLR_CONTRIB_INCOME_AMT" ], "profit_sharing": false, "bonus_offered": false, "mental_health_support": null, "childcare_subsidy": null, "fertility_family_building_benefits": null, "adoption_assistance_offered": null, "surrogacy_assistance_offered": null, "student_loan_repayment_offered": null, "learning_budget_offered": null, "relocation_assistance": null, "top_startup_sources": [], "posted_at": "2026-05-12T00:00:00.000Z", "apply_url": "https://intel.wd1.myworkdayjobs.com/External/job/US-California-Folsom/Senior-Formal-Verification-Engineer---AI-SoC-Development_JR0279196", "apply_url_verified": false, "ats": "workday", "url_last_checked_alive": null, "removed_at": null, "description_excerpt": "Senior Formal Verification Engineer – AI SoC Development 4 Locations posted: Posted 30+ Days Ago", "parental_leave_weeks": null, "non_birth_parent_leave_weeks": null, "parental_leave_weeks_source": null, "non_birth_parent_leave_weeks_source": null, "parental_leave_source_url": null, "pto_days": null, "unlimited_pto": false, "sabbatical_eligible": false, "family_friendly_score": 40, "benefit_verified": true, "benefit_last_verified": "2026-06-13T01:18:42.546Z", "hire_states_allowed": [], "state_eligibility_source": null, "state_eligibility_enriched_at": null, "llm_quality_pass_at": null, "llm_signals_at": null, "llm_extraction_run_id": null, "llm_extraction_extracted_at": null, "llm_extraction_field_sources": { "seniority": { "field": "seniority", "source": "llm:greenfield:inv_371_postfix", "db_column": "seniority" }, "k401_match": { "source": "dol_form_5500", "source_url": null, "source_fields": [ "EMPLR_CONTRIB_INCOME_AMT" ], "source_label": "DOL Form 5500 filing" }, "equity_type": { "source": "sec_10k", "source_url": "https://www.sec.gov/Archives/edgar/data/50863/000005086326000011/intc-20251227.htm", "source_fields": [ "equity_offered", "equity_type" ] }, "salary_type": { "field": "salary_type", "source": "llm:greenfield:inv_371_postfix", "db_column": "salary_type" }, "role_function": { "field": "role_function", "source": "rule", "db_column": "role_function" }, "equity_included": { "source": "sec_10k", "source_url": "https://www.sec.gov/Archives/edgar/data/50863/000005086326000011/intc-20251227.htm", "source_fields": [ "equity_offered", "equity_type" ] }, "education_required": { "field": "education_required", "source": "llm:greenfield:inv_371_postfix", "db_column": "education_required" } }, "seniority": "senior", "seniority_source": "llm:greenfield:inv_371_postfix", "years_experience_min": 5, "years_experience_max": 9, "role_function": "data", "role_function_source": "rule", "company_stage": null, "company_stage_source": null, "employer_industry": "Technology", "employer_industry_source": "wikidata_sparql_industry", "employer_size": "5000+", "quality_score": 35, "travel_pct": null, "requires_shift": null, "shift_type": "unknown", "shift_type_source": null, "weekend_work": "unknown", "weekend_work_source": null, "relocation_assistance_source": null, "contractor_w2": "unknown", "required_timezone": null, "fertility_family_building_benefits_source": null, "mental_health_support_source": null, "adoption_assistance_offered_source": null, "childcare_subsidy_source": null, "learning_budget_offered_source": null, "surrogacy_assistance_offered_source": null, "cover_letter_required": null, "cover_letter_required_source": null, "assessment_required": null, "assessment_required_source": null, "application_deadline": null, "application_deadline_source": null, "visa_sponsorship": false, "us_citizenship_required": false, "security_clearance": "none", "education_required": "none", "roll_up_count": null, "roll_up_total_locations": null, "explanations": [ { "schema_version": "inv382.match_signal.v1", "signal_id": "sig.query.description_excerpt.c03838288b5520abca", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "3dfc75f77626d4a6b832bff64f88c194", "signal_type": "query_match", "display_text": "Description: \"formal\"", "tooltip": "Description matched \"formal\" from your search.", "source_binding": "bm25_field_evidence", "source_field": "description_excerpt", "source_value": "Senior Formal Verification Engineer – AI SoC Development 4 Locations posted: Posted 30+ Days Ago", "matched_input": "formal", "derivation_source": "candidate_result.raw_match_evidence", "candidate_evidence_id": "ev:gq_08ad77e7e6c643ef20c4:3dfc75f77626d4a6b832bff64f88c194:description:formal", "rerank_evidence_id": null, "taxonomy_alias_id": null, "oracle_verification_method": "candidate_evidence_exists", "counts_for_non_trivial_query": true, "truth_verified": true, "exact": true, "priority": 90, "mobile_priority": 1, "ui": { "icon": "Search", "tone": "match", "href": null } }, { "schema_version": "inv382.match_signal.v1", "signal_id": "sig.query.title.00fcb3c225138bf0cb", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "3dfc75f77626d4a6b832bff64f88c194", "signal_type": "query_match", "display_text": "Title: \"formal\"", "tooltip": "Title matched \"formal\" from your search.", "source_binding": "bm25_field_evidence", "source_field": "title", "source_value": "Senior Formal Verification Engineer – AI SoC Development", "matched_input": "formal", "derivation_source": "candidate_result.raw_match_evidence", "candidate_evidence_id": "ev:gq_08ad77e7e6c643ef20c4:3dfc75f77626d4a6b832bff64f88c194:title:formal", "rerank_evidence_id": null, "taxonomy_alias_id": null, "oracle_verification_method": "candidate_evidence_exists", "counts_for_non_trivial_query": true, "truth_verified": true, "exact": true, "priority": 90, "mobile_priority": 1, "ui": { "icon": "Search", "tone": "match", "href": null } }, { "schema_version": "inv382.match_signal.v1", "signal_id": "sig.semantic.title.585bc8597f8858bf5d", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "3dfc75f77626d4a6b832bff64f88c194", "signal_type": "query_match", "display_text": "Title: semantic match", "tooltip": "Title provided semantic evidence for your search intent.", "source_binding": "reranker_semantic_evidence", "source_field": "title", "source_value": "Senior Formal Verification Engineer – AI SoC Development", "matched_input": "formal", "derivation_source": "rerank_result.semantic_evidence", "candidate_evidence_id": null, "rerank_evidence_id": "rerank:b54ce6e42808161d2eb6b58b", "taxonomy_alias_id": null, "oracle_verification_method": "reranker_evidence_exists", "counts_for_non_trivial_query": true, "truth_verified": true, "exact": false, "priority": 86, "mobile_priority": 2, "ui": { "icon": "Sparkles", "tone": "match", "href": null } }, { "schema_version": "inv382.match_signal.v1", "signal_id": "sig.query.title.20e1af32303090e273", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "3dfc75f77626d4a6b832bff64f88c194", "signal_type": "query_match", "display_text": "Title: \"formal\"", "tooltip": "Title contains \"formal\" from your search.", "source_binding": "token_match", "source_field": "title", "source_value": "Senior Formal Verification Engineer – AI SoC Development", "matched_input": "formal", "derivation_source": "row_field", "candidate_evidence_id": null, "rerank_evidence_id": null, "taxonomy_alias_id": null, "oracle_verification_method": "row_field_contains", "counts_for_non_trivial_query": true, "truth_verified": true, "exact": true, "priority": 80, "mobile_priority": 2, "ui": { "icon": "SearchCheck", "tone": "match", "href": null } }, { "schema_version": "inv382.match_signal.v1", "signal_id": "sig.semantic.role_function.4cbcd0d712e69cf688", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "3dfc75f77626d4a6b832bff64f88c194", "signal_type": "query_match", "display_text": "Role: semantic match", "tooltip": "Role provided semantic evidence for your search intent.", "source_binding": "vector_semantic_evidence", "source_field": "role_function", "source_value": "data", "matched_input": "formal", "derivation_source": "candidate_result.raw_match_evidence", "candidate_evidence_id": "ev:gq_08ad77e7e6c643ef20c4:3dfc75f77626d4a6b832bff64f88c194:vector", "rerank_evidence_id": null, "taxonomy_alias_id": null, "oracle_verification_method": "candidate_evidence_exists", "counts_for_non_trivial_query": true, "truth_verified": true, "exact": false, "priority": 74, "mobile_priority": 2, "ui": { "icon": "Sparkles", "tone": "match", "href": null } } ], "source_label": "DOL Form 5500 filing", "parental_leave_source_label": null, "k401_match_source_label": "DOL Form 5500 filing", "k401_contribution_source_label": "DOL Form 5500 filing", "apply_url_checked_at": null, "apply_url_verification_status": "not_reachable_or_not_checked", "apply_url_verification_label": "Not checked or not reachable at last crawl", "field_source_signals": { "equity_included": { "tier": "government", "verified": true, "label": "Verified - SEC 10-K", "source_label": "SEC 10-K", "href": "https://www.sec.gov/Archives/edgar/data/50863/000005086326000011/intc-20251227.htm", "source_values": [ "sec_10k", "https://www.sec.gov/Archives/edgar/data/50863/000005086326000011/intc-20251227.htm" ], "checked_at": null }, "k401_match": { "tier": "government", "verified": true, "label": "Verified - DOL Form 5500", "source_label": "DOL Form 5500", "href": null, "source_values": [ "dol_form_5500", "EMPLR_CONTRIB_INCOME_AMT" ], "checked_at": "2026-06-13T01:18:42.546Z" }, "seniority": { "tier": "posting", "verified": true, "label": "From the posting", "source_label": "the posting", "href": "https://intel.wd1.myworkdayjobs.com/External/job/US-California-Folsom/Senior-Formal-Verification-Engineer---AI-SoC-Development_JR0279196", "source_values": [ "llm:greenfield:inv_371_postfix" ], "checked_at": null }, "role_function": { "tier": "posting", "verified": true, "label": "From the posting", "source_label": "the posting", "href": "https://intel.wd1.myworkdayjobs.com/External/job/US-California-Folsom/Senior-Formal-Verification-Engineer---AI-SoC-Development_JR0279196", "source_values": [ "rule" ], "checked_at": null }, "employer_industry": { "tier": "government", "verified": true, "label": "Verified - Wikidata", "source_label": "Wikidata", "href": null, "source_values": [ "wikidata_sparql_industry" ], "checked_at": null } } }, { "id": "bd6f1dfcc4d298ec0f5e01711db3d62c", "title": "Senior Principal Jasper Formal Verification AE", "employer_name": "Cadence Design Systems, Inc.", "employer_slug": "cadence-design-systems", "location_text": "2 Locations", "country": "unknown", "employment_type": "unknown", "remote_status": "unspecified", "remote_status_source": null, "remote_status_enriched_at": null, "days_in_office": null, "timezone_overlap_hours": 3, "salary_min": null, "salary_max": null, "salary_min_source": null, "salary_max_source": null, "salary_currency": "UNSPECIFIED", "salary_type": "unknown", "salary_type_source": null, "salary_type_enriched_at": null, "salary_period": null, "base_salary_min": null, "base_salary_max": null, "salary_disclosed": false, "equity_included": true, "equity_included_source": null, "equity_type": [ "rsu", "options", "espp" ], "k401_match": "yes", "match_401k_pct": null, "match_401k_pct_source": null, "k401_match_source_url": null, "k401_match_source_fields": [ "EMPLR_CONTRIB_INCOME_AMT" ], "k401_contribution_source_url": null, "k401_contribution_source_fields": [ "EMPLR_CONTRIB_INCOME_AMT" ], "profit_sharing": false, "bonus_offered": false, "mental_health_support": null, "childcare_subsidy": null, "fertility_family_building_benefits": null, "adoption_assistance_offered": null, "surrogacy_assistance_offered": null, "student_loan_repayment_offered": null, "learning_budget_offered": null, "relocation_assistance": null, "top_startup_sources": [], "posted_at": "2026-05-27T00:00:00.000Z", "apply_url": "https://cadence.wd1.myworkdayjobs.com/External_Careers/job/BOSTON-01/Jasper-Formal-Verification---Sr-Principal-Application-Engineer_R54482", "apply_url_verified": false, "ats": "workday", "url_last_checked_alive": null, "removed_at": null, "description_excerpt": "Senior Principal Jasper Formal Verification AE 2 Locations posted: Posted 16 Days Ago", "parental_leave_weeks": null, "non_birth_parent_leave_weeks": null, "parental_leave_weeks_source": null, "non_birth_parent_leave_weeks_source": null, "parental_leave_source_url": null, "pto_days": null, "unlimited_pto": false, "sabbatical_eligible": false, "family_friendly_score": 40, "benefit_verified": true, "benefit_last_verified": "2026-06-07T00:00:00Z", "hire_states_allowed": [], "state_eligibility_source": null, "state_eligibility_enriched_at": null, "llm_quality_pass_at": null, "llm_signals_at": null, "llm_extraction_run_id": null, "llm_extraction_extracted_at": null, "llm_extraction_field_sources": { "seniority": { "field": "seniority", "source": "llm:greenfield:inv_371_postfix", "db_column": "seniority" }, "k401_match": { "source": "dol_form_5500", "source_url": null, "source_fields": [ "EMPLR_CONTRIB_INCOME_AMT" ], "source_label": "DOL Form 5500 filing" }, "equity_type": { "source": "sec_10k", "source_url": "https://www.sec.gov/Archives/edgar/data/813672/000081367226000016/cdns-20251231.htm", "source_fields": [ "equity_offered", "equity_type" ] }, "salary_type": { "field": "salary_type", "source": "llm:greenfield:inv_371_postfix", "db_column": "salary_type" }, "equity_included": { "source": "sec_10k", "source_url": "https://www.sec.gov/Archives/edgar/data/813672/000081367226000016/cdns-20251231.htm", "source_fields": [ "equity_offered", "equity_type" ] }, "education_required": { "field": "education_required", "source": "llm:greenfield:inv_371_postfix", "db_column": "education_required" } }, "seniority": "staff_plus", "seniority_source": "llm:greenfield:inv_371_postfix", "years_experience_min": 8, "years_experience_max": 12, "role_function": "other", "role_function_source": "unknown", "company_stage": null, "company_stage_source": null, "employer_industry": "Technology", "employer_industry_source": "wikidata_sparql_industry", "employer_size": "5000+", "quality_score": 35, "travel_pct": null, "requires_shift": null, "shift_type": "unknown", "shift_type_source": null, "weekend_work": "unknown", "weekend_work_source": null, "relocation_assistance_source": null, "contractor_w2": "unknown", "required_timezone": null, "fertility_family_building_benefits_source": null, "mental_health_support_source": null, "adoption_assistance_offered_source": null, "childcare_subsidy_source": null, "learning_budget_offered_source": null, "surrogacy_assistance_offered_source": null, "cover_letter_required": null, "cover_letter_required_source": null, "assessment_required": null, "assessment_required_source": null, "application_deadline": null, "application_deadline_source": null, "visa_sponsorship": false, "us_citizenship_required": false, "security_clearance": "none", "education_required": "none", "roll_up_count": null, "roll_up_total_locations": null, "explanations": [ { "schema_version": "inv382.match_signal.v1", "signal_id": "sig.query.description_excerpt.ebdd0c02e9ff5130d1", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "bd6f1dfcc4d298ec0f5e01711db3d62c", "signal_type": "query_match", "display_text": "Description: \"formal\"", "tooltip": "Description matched \"formal\" from your search.", "source_binding": "bm25_field_evidence", "source_field": "description_excerpt", "source_value": "Senior Principal Jasper Formal Verification AE 2 Locations posted: Posted 16 Days Ago", "matched_input": "formal", "derivation_source": "candidate_result.raw_match_evidence", "candidate_evidence_id": "ev:gq_08ad77e7e6c643ef20c4:bd6f1dfcc4d298ec0f5e01711db3d62c:description:formal", "rerank_evidence_id": null, "taxonomy_alias_id": null, "oracle_verification_method": "candidate_evidence_exists", "counts_for_non_trivial_query": true, "truth_verified": true, "exact": true, "priority": 90, "mobile_priority": 1, "ui": { "icon": "Search", "tone": "match", "href": null } }, { "schema_version": "inv382.match_signal.v1", "signal_id": "sig.query.title.40f7d32e814794faf5", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "bd6f1dfcc4d298ec0f5e01711db3d62c", "signal_type": "query_match", "display_text": "Title: \"formal\"", "tooltip": "Title matched \"formal\" from your search.", "source_binding": "bm25_field_evidence", "source_field": "title", "source_value": "Senior Principal Jasper Formal Verification AE", "matched_input": "formal", "derivation_source": "candidate_result.raw_match_evidence", "candidate_evidence_id": "ev:gq_08ad77e7e6c643ef20c4:bd6f1dfcc4d298ec0f5e01711db3d62c:title:formal", "rerank_evidence_id": null, "taxonomy_alias_id": null, "oracle_verification_method": "candidate_evidence_exists", "counts_for_non_trivial_query": true, "truth_verified": true, "exact": true, "priority": 90, "mobile_priority": 1, "ui": { "icon": "Search", "tone": "match", "href": null } }, { "schema_version": "inv382.match_signal.v1", "signal_id": "sig.semantic.title.b433149c032192c62a", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "bd6f1dfcc4d298ec0f5e01711db3d62c", "signal_type": "query_match", "display_text": "Title: semantic match", "tooltip": "Title provided semantic evidence for your search intent.", "source_binding": "reranker_semantic_evidence", "source_field": "title", "source_value": "Senior Principal Jasper Formal Verification AE", "matched_input": "formal", "derivation_source": "rerank_result.semantic_evidence", "candidate_evidence_id": null, "rerank_evidence_id": "rerank:e89bcec6f954ddf7c943a069", "taxonomy_alias_id": null, "oracle_verification_method": "reranker_evidence_exists", "counts_for_non_trivial_query": true, "truth_verified": true, "exact": false, "priority": 86, "mobile_priority": 2, "ui": { "icon": "Sparkles", "tone": "match", "href": null } }, { "schema_version": "inv382.match_signal.v1", "signal_id": "sig.query.title.842a4821832c06d545", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "bd6f1dfcc4d298ec0f5e01711db3d62c", "signal_type": "query_match", "display_text": "Title: \"formal\"", "tooltip": "Title contains \"formal\" from your search.", "source_binding": "token_match", "source_field": "title", "source_value": "Senior Principal Jasper Formal Verification AE", "matched_input": "formal", "derivation_source": "row_field", "candidate_evidence_id": null, "rerank_evidence_id": null, "taxonomy_alias_id": null, "oracle_verification_method": "row_field_contains", "counts_for_non_trivial_query": true, "truth_verified": true, "exact": true, "priority": 80, "mobile_priority": 2, "ui": { "icon": "SearchCheck", "tone": "match", "href": null } }, { "schema_version": "inv382.match_signal.v1", "signal_id": "sig.semantic.role_function.0f79d1a7a85b9ef85a", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "bd6f1dfcc4d298ec0f5e01711db3d62c", "signal_type": "query_match", "display_text": "Role: semantic match", "tooltip": "Role provided semantic evidence for your search intent.", "source_binding": "vector_semantic_evidence", "source_field": "role_function", "source_value": "other", "matched_input": "formal", "derivation_source": "candidate_result.raw_match_evidence", "candidate_evidence_id": "ev:gq_08ad77e7e6c643ef20c4:bd6f1dfcc4d298ec0f5e01711db3d62c:vector", "rerank_evidence_id": null, "taxonomy_alias_id": null, "oracle_verification_method": "candidate_evidence_exists", "counts_for_non_trivial_query": true, "truth_verified": true, "exact": false, "priority": 74, "mobile_priority": 2, "ui": { "icon": "Sparkles", "tone": "match", "href": null } } ], "source_label": "DOL Form 5500 filing", "parental_leave_source_label": null, "k401_match_source_label": "DOL Form 5500 filing", "k401_contribution_source_label": "DOL Form 5500 filing", "apply_url_checked_at": null, "apply_url_verification_status": "not_reachable_or_not_checked", "apply_url_verification_label": "Not checked or not reachable at last crawl", "field_source_signals": { "equity_included": { "tier": "government", "verified": true, "label": "Verified - SEC 10-K", "source_label": "SEC 10-K", "href": "https://www.sec.gov/Archives/edgar/data/813672/000081367226000016/cdns-20251231.htm", "source_values": [ "sec_10k", "https://www.sec.gov/Archives/edgar/data/813672/000081367226000016/cdns-20251231.htm" ], "checked_at": null }, "k401_match": { "tier": "government", "verified": true, "label": "Verified - DOL Form 5500", "source_label": "DOL Form 5500", "href": null, "source_values": [ "dol_form_5500", "EMPLR_CONTRIB_INCOME_AMT" ], "checked_at": "2026-06-07T00:00:00Z" }, "seniority": { "tier": "posting", "verified": true, "label": "From the posting", "source_label": "the posting", "href": "https://cadence.wd1.myworkdayjobs.com/External_Careers/job/BOSTON-01/Jasper-Formal-Verification---Sr-Principal-Application-Engineer_R54482", "source_values": [ "llm:greenfield:inv_371_postfix" ], "checked_at": null }, "employer_industry": { "tier": "government", "verified": true, "label": "Verified - Wikidata", "source_label": "Wikidata", "href": null, "source_values": [ "wikidata_sparql_industry" ], "checked_at": null } } }, { "id": "62dfa58e4ce6ed39febcde37326e5525", "title": "Software Engineer | Backend", "employer_name": "Formal", "employer_slug": "formal", "location_text": "San Francisco", "country": "US", "employment_type": "unknown", "remote_status": "unspecified", "remote_status_source": null, "remote_status_enriched_at": null, "days_in_office": null, "timezone_overlap_hours": 6, "salary_min": null, "salary_max": null, "salary_min_source": null, "salary_max_source": null, "salary_currency": "UNSPECIFIED", "salary_type": "unknown", "salary_type_source": null, "salary_type_enriched_at": null, "salary_period": null, "base_salary_min": null, "base_salary_max": null, "salary_disclosed": false, "equity_included": false, "equity_included_source": null, "equity_type": [ "none" ], "k401_match": null, "match_401k_pct": null, "match_401k_pct_source": null, "k401_match_source_url": null, "k401_match_source_fields": [], "k401_contribution_source_url": null, "k401_contribution_source_fields": [], "profit_sharing": false, "bonus_offered": false, "mental_health_support": null, "childcare_subsidy": null, "fertility_family_building_benefits": null, "adoption_assistance_offered": null, "surrogacy_assistance_offered": null, "student_loan_repayment_offered": null, "learning_budget_offered": null, "relocation_assistance": null, "top_startup_sources": [ "yc" ], "posted_at": "2026-06-10T03:52:15.000Z", "apply_url": "https://jobs.ashbyhq.com/formal/478897bd-5c4a-44ae-84bc-afc5d8ac1ac7", "apply_url_verified": false, "ats": "ashby", "url_last_checked_alive": null, "removed_at": null, "description_excerpt": "Software Engineer | Backend San Francisco ABOUT FORMAL Formal is data security platform designed to help teams understand and control their data on autopilot. We're building a modern protocol-aware reverse-proxy for datastores and APIs that helps organizations understand their data in real-time. This allows teams to see how sensitive data is stored, consumed, and used in order to enforce least privilege through masking, filtering, or anonymization policies. We are trusted by leading companies such as Ramp http://Ramp.com, Gusto http://Gusto.com, Notion http://Notion.com to solve problems across data security and compliance, data quality management, and infrastructure access. Formal is backed by top-tiers VCs including Thrive Capital and Y Combinator with angel investors that include executives and founders from Datadog, Clickhouse, Plaid, and Vanta. ABOUT THE ROLE Formal is on a mission to build the best engineering team and we're looking for people who want to make outsized impact on shaping the product and building the company. Our ideal candidate has a deep understanding of building scalable backend systems, a strong sense of ownership, and enjoys owning projects from inception to scaling it in production. Our tech stack currently involves Golang, Rust, Temporal, Datastore protocols (Postgres, S3, Kafka, MySQL, Snowflake, Redshift, SSH), and AWS WHAT YOU'LL DO - Design and develop a high performance data platform that can handle large volumes of data in real-time - Build new product features from start to finish through to research, implementation, and maintenance - Help improve performance and reliability of net new and existing features -", "parental_leave_weeks": null, "non_birth_parent_leave_weeks": null, "parental_leave_weeks_source": null, "non_birth_parent_leave_weeks_source": null, "parental_leave_source_url": null, "pto_days": null, "unlimited_pto": false, "sabbatical_eligible": false, "family_friendly_score": 43, "benefit_verified": false, "benefit_last_verified": null, "hire_states_allowed": [], "state_eligibility_source": null, "state_eligibility_enriched_at": null, "llm_quality_pass_at": null, "llm_signals_at": "2026-06-20T05:42:05.724Z", "llm_extraction_run_id": "postfix_final_004037", "llm_extraction_extracted_at": null, "llm_extraction_field_sources": { "seniority": { "field": "seniority", "source": "llm:greenfield:inv_371_postfix", "db_column": "seniority" }, "tech_stack": { "field": "tech_stack", "source": "llm:greenfield:inv_371_postfix", "db_column": "tech_stack" }, "role_family": { "field": "role_family", "source": "llm:greenfield:inv_371_postfix", "db_column": "role_family" }, "salary_type": { "field": "salary_type", "source": "llm:greenfield:inv_371_postfix", "db_column": "salary_type" }, "company_stage": { "field": "company_stage", "source": "llm:greenfield:inv_371_postfix", "db_column": "company_stage" }, "customer_type": { "field": "customer_type", "source": "llm:greenfield:inv_371_postfix", "db_column": "customer_type" }, "role_function": { "field": "role_function", "source": "llm:greenfield:inv_371_postfix", "db_column": "role_function" }, "education_required": { "field": "education_required", "source": "llm:greenfield:inv_371_postfix", "db_column": "education_required" } }, "seniority": "mid", "seniority_source": "llm:greenfield:inv_371_postfix", "years_experience_min": 3, "years_experience_max": 7, "role_function": "engineering", "role_function_source": "llm:greenfield:inv_371_postfix", "company_stage": "seed", "company_stage_source": "llm:greenfield:inv_371_postfix", "employer_industry": null, "employer_industry_source": null, "employer_size": "51-200", "quality_score": 45, "travel_pct": null, "requires_shift": null, "shift_type": "unknown", "shift_type_source": null, "weekend_work": "unknown", "weekend_work_source": null, "relocation_assistance_source": null, "contractor_w2": "unknown", "required_timezone": null, "fertility_family_building_benefits_source": null, "mental_health_support_source": null, "adoption_assistance_offered_source": null, "childcare_subsidy_source": null, "learning_budget_offered_source": null, "surrogacy_assistance_offered_source": null, "cover_letter_required": null, "cover_letter_required_source": null, "assessment_required": null, "assessment_required_source": null, "application_deadline": null, "application_deadline_source": null, "visa_sponsorship": false, "us_citizenship_required": false, "security_clearance": "none", "education_required": "none", "roll_up_count": null, "roll_up_total_locations": null, "explanations": [ { "schema_version": "inv382.match_signal.v1", "signal_id": "sig.query.employer_name.b5f37cf1d5fed93310", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "62dfa58e4ce6ed39febcde37326e5525", "signal_type": "query_match", "display_text": "Employer: \"formal\"", "tooltip": "Employer contains \"formal\" from your search.", "source_binding": "token_match", "source_field": "employer_name", "source_value": "Formal", "matched_input": "formal", "derivation_source": "row_field", "candidate_evidence_id": null, "rerank_evidence_id": null, "taxonomy_alias_id": null, "oracle_verification_method": "row_field_contains", "counts_for_non_trivial_query": true, "truth_verified": true, "exact": true, "priority": 80, "mobile_priority": 2, "ui": { "icon": "SearchCheck", "tone": "match", "href": null } }, { "schema_version": "inv382.match_signal.v1", "signal_id": "sig.semantic.role_function.3ad721a16df299e1f6", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "62dfa58e4ce6ed39febcde37326e5525", "signal_type": "query_match", "display_text": "Role: semantic match", "tooltip": "Role provided semantic evidence for your search intent.", "source_binding": "vector_semantic_evidence", "source_field": "role_function", "source_value": "engineering", "matched_input": "formal", "derivation_source": "candidate_result.raw_match_evidence", "candidate_evidence_id": "ev:gq_08ad77e7e6c643ef20c4:62dfa58e4ce6ed39febcde37326e5525:vector", "rerank_evidence_id": null, "taxonomy_alias_id": null, "oracle_verification_method": "candidate_evidence_exists", "counts_for_non_trivial_query": true, "truth_verified": true, "exact": false, "priority": 74, "mobile_priority": 2, "ui": { "icon": "Sparkles", "tone": "match", "href": null } } ], "parental_leave_source_label": null, "k401_match_source_label": null, "k401_contribution_source_label": null, "apply_url_checked_at": null, "apply_url_verification_status": "not_reachable_or_not_checked", "apply_url_verification_label": "Not checked or not reachable at last crawl", "field_source_signals": { "equity_included": { "tier": "inferred", "verified": false, "label": "Inferred - source not recorded", "source_label": "source not recorded", "href": null, "source_values": [], "checked_at": "2026-06-20T05:42:05.724Z" }, "seniority": { "tier": "posting", "verified": true, "label": "From the posting", "source_label": "the posting", "href": "https://jobs.ashbyhq.com/formal/478897bd-5c4a-44ae-84bc-afc5d8ac1ac7", "source_values": [ "llm:greenfield:inv_371_postfix" ], "checked_at": "2026-06-20T05:42:05.724Z" }, "role_function": { "tier": "posting", "verified": true, "label": "From the posting", "source_label": "the posting", "href": "https://jobs.ashbyhq.com/formal/478897bd-5c4a-44ae-84bc-afc5d8ac1ac7", "source_values": [ "llm:greenfield:inv_371_postfix" ], "checked_at": "2026-06-20T05:42:05.724Z" }, "company_stage": { "tier": "posting", "verified": true, "label": "From the posting", "source_label": "the posting", "href": "https://jobs.ashbyhq.com/formal/478897bd-5c4a-44ae-84bc-afc5d8ac1ac7", "source_values": [ "llm:greenfield:inv_371_postfix" ], "checked_at": "2026-06-20T05:42:05.724Z" } } }, { "id": "1b01eab0906a3dda1d63ba3f439e177b", "title": "CPU Formal Verification Lead", "employer_name": "Intel", "employer_slug": "intel", "location_text": "India, Bangalore", "country": "IN", "employment_type": "unknown", "remote_status": "unspecified", "remote_status_source": null, "remote_status_enriched_at": null, "days_in_office": null, "timezone_overlap_hours": 3, "salary_min": null, "salary_max": null, "salary_min_source": null, "salary_max_source": null, "salary_currency": "UNSPECIFIED", "salary_type": "unknown", "salary_type_source": null, "salary_type_enriched_at": null, "salary_period": null, "base_salary_min": null, "base_salary_max": null, "salary_disclosed": false, "equity_included": true, "equity_included_source": null, "equity_type": [ "rsu", "options", "espp" ], "k401_match": "yes", "match_401k_pct": null, "match_401k_pct_source": null, "k401_match_source_url": null, "k401_match_source_fields": [ "EMPLR_CONTRIB_INCOME_AMT" ], "k401_contribution_source_url": null, "k401_contribution_source_fields": [ "EMPLR_CONTRIB_INCOME_AMT" ], "profit_sharing": false, "bonus_offered": false, "mental_health_support": null, "childcare_subsidy": null, "fertility_family_building_benefits": null, "adoption_assistance_offered": null, "surrogacy_assistance_offered": null, "student_loan_repayment_offered": null, "learning_budget_offered": null, "relocation_assistance": null, "top_startup_sources": [], "posted_at": "2026-05-12T00:00:00.000Z", "apply_url": "https://intel.wd1.myworkdayjobs.com/External/job/India-Bangalore/CPU-Formal-Verification-Lead_JR0281746", "apply_url_verified": false, "ats": "workday", "url_last_checked_alive": null, "removed_at": null, "description_excerpt": "CPU Formal Verification Lead India, Bangalore posted: Posted 30+ Days Ago", "parental_leave_weeks": null, "non_birth_parent_leave_weeks": null, "parental_leave_weeks_source": null, "non_birth_parent_leave_weeks_source": null, "parental_leave_source_url": null, "pto_days": null, "unlimited_pto": false, "sabbatical_eligible": false, "family_friendly_score": 40, "benefit_verified": true, "benefit_last_verified": "2026-06-13T01:18:42.546Z", "hire_states_allowed": [], "state_eligibility_source": null, "state_eligibility_enriched_at": null, "llm_quality_pass_at": null, "llm_signals_at": null, "llm_extraction_run_id": null, "llm_extraction_extracted_at": null, "llm_extraction_field_sources": { "seniority": { "field": "seniority", "source": "llm:greenfield:inv_371_postfix", "db_column": "seniority" }, "k401_match": { "source": "dol_form_5500", "source_url": null, "source_fields": [ "EMPLR_CONTRIB_INCOME_AMT" ], "source_label": "DOL Form 5500 filing" }, "equity_type": { "source": "sec_10k", "source_url": "https://www.sec.gov/Archives/edgar/data/50863/000005086326000011/intc-20251227.htm", "source_fields": [ "equity_offered", "equity_type" ] }, "salary_type": { "field": "salary_type", "source": "llm:greenfield:inv_371_postfix", "db_column": "salary_type" }, "equity_included": { "source": "sec_10k", "source_url": "https://www.sec.gov/Archives/edgar/data/50863/000005086326000011/intc-20251227.htm", "source_fields": [ "equity_offered", "equity_type" ] }, "education_required": { "field": "education_required", "source": "llm:greenfield:inv_371_postfix", "db_column": "education_required" } }, "seniority": "senior", "seniority_source": "llm:greenfield:inv_371_postfix", "years_experience_min": 5, "years_experience_max": 9, "role_function": "other", "role_function_source": "unknown", "company_stage": null, "company_stage_source": null, "employer_industry": "Technology", "employer_industry_source": "wikidata_sparql_industry", "employer_size": "5000+", "quality_score": 35, "travel_pct": null, "requires_shift": null, "shift_type": "unknown", "shift_type_source": null, "weekend_work": "unknown", "weekend_work_source": null, "relocation_assistance_source": null, "contractor_w2": "unknown", "required_timezone": null, "fertility_family_building_benefits_source": null, "mental_health_support_source": null, "adoption_assistance_offered_source": null, "childcare_subsidy_source": null, "learning_budget_offered_source": null, "surrogacy_assistance_offered_source": null, "cover_letter_required": null, "cover_letter_required_source": null, "assessment_required": null, "assessment_required_source": null, "application_deadline": null, "application_deadline_source": null, "visa_sponsorship": false, "us_citizenship_required": false, "security_clearance": "none", "education_required": "none", "roll_up_count": null, "roll_up_total_locations": null, "explanations": [ { "schema_version": "inv382.match_signal.v1", "signal_id": "sig.query.description_excerpt.3871f91a8e09676d1d", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "1b01eab0906a3dda1d63ba3f439e177b", "signal_type": "query_match", "display_text": "Description: \"formal\"", "tooltip": "Description matched \"formal\" from your search.", "source_binding": "bm25_field_evidence", "source_field": "description_excerpt", "source_value": "CPU Formal Verification Lead India, Bangalore posted: Posted 30+ Days Ago", "matched_input": "formal", "derivation_source": "candidate_result.raw_match_evidence", "candidate_evidence_id": "ev:gq_08ad77e7e6c643ef20c4:1b01eab0906a3dda1d63ba3f439e177b:description:formal", "rerank_evidence_id": null, "taxonomy_alias_id": null, "oracle_verification_method": "candidate_evidence_exists", "counts_for_non_trivial_query": true, "truth_verified": true, "exact": true, "priority": 90, "mobile_priority": 1, "ui": { "icon": "Search", "tone": "match", "href": null } }, { "schema_version": "inv382.match_signal.v1", "signal_id": "sig.query.title.68bbf6d20330aea17e", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "1b01eab0906a3dda1d63ba3f439e177b", "signal_type": "query_match", "display_text": "Title: \"formal\"", "tooltip": "Title matched \"formal\" from your search.", "source_binding": "bm25_field_evidence", "source_field": "title", "source_value": "CPU Formal Verification Lead", "matched_input": "formal", "derivation_source": "candidate_result.raw_match_evidence", "candidate_evidence_id": "ev:gq_08ad77e7e6c643ef20c4:1b01eab0906a3dda1d63ba3f439e177b:title:formal", "rerank_evidence_id": null, "taxonomy_alias_id": null, "oracle_verification_method": "candidate_evidence_exists", "counts_for_non_trivial_query": true, "truth_verified": true, "exact": true, "priority": 90, "mobile_priority": 1, "ui": { "icon": "Search", "tone": "match", "href": null } }, { "schema_version": "inv382.match_signal.v1", "signal_id": "sig.query.title.a4c509158d06e176ed", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "1b01eab0906a3dda1d63ba3f439e177b", "signal_type": "query_match", "display_text": "Title: \"formal\"", "tooltip": "Title contains \"formal\" from your search.", "source_binding": "token_match", "source_field": "title", "source_value": "CPU Formal Verification Lead", "matched_input": "formal", "derivation_source": "row_field", "candidate_evidence_id": null, "rerank_evidence_id": null, "taxonomy_alias_id": null, "oracle_verification_method": "row_field_contains", "counts_for_non_trivial_query": true, "truth_verified": true, "exact": true, "priority": 80, "mobile_priority": 2, "ui": { "icon": "SearchCheck", "tone": "match", "href": null } } ], "source_label": "DOL Form 5500 filing", "parental_leave_source_label": null, "k401_match_source_label": "DOL Form 5500 filing", "k401_contribution_source_label": "DOL Form 5500 filing", "apply_url_checked_at": null, "apply_url_verification_status": "not_reachable_or_not_checked", "apply_url_verification_label": "Not checked or not reachable at last crawl", "field_source_signals": { "equity_included": { "tier": "government", "verified": true, "label": "Verified - SEC 10-K", "source_label": "SEC 10-K", "href": "https://www.sec.gov/Archives/edgar/data/50863/000005086326000011/intc-20251227.htm", "source_values": [ "sec_10k", "https://www.sec.gov/Archives/edgar/data/50863/000005086326000011/intc-20251227.htm" ], "checked_at": null }, "k401_match": { "tier": "government", "verified": true, "label": "Verified - DOL Form 5500", "source_label": "DOL Form 5500", "href": null, "source_values": [ "dol_form_5500", "EMPLR_CONTRIB_INCOME_AMT" ], "checked_at": "2026-06-13T01:18:42.546Z" }, "seniority": { "tier": "posting", "verified": true, "label": "From the posting", "source_label": "the posting", "href": "https://intel.wd1.myworkdayjobs.com/External/job/India-Bangalore/CPU-Formal-Verification-Lead_JR0281746", "source_values": [ "llm:greenfield:inv_371_postfix" ], "checked_at": null }, "employer_industry": { "tier": "government", "verified": true, "label": "Verified - Wikidata", "source_label": "Wikidata", "href": null, "source_values": [ "wikidata_sparql_industry" ], "checked_at": null } } }, { "id": "24d2656d34c199927e008c1fab66ec18", "title": "FVCTO - Formal Verification Specialist", "employer_name": "Intel", "employer_slug": "intel", "location_text": "India, Bangalore", "country": "IN", "employment_type": "unknown", "remote_status": "unspecified", "remote_status_source": null, "remote_status_enriched_at": null, "days_in_office": null, "timezone_overlap_hours": 3, "salary_min": null, "salary_max": null, "salary_min_source": null, "salary_max_source": null, "salary_currency": "UNSPECIFIED", "salary_type": "unknown", "salary_type_source": null, "salary_type_enriched_at": null, "salary_period": null, "base_salary_min": null, "base_salary_max": null, "salary_disclosed": false, "equity_included": true, "equity_included_source": null, "equity_type": [ "rsu", "options", "espp" ], "k401_match": "yes", "match_401k_pct": null, "match_401k_pct_source": null, "k401_match_source_url": null, "k401_match_source_fields": [ "EMPLR_CONTRIB_INCOME_AMT" ], "k401_contribution_source_url": null, "k401_contribution_source_fields": [ "EMPLR_CONTRIB_INCOME_AMT" ], "profit_sharing": false, "bonus_offered": false, "mental_health_support": null, "childcare_subsidy": null, "fertility_family_building_benefits": null, "adoption_assistance_offered": null, "surrogacy_assistance_offered": null, "student_loan_repayment_offered": null, "learning_budget_offered": null, "relocation_assistance": null, "top_startup_sources": [], "posted_at": "2026-05-12T00:00:00.000Z", "apply_url": "https://intel.wd1.myworkdayjobs.com/External/job/India-Bangalore/FVCTO---Formal-Verification-Specialist_JR0279625", "apply_url_verified": false, "ats": "workday", "url_last_checked_alive": null, "removed_at": null, "description_excerpt": "FVCTO - Formal Verification Specialist India, Bangalore posted: Posted 30+ Days Ago", "parental_leave_weeks": null, "non_birth_parent_leave_weeks": null, "parental_leave_weeks_source": null, "non_birth_parent_leave_weeks_source": null, "parental_leave_source_url": null, "pto_days": null, "unlimited_pto": false, "sabbatical_eligible": false, "family_friendly_score": 40, "benefit_verified": true, "benefit_last_verified": "2026-06-13T01:18:42.546Z", "hire_states_allowed": [], "state_eligibility_source": null, "state_eligibility_enriched_at": null, "llm_quality_pass_at": null, "llm_signals_at": null, "llm_extraction_run_id": null, "llm_extraction_extracted_at": null, "llm_extraction_field_sources": { "seniority": { "field": "seniority", "source": "llm:greenfield:inv_371_postfix", "db_column": "seniority" }, "k401_match": { "source": "dol_form_5500", "source_url": null, "source_fields": [ "EMPLR_CONTRIB_INCOME_AMT" ], "source_label": "DOL Form 5500 filing" }, "equity_type": { "source": "sec_10k", "source_url": "https://www.sec.gov/Archives/edgar/data/50863/000005086326000011/intc-20251227.htm", "source_fields": [ "equity_offered", "equity_type" ] }, "salary_type": { "field": "salary_type", "source": "llm:greenfield:inv_371_postfix", "db_column": "salary_type" }, "equity_included": { "source": "sec_10k", "source_url": "https://www.sec.gov/Archives/edgar/data/50863/000005086326000011/intc-20251227.htm", "source_fields": [ "equity_offered", "equity_type" ] }, "education_required": { "field": "education_required", "source": "llm:greenfield:inv_371_postfix", "db_column": "education_required" } }, "seniority": "mid", "seniority_source": "llm:greenfield:inv_371_postfix", "years_experience_min": 3, "years_experience_max": 7, "role_function": "other", "role_function_source": "unknown", "company_stage": null, "company_stage_source": null, "employer_industry": "Technology", "employer_industry_source": "wikidata_sparql_industry", "employer_size": "5000+", "quality_score": 35, "travel_pct": null, "requires_shift": null, "shift_type": "unknown", "shift_type_source": null, "weekend_work": "unknown", "weekend_work_source": null, "relocation_assistance_source": null, "contractor_w2": "unknown", "required_timezone": null, "fertility_family_building_benefits_source": null, "mental_health_support_source": null, "adoption_assistance_offered_source": null, "childcare_subsidy_source": null, "learning_budget_offered_source": null, "surrogacy_assistance_offered_source": null, "cover_letter_required": null, "cover_letter_required_source": null, "assessment_required": null, "assessment_required_source": null, "application_deadline": null, "application_deadline_source": null, "visa_sponsorship": false, "us_citizenship_required": false, "security_clearance": "none", "education_required": "none", "roll_up_count": null, "roll_up_total_locations": null, "explanations": [ { "schema_version": "inv382.match_signal.v1", "signal_id": "sig.query.description_excerpt.490518d006a1753fca", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "24d2656d34c199927e008c1fab66ec18", "signal_type": "query_match", "display_text": "Description: \"formal\"", "tooltip": "Description matched \"formal\" from your search.", "source_binding": "bm25_field_evidence", "source_field": "description_excerpt", "source_value": "FVCTO - Formal Verification Specialist India, Bangalore posted: Posted 30+ Days Ago", "matched_input": "formal", "derivation_source": "candidate_result.raw_match_evidence", "candidate_evidence_id": "ev:gq_08ad77e7e6c643ef20c4:24d2656d34c199927e008c1fab66ec18:description:formal", "rerank_evidence_id": null, "taxonomy_alias_id": null, "oracle_verification_method": "candidate_evidence_exists", "counts_for_non_trivial_query": true, "truth_verified": true, "exact": true, "priority": 90, "mobile_priority": 1, "ui": { "icon": "Search", "tone": "match", "href": null } }, { "schema_version": "inv382.match_signal.v1", "signal_id": "sig.query.title.1888ffb40dadaddef2", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "24d2656d34c199927e008c1fab66ec18", "signal_type": "query_match", "display_text": "Title: \"formal\"", "tooltip": "Title matched \"formal\" from your search.", "source_binding": "bm25_field_evidence", "source_field": "title", "source_value": "FVCTO - Formal Verification Specialist", "matched_input": "formal", "derivation_source": "candidate_result.raw_match_evidence", "candidate_evidence_id": "ev:gq_08ad77e7e6c643ef20c4:24d2656d34c199927e008c1fab66ec18:title:formal", "rerank_evidence_id": null, "taxonomy_alias_id": null, "oracle_verification_method": "candidate_evidence_exists", "counts_for_non_trivial_query": true, "truth_verified": true, "exact": true, "priority": 90, "mobile_priority": 1, "ui": { "icon": "Search", "tone": "match", "href": null } }, { "schema_version": "inv382.match_signal.v1", "signal_id": "sig.query.title.2a0a46120ebdda2fc5", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "24d2656d34c199927e008c1fab66ec18", "signal_type": "query_match", "display_text": "Title: \"formal\"", "tooltip": "Title contains \"formal\" from your search.", "source_binding": "token_match", "source_field": "title", "source_value": "FVCTO - Formal Verification Specialist", "matched_input": "formal", "derivation_source": "row_field", "candidate_evidence_id": null, "rerank_evidence_id": null, "taxonomy_alias_id": null, "oracle_verification_method": "row_field_contains", "counts_for_non_trivial_query": true, "truth_verified": true, "exact": true, "priority": 80, "mobile_priority": 2, "ui": { "icon": "SearchCheck", "tone": "match", "href": null } } ], "source_label": "DOL Form 5500 filing", "parental_leave_source_label": null, "k401_match_source_label": "DOL Form 5500 filing", "k401_contribution_source_label": "DOL Form 5500 filing", "apply_url_checked_at": null, "apply_url_verification_status": "not_reachable_or_not_checked", "apply_url_verification_label": "Not checked or not reachable at last crawl", "field_source_signals": { "equity_included": { "tier": "government", "verified": true, "label": "Verified - SEC 10-K", "source_label": "SEC 10-K", "href": "https://www.sec.gov/Archives/edgar/data/50863/000005086326000011/intc-20251227.htm", "source_values": [ "sec_10k", "https://www.sec.gov/Archives/edgar/data/50863/000005086326000011/intc-20251227.htm" ], "checked_at": null }, "k401_match": { "tier": "government", "verified": true, "label": "Verified - DOL Form 5500", "source_label": "DOL Form 5500", "href": null, "source_values": [ "dol_form_5500", "EMPLR_CONTRIB_INCOME_AMT" ], "checked_at": "2026-06-13T01:18:42.546Z" }, "seniority": { "tier": "posting", "verified": true, "label": "From the posting", "source_label": "the posting", "href": "https://intel.wd1.myworkdayjobs.com/External/job/India-Bangalore/FVCTO---Formal-Verification-Specialist_JR0279625", "source_values": [ "llm:greenfield:inv_371_postfix" ], "checked_at": null }, "employer_industry": { "tier": "government", "verified": true, "label": "Verified - Wikidata", "source_label": "Wikidata", "href": null, "source_values": [ "wikidata_sparql_industry" ], "checked_at": null } } }, { "id": "5655e2d3d1ff0040d33b1a2f04908e95", "title": "Account Executive", "employer_name": "Formal", "employer_slug": "formal", "location_text": "San Francisco", "country": "US", "employment_type": "unknown", "remote_status": "unspecified", "remote_status_source": null, "remote_status_enriched_at": null, "days_in_office": null, "timezone_overlap_hours": 6, "salary_min": null, "salary_max": null, "salary_min_source": null, "salary_max_source": null, "salary_currency": "UNSPECIFIED", "salary_type": "unknown", "salary_type_source": null, "salary_type_enriched_at": null, "salary_period": null, "base_salary_min": null, "base_salary_max": null, "salary_disclosed": false, "equity_included": false, "equity_included_source": null, "equity_type": [ "none" ], "k401_match": null, "match_401k_pct": null, "match_401k_pct_source": null, "k401_match_source_url": null, "k401_match_source_fields": [], "k401_contribution_source_url": null, "k401_contribution_source_fields": [], "profit_sharing": false, "bonus_offered": false, "mental_health_support": null, "childcare_subsidy": null, "fertility_family_building_benefits": null, "adoption_assistance_offered": null, "surrogacy_assistance_offered": null, "student_loan_repayment_offered": null, "learning_budget_offered": null, "relocation_assistance": null, "top_startup_sources": [ "yc" ], "posted_at": "2026-06-10T03:52:15.000Z", "apply_url": "https://jobs.ashbyhq.com/formal/411783ef-c2dd-45bb-86c9-e27cc9ea89dc", "apply_url_verified": false, "ats": "ashby", "url_last_checked_alive": null, "removed_at": null, "description_excerpt": "Account Executive San Francisco ABOUT FORMAL Formal is data security platform designed to help teams understand and control their data on autopilot. We're building a modern protocol-aware reverse-proxy for datastores and APIs that helps organizations understand their data in real-time. This allows teams to see how sensitive data is stored, consumed, and used in order to enforce least privilege through masking, filtering, or anonymization policies. We are trusted by leading companies such as Ramp http://Ramp.com, Gusto http://Gusto.com, Notion http://Notion.com to solve problems across data security and compliance, data quality management, and infrastructure access. Formal is backed by top-tiers VCs including Thrive Capital and Y Combinator with angel investors that include executives and founders from Datadog, Clickhouse, Plaid, and Vanta. ABOUT THE ROLE We're looking for account executives who want to roll up their sleeves and help close deals and develop our go-to-market motion. You'll need to iterate on positioning, lead generation, and closing processes. We're looking for people to develop our GTM strategy and close key customer accounts as they build the sales process. WHAT YOU'LL DO - Generate leads through cold calling, research, networking, and driving your territory - Manage and convert inbound leads to drive revenue growth - Develop and implement full sales cycle strategies for driving product adoption, net new product sales, and client retention at scale among existing Formal customers - Collaborate with internal teams to ensure customer satisfaction and successful onboarding - Track and report on sales performance metrics - Gather client feedback to inform", "parental_leave_weeks": null, "non_birth_parent_leave_weeks": null, "parental_leave_weeks_source": null, "non_birth_parent_leave_weeks_source": null, "parental_leave_source_url": null, "pto_days": null, "unlimited_pto": false, "sabbatical_eligible": false, "family_friendly_score": 43, "benefit_verified": false, "benefit_last_verified": null, "hire_states_allowed": [], "state_eligibility_source": null, "state_eligibility_enriched_at": null, "llm_quality_pass_at": null, "llm_signals_at": "2026-06-20T05:42:05.724Z", "llm_extraction_run_id": "postfix_final_004037", "llm_extraction_extracted_at": null, "llm_extraction_field_sources": { "seniority": { "field": "seniority", "source": "llm:greenfield:inv_371_postfix", "db_column": "seniority" }, "role_family": { "field": "role_family", "source": "llm:greenfield:inv_371_postfix", "db_column": "role_family" }, "salary_type": { "field": "salary_type", "source": "llm:greenfield:inv_371_postfix", "db_column": "salary_type" }, "company_stage": { "field": "company_stage", "source": "llm:greenfield:inv_371_postfix", "db_column": "company_stage" }, "customer_type": { "field": "customer_type", "source": "llm:greenfield:inv_371_postfix", "db_column": "customer_type" }, "role_function": { "field": "role_function", "source": "llm:greenfield:inv_371_postfix", "db_column": "role_function" }, "education_required": { "field": "education_required", "source": "llm:greenfield:inv_371_postfix", "db_column": "education_required" } }, "seniority": "mid", "seniority_source": "llm:greenfield:inv_371_postfix", "years_experience_min": 3, "years_experience_max": 7, "role_function": "sales", "role_function_source": "llm:greenfield:inv_371_postfix", "company_stage": "seed", "company_stage_source": "llm:greenfield:inv_371_postfix", "employer_industry": null, "employer_industry_source": null, "employer_size": "51-200", "quality_score": 45, "travel_pct": null, "requires_shift": null, "shift_type": "unknown", "shift_type_source": null, "weekend_work": "unknown", "weekend_work_source": null, "relocation_assistance_source": null, "contractor_w2": "unknown", "required_timezone": null, "fertility_family_building_benefits_source": null, "mental_health_support_source": null, "adoption_assistance_offered_source": null, "childcare_subsidy_source": null, "learning_budget_offered_source": null, "surrogacy_assistance_offered_source": null, "cover_letter_required": null, "cover_letter_required_source": null, "assessment_required": null, "assessment_required_source": null, "application_deadline": null, "application_deadline_source": null, "visa_sponsorship": false, "us_citizenship_required": false, "security_clearance": "none", "education_required": "none", "roll_up_count": null, "roll_up_total_locations": null, "explanations": [ { "schema_version": "inv382.match_signal.v1", "signal_id": "sig.query.employer_name.b9dcac9430d5e87d11", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "5655e2d3d1ff0040d33b1a2f04908e95", "signal_type": "query_match", "display_text": "Employer: \"formal\"", "tooltip": "Employer contains \"formal\" from your search.", "source_binding": "token_match", "source_field": "employer_name", "source_value": "Formal", "matched_input": "formal", "derivation_source": "row_field", "candidate_evidence_id": null, "rerank_evidence_id": null, "taxonomy_alias_id": null, "oracle_verification_method": "row_field_contains", "counts_for_non_trivial_query": true, "truth_verified": true, "exact": true, "priority": 80, "mobile_priority": 2, "ui": { "icon": "SearchCheck", "tone": "match", "href": null } }, { "schema_version": "inv382.match_signal.v1", "signal_id": "sig.semantic.role_function.954132ebba6c79d222", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "5655e2d3d1ff0040d33b1a2f04908e95", "signal_type": "query_match", "display_text": "Role: semantic match", "tooltip": "Role provided semantic evidence for your search intent.", "source_binding": "vector_semantic_evidence", "source_field": "role_function", "source_value": "sales", "matched_input": "formal", "derivation_source": "candidate_result.raw_match_evidence", "candidate_evidence_id": "ev:gq_08ad77e7e6c643ef20c4:5655e2d3d1ff0040d33b1a2f04908e95:vector", "rerank_evidence_id": null, "taxonomy_alias_id": null, "oracle_verification_method": "candidate_evidence_exists", "counts_for_non_trivial_query": true, "truth_verified": true, "exact": false, "priority": 74, "mobile_priority": 2, "ui": { "icon": "Sparkles", "tone": "match", "href": null } } ], "parental_leave_source_label": null, "k401_match_source_label": null, "k401_contribution_source_label": null, "apply_url_checked_at": null, "apply_url_verification_status": "not_reachable_or_not_checked", "apply_url_verification_label": "Not checked or not reachable at last crawl", "field_source_signals": { "equity_included": { "tier": "inferred", "verified": false, "label": "Inferred - source not recorded", "source_label": "source not recorded", "href": null, "source_values": [], "checked_at": "2026-06-20T05:42:05.724Z" }, "seniority": { "tier": "posting", "verified": true, "label": "From the posting", "source_label": "the posting", "href": "https://jobs.ashbyhq.com/formal/411783ef-c2dd-45bb-86c9-e27cc9ea89dc", "source_values": [ "llm:greenfield:inv_371_postfix" ], "checked_at": "2026-06-20T05:42:05.724Z" }, "role_function": { "tier": "posting", "verified": true, "label": "From the posting", "source_label": "the posting", "href": "https://jobs.ashbyhq.com/formal/411783ef-c2dd-45bb-86c9-e27cc9ea89dc", "source_values": [ "llm:greenfield:inv_371_postfix" ], "checked_at": "2026-06-20T05:42:05.724Z" }, "company_stage": { "tier": "posting", "verified": true, "label": "From the posting", "source_label": "the posting", "href": "https://jobs.ashbyhq.com/formal/411783ef-c2dd-45bb-86c9-e27cc9ea89dc", "source_values": [ "llm:greenfield:inv_371_postfix" ], "checked_at": "2026-06-20T05:42:05.724Z" } } }, { "id": "140735ba159356abdda8604b6b783268", "title": "SOC Formal Verification Engineer, HBM", "employer_name": "Micron Technology, Inc.", "employer_slug": "micron-technology", "location_text": "Richardson, TX", "country": "US", "employment_type": "unknown", "remote_status": "unspecified", "remote_status_source": null, "remote_status_enriched_at": null, "days_in_office": null, "timezone_overlap_hours": 6, "salary_min": null, "salary_max": null, "salary_min_source": null, "salary_max_source": null, "salary_currency": "UNSPECIFIED", "salary_type": "unknown", "salary_type_source": null, "salary_type_enriched_at": null, "salary_period": null, "base_salary_min": null, "base_salary_max": null, "salary_disclosed": false, "equity_included": true, "equity_included_source": null, "equity_type": [ "rsu", "options", "espp" ], "k401_match": "yes", "match_401k_pct": null, "match_401k_pct_source": null, "k401_match_source_url": null, "k401_match_source_fields": [ "EMPLR_CONTRIB_INCOME_AMT" ], "k401_contribution_source_url": null, "k401_contribution_source_fields": [ "EMPLR_CONTRIB_INCOME_AMT" ], "profit_sharing": false, "bonus_offered": false, "mental_health_support": null, "childcare_subsidy": null, "fertility_family_building_benefits": null, "adoption_assistance_offered": null, "surrogacy_assistance_offered": null, "student_loan_repayment_offered": null, "learning_budget_offered": null, "relocation_assistance": null, "top_startup_sources": [], "posted_at": "2026-05-21T00:00:00.000Z", "apply_url": "https://micron.wd1.myworkdayjobs.com/External/job/Richardson-TX/SOC-Formal-Verification-Engineer--HBM_JR102414", "apply_url_verified": false, "ats": "workday", "url_last_checked_alive": null, "removed_at": null, "description_excerpt": "SOC Formal Verification Engineer, HBM Richardson, TX posted: Posted 22 Days Ago", "parental_leave_weeks": null, "non_birth_parent_leave_weeks": null, "parental_leave_weeks_source": null, "non_birth_parent_leave_weeks_source": null, "parental_leave_source_url": null, "pto_days": null, "unlimited_pto": false, "sabbatical_eligible": false, "family_friendly_score": 40, "benefit_verified": true, "benefit_last_verified": "2026-06-07T00:00:00Z", "hire_states_allowed": [], "state_eligibility_source": null, "state_eligibility_enriched_at": null, "llm_quality_pass_at": null, "llm_signals_at": null, "llm_extraction_run_id": null, "llm_extraction_extracted_at": null, "llm_extraction_field_sources": { "seniority": { "field": "seniority", "source": "llm:greenfield:inv_371_postfix", "db_column": "seniority" }, "k401_match": { "source": "dol_form_5500", "source_url": null, "source_fields": [ "EMPLR_CONTRIB_INCOME_AMT" ], "source_label": "DOL Form 5500 filing" }, "equity_type": { "source": "sec_10k", "source_url": "https://www.sec.gov/Archives/edgar/data/723125/000072312525000028/mu-20250828.htm", "source_fields": [ "equity_offered", "equity_type" ] }, "salary_type": { "field": "salary_type", "source": "llm:greenfield:inv_371_postfix", "db_column": "salary_type" }, "role_function": { "field": "role_function", "source": "rule", "db_column": "role_function" }, "equity_included": { "source": "sec_10k", "source_url": "https://www.sec.gov/Archives/edgar/data/723125/000072312525000028/mu-20250828.htm", "source_fields": [ "equity_offered", "equity_type" ] }, "education_required": { "field": "education_required", "source": "llm:greenfield:inv_371_postfix", "db_column": "education_required" } }, "seniority": "mid", "seniority_source": "llm:greenfield:inv_371_postfix", "years_experience_min": 3, "years_experience_max": 7, "role_function": "data", "role_function_source": "rule", "company_stage": null, "company_stage_source": null, "employer_industry": "Technology", "employer_industry_source": "source_sector", "employer_size": "5000+", "quality_score": 35, "travel_pct": null, "requires_shift": null, "shift_type": "unknown", "shift_type_source": null, "weekend_work": "unknown", "weekend_work_source": null, "relocation_assistance_source": null, "contractor_w2": "unknown", "required_timezone": null, "fertility_family_building_benefits_source": null, "mental_health_support_source": null, "adoption_assistance_offered_source": null, "childcare_subsidy_source": null, "learning_budget_offered_source": null, "surrogacy_assistance_offered_source": null, "cover_letter_required": null, "cover_letter_required_source": null, "assessment_required": null, "assessment_required_source": null, "application_deadline": null, "application_deadline_source": null, "visa_sponsorship": false, "us_citizenship_required": false, "security_clearance": "none", "education_required": "none", "roll_up_count": null, "roll_up_total_locations": null, "explanations": [ { "schema_version": "inv382.match_signal.v1", "signal_id": "sig.query.description_excerpt.044d49ac9a8de84aff", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "140735ba159356abdda8604b6b783268", "signal_type": "query_match", "display_text": "Description: \"formal\"", "tooltip": "Description matched \"formal\" from your search.", "source_binding": "bm25_field_evidence", "source_field": "description_excerpt", "source_value": "SOC Formal Verification Engineer, HBM Richardson, TX posted: Posted 22 Days Ago", "matched_input": "formal", "derivation_source": "candidate_result.raw_match_evidence", "candidate_evidence_id": "ev:gq_08ad77e7e6c643ef20c4:140735ba159356abdda8604b6b783268:description:formal", "rerank_evidence_id": null, "taxonomy_alias_id": null, "oracle_verification_method": "candidate_evidence_exists", "counts_for_non_trivial_query": true, "truth_verified": true, "exact": true, "priority": 90, "mobile_priority": 1, "ui": { "icon": "Search", "tone": "match", "href": null } }, { "schema_version": "inv382.match_signal.v1", "signal_id": "sig.query.title.69cfbdf74ca4c8b242", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "140735ba159356abdda8604b6b783268", "signal_type": "query_match", "display_text": "Title: \"formal\"", "tooltip": "Title matched \"formal\" from your search.", "source_binding": "bm25_field_evidence", "source_field": "title", "source_value": "SOC Formal Verification Engineer, HBM", "matched_input": "formal", "derivation_source": "candidate_result.raw_match_evidence", "candidate_evidence_id": "ev:gq_08ad77e7e6c643ef20c4:140735ba159356abdda8604b6b783268:title:formal", "rerank_evidence_id": null, "taxonomy_alias_id": null, "oracle_verification_method": "candidate_evidence_exists", "counts_for_non_trivial_query": true, "truth_verified": true, "exact": true, "priority": 90, "mobile_priority": 1, "ui": { "icon": "Search", "tone": "match", "href": null } }, { "schema_version": "inv382.match_signal.v1", "signal_id": "sig.query.title.ac1a25c2e70aa64276", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "140735ba159356abdda8604b6b783268", "signal_type": "query_match", "display_text": "Title: \"formal\"", "tooltip": "Title contains \"formal\" from your search.", "source_binding": "token_match", "source_field": "title", "source_value": "SOC Formal Verification Engineer, HBM", "matched_input": "formal", "derivation_source": "row_field", "candidate_evidence_id": null, "rerank_evidence_id": null, "taxonomy_alias_id": null, "oracle_verification_method": "row_field_contains", "counts_for_non_trivial_query": true, "truth_verified": true, "exact": true, "priority": 80, "mobile_priority": 2, "ui": { "icon": "SearchCheck", "tone": "match", "href": null } } ], "source_label": "DOL Form 5500 filing", "parental_leave_source_label": null, "k401_match_source_label": "DOL Form 5500 filing", "k401_contribution_source_label": "DOL Form 5500 filing", "apply_url_checked_at": null, "apply_url_verification_status": "not_reachable_or_not_checked", "apply_url_verification_label": "Not checked or not reachable at last crawl", "field_source_signals": { "equity_included": { "tier": "government", "verified": true, "label": "Verified - SEC 10-K", "source_label": "SEC 10-K", "href": "https://www.sec.gov/Archives/edgar/data/723125/000072312525000028/mu-20250828.htm", "source_values": [ "sec_10k", "https://www.sec.gov/Archives/edgar/data/723125/000072312525000028/mu-20250828.htm" ], "checked_at": null }, "k401_match": { "tier": "government", "verified": true, "label": "Verified - DOL Form 5500", "source_label": "DOL Form 5500", "href": null, "source_values": [ "dol_form_5500", "EMPLR_CONTRIB_INCOME_AMT" ], "checked_at": "2026-06-07T00:00:00Z" }, "seniority": { "tier": "posting", "verified": true, "label": "From the posting", "source_label": "the posting", "href": "https://micron.wd1.myworkdayjobs.com/External/job/Richardson-TX/SOC-Formal-Verification-Engineer--HBM_JR102414", "source_values": [ "llm:greenfield:inv_371_postfix" ], "checked_at": null }, "role_function": { "tier": "posting", "verified": true, "label": "From the posting", "source_label": "the posting", "href": "https://micron.wd1.myworkdayjobs.com/External/job/Richardson-TX/SOC-Formal-Verification-Engineer--HBM_JR102414", "source_values": [ "rule" ], "checked_at": null }, "employer_industry": { "tier": "government", "verified": true, "label": "Verified - SEC 10-K", "source_label": "SEC 10-K", "href": null, "source_values": [ "source_sector" ], "checked_at": null } } }, { "id": "a1818c076965a1964fe2506c4f055434", "title": "Research Software Engineer, Formal Methods (Hybrid)", "employer_name": "Raytheon Technologies", "employer_slug": "raytheon-technologies", "location_text": "3 Locations", "country": "unknown", "employment_type": "unknown", "remote_status": "hybrid", "remote_status_source": null, "remote_status_enriched_at": null, "days_in_office": 2, "timezone_overlap_hours": 3, "salary_min": null, "salary_max": null, "salary_min_source": null, "salary_max_source": null, "salary_currency": "UNSPECIFIED", "salary_type": "unknown", "salary_type_source": null, "salary_type_enriched_at": null, "salary_period": null, "base_salary_min": null, "base_salary_max": null, "salary_disclosed": false, "equity_included": true, "equity_included_source": null, "equity_type": [ "rsu", "options" ], "k401_match": "yes", "match_401k_pct": null, "match_401k_pct_source": null, "k401_match_source_url": null, "k401_match_source_fields": [ "EMPLR_CONTRIB_INCOME_AMT" ], "k401_contribution_source_url": null, "k401_contribution_source_fields": [ "EMPLR_CONTRIB_INCOME_AMT" ], "profit_sharing": false, "bonus_offered": false, "mental_health_support": null, "childcare_subsidy": null, "fertility_family_building_benefits": null, "adoption_assistance_offered": null, "surrogacy_assistance_offered": null, "student_loan_repayment_offered": null, "learning_budget_offered": null, "relocation_assistance": null, "top_startup_sources": [], "posted_at": "2026-05-12T00:00:00.000Z", "apply_url": "https://globalhr.wd5.myworkdayjobs.com/REC_RTX_Ext_Gateway/job/US-MA-CAMBRIDGE-BBN06--10--50-Moulton-St--MOULTON-B6/Research-Software-Engineer--Formal-Methods--Hybrid-_01833650", "apply_url_verified": false, "ats": "workday", "url_last_checked_alive": null, "removed_at": null, "description_excerpt": "Research Software Engineer, Formal Methods (Hybrid) 3 Locations posted: Posted 30+ Days Ago", "parental_leave_weeks": 4, "non_birth_parent_leave_weeks": 4, "parental_leave_weeks_source": null, "non_birth_parent_leave_weeks_source": null, "parental_leave_source_url": "https://www.rtx.com/-/media/rtx/social-impact/our-esg-vision/2022-05/2021%20rtx%20esg%20report.pdf", "pto_days": null, "unlimited_pto": false, "sabbatical_eligible": false, "family_friendly_score": 73, "benefit_verified": true, "benefit_last_verified": "2026-05-07", "hire_states_allowed": [], "state_eligibility_source": null, "state_eligibility_enriched_at": null, "llm_quality_pass_at": null, "llm_signals_at": null, "llm_extraction_run_id": null, "llm_extraction_extracted_at": null, "llm_extraction_field_sources": { "seniority": { "field": "seniority", "source": "llm:greenfield:inv_371_postfix", "db_column": "seniority" }, "k401_match": { "source": "dol_form_5500", "source_url": null, "source_fields": [ "EMPLR_CONTRIB_INCOME_AMT" ], "source_label": "DOL Form 5500 filing" }, "equity_type": { "source": "sec_10k", "source_url": "https://www.sec.gov/Archives/edgar/data/101829/000010182926000006/rtx-20251231.htm", "source_fields": [ "equity_offered", "equity_type" ] }, "salary_type": { "field": "salary_type", "source": "llm:greenfield:inv_371_postfix", "db_column": "salary_type" }, "remote_status": { "field": "remote_status", "source": "rule:remote_status", "db_column": "remote_status" }, "role_function": { "field": "role_function", "source": "rule:title_override", "db_column": "role_function" }, "days_in_office": { "field": "days_in_office", "source": "rule:remote_status", "db_column": "days_in_office" }, "equity_included": { "source": "sec_10k", "source_url": "https://www.sec.gov/Archives/edgar/data/101829/000010182926000006/rtx-20251231.htm", "source_fields": [ "equity_offered", "equity_type" ] }, "education_required": { "field": "education_required", "source": "llm:greenfield:inv_371_postfix", "db_column": "education_required" }, "parental_leave_weeks": { "field": "parental_leave_weeks", "source": "https://www.rtx.com/-/media/rtx/social-impact/our-esg-vision/2022-05/2021%20rtx%20esg%20report.pdf", "db_column": "parental_leave_weeks", "source_url": "https://www.rtx.com/-/media/rtx/social-impact/our-esg-vision/2022-05/2021%20rtx%20esg%20report.pdf" }, "non_birth_parent_leave_weeks": { "field": "non_birth_parent_leave_weeks", "source": "https://www.rtx.com/-/media/rtx/social-impact/our-esg-vision/2022-05/2021%20rtx%20esg%20report.pdf", "db_column": "non_birth_parent_leave_weeks", "source_url": "https://www.rtx.com/-/media/rtx/social-impact/our-esg-vision/2022-05/2021%20rtx%20esg%20report.pdf" } }, "seniority": "mid", "seniority_source": "llm:greenfield:inv_371_postfix", "years_experience_min": 3, "years_experience_max": 7, "role_function": "engineering", "role_function_source": "rule:title_override", "company_stage": null, "company_stage_source": null, "employer_industry": "Industrial", "employer_industry_source": "source_sector", "employer_size": "5000+", "quality_score": 35, "travel_pct": null, "requires_shift": null, "shift_type": "unknown", "shift_type_source": null, "weekend_work": "unknown", "weekend_work_source": null, "relocation_assistance_source": null, "contractor_w2": "unknown", "required_timezone": null, "fertility_family_building_benefits_source": null, "mental_health_support_source": null, "adoption_assistance_offered_source": null, "childcare_subsidy_source": null, "learning_budget_offered_source": null, "surrogacy_assistance_offered_source": null, "cover_letter_required": null, "cover_letter_required_source": null, "assessment_required": null, "assessment_required_source": null, "application_deadline": null, "application_deadline_source": null, "visa_sponsorship": false, "us_citizenship_required": false, "security_clearance": "none", "education_required": "none", "roll_up_count": null, "roll_up_total_locations": null, "explanations": [ { "schema_version": "inv382.match_signal.v1", "signal_id": "sig.query.description_excerpt.51bd42a7cb8e8987ab", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "a1818c076965a1964fe2506c4f055434", "signal_type": "query_match", "display_text": "Description: \"formal\"", "tooltip": "Description matched \"formal\" from your search.", "source_binding": "bm25_field_evidence", "source_field": "description_excerpt", "source_value": "Research Software Engineer, Formal Methods (Hybrid) 3 Locations posted: Posted 30+ Days Ago", "matched_input": "formal", "derivation_source": "candidate_result.raw_match_evidence", "candidate_evidence_id": "ev:gq_08ad77e7e6c643ef20c4:a1818c076965a1964fe2506c4f055434:description:formal", "rerank_evidence_id": null, "taxonomy_alias_id": null, "oracle_verification_method": "candidate_evidence_exists", "counts_for_non_trivial_query": true, "truth_verified": true, "exact": true, "priority": 90, "mobile_priority": 1, "ui": { "icon": "Search", "tone": "match", "href": null } }, { "schema_version": "inv382.match_signal.v1", "signal_id": "sig.query.title.3f2e88c768390c6e87", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "a1818c076965a1964fe2506c4f055434", "signal_type": "query_match", "display_text": "Title: \"formal\"", "tooltip": "Title matched \"formal\" from your search.", "source_binding": "bm25_field_evidence", "source_field": "title", "source_value": "Research Software Engineer, Formal Methods (Hybrid)", "matched_input": "formal", "derivation_source": "candidate_result.raw_match_evidence", "candidate_evidence_id": "ev:gq_08ad77e7e6c643ef20c4:a1818c076965a1964fe2506c4f055434:title:formal", "rerank_evidence_id": null, "taxonomy_alias_id": null, "oracle_verification_method": "candidate_evidence_exists", "counts_for_non_trivial_query": true, "truth_verified": true, "exact": true, "priority": 90, "mobile_priority": 1, "ui": { "icon": "Search", "tone": "match", "href": null } }, { "schema_version": "inv382.match_signal.v1", "signal_id": "sig.query.title.7293282b637cbd266d", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "a1818c076965a1964fe2506c4f055434", "signal_type": "query_match", "display_text": "Title: \"formal\"", "tooltip": "Title contains \"formal\" from your search.", "source_binding": "token_match", "source_field": "title", "source_value": "Research Software Engineer, Formal Methods (Hybrid)", "matched_input": "formal", "derivation_source": "row_field", "candidate_evidence_id": null, "rerank_evidence_id": null, "taxonomy_alias_id": null, "oracle_verification_method": "row_field_contains", "counts_for_non_trivial_query": true, "truth_verified": true, "exact": true, "priority": 80, "mobile_priority": 2, "ui": { "icon": "SearchCheck", "tone": "match", "href": null } } ], "source_label": "DOL Form 5500 filing", "parental_leave_source_label": "Employer benefits source", "k401_match_source_label": "DOL Form 5500 filing", "k401_contribution_source_label": "DOL Form 5500 filing", "apply_url_checked_at": null, "apply_url_verification_status": "not_reachable_or_not_checked", "apply_url_verification_label": "Not checked or not reachable at last crawl", "field_source_signals": { "remote_status": { "tier": "posting", "verified": true, "label": "From the posting", "source_label": "the posting", "href": "https://globalhr.wd5.myworkdayjobs.com/REC_RTX_Ext_Gateway/job/US-MA-CAMBRIDGE-BBN06--10--50-Moulton-St--MOULTON-B6/Research-Software-Engineer--Formal-Methods--Hybrid-_01833650", "source_values": [ "rule:remote_status" ], "checked_at": null }, "equity_included": { "tier": "government", "verified": true, "label": "Verified - SEC 10-K", "source_label": "SEC 10-K", "href": "https://www.sec.gov/Archives/edgar/data/101829/000010182926000006/rtx-20251231.htm", "source_values": [ "sec_10k", "https://www.sec.gov/Archives/edgar/data/101829/000010182926000006/rtx-20251231.htm" ], "checked_at": null }, "parental_leave_weeks": { "tier": "posting", "verified": true, "label": "From the posting", "source_label": "the posting", "href": "https://globalhr.wd5.myworkdayjobs.com/REC_RTX_Ext_Gateway/job/US-MA-CAMBRIDGE-BBN06--10--50-Moulton-St--MOULTON-B6/Research-Software-Engineer--Formal-Methods--Hybrid-_01833650", "source_values": [ "https://www.rtx.com/-/media/rtx/social-impact/our-esg-vision/2022-05/2021%20rtx%20esg%20report.pdf" ], "checked_at": "2026-05-07" }, "non_birth_parent_leave_weeks": { "tier": "posting", "verified": true, "label": "From the posting", "source_label": "the posting", "href": "https://globalhr.wd5.myworkdayjobs.com/REC_RTX_Ext_Gateway/job/US-MA-CAMBRIDGE-BBN06--10--50-Moulton-St--MOULTON-B6/Research-Software-Engineer--Formal-Methods--Hybrid-_01833650", "source_values": [ "https://www.rtx.com/-/media/rtx/social-impact/our-esg-vision/2022-05/2021%20rtx%20esg%20report.pdf" ], "checked_at": "2026-05-07" }, "k401_match": { "tier": "government", "verified": true, "label": "Verified - DOL Form 5500", "source_label": "DOL Form 5500", "href": null, "source_values": [ "dol_form_5500", "EMPLR_CONTRIB_INCOME_AMT" ], "checked_at": "2026-05-07" }, "seniority": { "tier": "posting", "verified": true, "label": "From the posting", "source_label": "the posting", "href": "https://globalhr.wd5.myworkdayjobs.com/REC_RTX_Ext_Gateway/job/US-MA-CAMBRIDGE-BBN06--10--50-Moulton-St--MOULTON-B6/Research-Software-Engineer--Formal-Methods--Hybrid-_01833650", "source_values": [ "llm:greenfield:inv_371_postfix" ], "checked_at": null }, "role_function": { "tier": "posting", "verified": true, "label": "From the posting", "source_label": "the posting", "href": "https://globalhr.wd5.myworkdayjobs.com/REC_RTX_Ext_Gateway/job/US-MA-CAMBRIDGE-BBN06--10--50-Moulton-St--MOULTON-B6/Research-Software-Engineer--Formal-Methods--Hybrid-_01833650", "source_values": [ "rule:title_override" ], "checked_at": null }, "employer_industry": { "tier": "government", "verified": true, "label": "Verified - SEC 10-K", "source_label": "SEC 10-K", "href": null, "source_values": [ "source_sector" ], "checked_at": null } } }, { "id": "1590b46de3354d6f44a95b4f5597dc1d", "title": "Senior Director - Dress Casual", "employer_name": "PVH Corp.", "employer_slug": "pvh", "location_text": "Amsterdam, NL", "country": "NL", "employment_type": "unknown", "remote_status": "unspecified", "remote_status_source": null, "remote_status_enriched_at": null, "days_in_office": null, "timezone_overlap_hours": 3, "salary_min": null, "salary_max": null, "salary_min_source": null, "salary_max_source": null, "salary_currency": "UNSPECIFIED", "salary_type": "unknown", "salary_type_source": null, "salary_type_enriched_at": null, "salary_period": null, "base_salary_min": null, "base_salary_max": null, "salary_disclosed": false, "equity_included": true, "equity_included_source": null, "equity_type": [ "rsu", "options" ], "k401_match": "yes", "match_401k_pct": null, "match_401k_pct_source": null, "k401_match_source_url": null, "k401_match_source_fields": [ "EMPLR_CONTRIB_INCOME_AMT" ], "k401_contribution_source_url": null, "k401_contribution_source_fields": [ "EMPLR_CONTRIB_INCOME_AMT" ], "profit_sharing": false, "bonus_offered": false, "mental_health_support": null, "childcare_subsidy": null, "fertility_family_building_benefits": null, "adoption_assistance_offered": null, "surrogacy_assistance_offered": null, "student_loan_repayment_offered": null, "learning_budget_offered": null, "relocation_assistance": null, "top_startup_sources": [], "posted_at": "2026-05-12T00:00:00.000Z", "apply_url": "https://pvh.wd1.myworkdayjobs.com/PVH_Careers/job/Amsterdam-NL/Senior-Merchandising---Product-Development-Director_R56620", "apply_url_verified": false, "ats": "workday", "url_last_checked_alive": null, "removed_at": null, "description_excerpt": "Senior Director - Dress Casual Amsterdam, NL posted: Posted 30+ Days Ago", "parental_leave_weeks": null, "non_birth_parent_leave_weeks": null, "parental_leave_weeks_source": null, "non_birth_parent_leave_weeks_source": null, "parental_leave_source_url": null, "pto_days": null, "unlimited_pto": false, "sabbatical_eligible": false, "family_friendly_score": 40, "benefit_verified": true, "benefit_last_verified": "2026-06-07T00:00:00Z", "hire_states_allowed": [], "state_eligibility_source": null, "state_eligibility_enriched_at": null, "llm_quality_pass_at": null, "llm_signals_at": null, "llm_extraction_run_id": null, "llm_extraction_extracted_at": null, "llm_extraction_field_sources": { "seniority": { "field": "seniority", "source": "llm:greenfield:inv_371_postfix", "db_column": "seniority" }, "k401_match": { "source": "dol_form_5500", "source_url": null, "source_fields": [ "EMPLR_CONTRIB_INCOME_AMT" ], "source_label": "DOL Form 5500 filing" }, "equity_type": { "source": "sec_10k", "source_url": "https://www.sec.gov/Archives/edgar/data/78239/000007823926000021/pvh-20260201.htm", "source_fields": [ "equity_offered", "equity_type" ] }, "salary_type": { "field": "salary_type", "source": "llm:greenfield:inv_371_postfix", "db_column": "salary_type" }, "equity_included": { "source": "sec_10k", "source_url": "https://www.sec.gov/Archives/edgar/data/78239/000007823926000021/pvh-20260201.htm", "source_fields": [ "equity_offered", "equity_type" ] }, "education_required": { "field": "education_required", "source": "llm:greenfield:inv_371_postfix", "db_column": "education_required" } }, "seniority": "staff_plus", "seniority_source": "llm:greenfield:inv_371_postfix", "years_experience_min": 8, "years_experience_max": 12, "role_function": "other", "role_function_source": "unknown", "company_stage": null, "company_stage_source": null, "employer_industry": null, "employer_industry_source": null, "employer_size": null, "quality_score": 35, "travel_pct": null, "requires_shift": null, "shift_type": "unknown", "shift_type_source": null, "weekend_work": "unknown", "weekend_work_source": null, "relocation_assistance_source": null, "contractor_w2": "unknown", "required_timezone": null, "fertility_family_building_benefits_source": null, "mental_health_support_source": null, "adoption_assistance_offered_source": null, "childcare_subsidy_source": null, "learning_budget_offered_source": null, "surrogacy_assistance_offered_source": null, "cover_letter_required": null, "cover_letter_required_source": null, "assessment_required": null, "assessment_required_source": null, "application_deadline": null, "application_deadline_source": null, "visa_sponsorship": false, "us_citizenship_required": false, "security_clearance": "none", "education_required": "none", "roll_up_count": null, "roll_up_total_locations": null, "explanations": [ { "schema_version": "inv382.match_signal.v1", "signal_id": "sig.semantic.role_function.1768c5b3fd95be0d50", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "1590b46de3354d6f44a95b4f5597dc1d", "signal_type": "query_match", "display_text": "Role: semantic match", "tooltip": "Role provided semantic evidence for your search intent.", "source_binding": "vector_semantic_evidence", "source_field": "role_function", "source_value": "other", "matched_input": "formal", "derivation_source": "candidate_result.raw_match_evidence", "candidate_evidence_id": "ev:gq_08ad77e7e6c643ef20c4:1590b46de3354d6f44a95b4f5597dc1d:vector", "rerank_evidence_id": null, "taxonomy_alias_id": null, "oracle_verification_method": "candidate_evidence_exists", "counts_for_non_trivial_query": true, "truth_verified": true, "exact": false, "priority": 74, "mobile_priority": 2, "ui": { "icon": "Sparkles", "tone": "match", "href": null } } ], "source_label": "DOL Form 5500 filing", "parental_leave_source_label": null, "k401_match_source_label": "DOL Form 5500 filing", "k401_contribution_source_label": "DOL Form 5500 filing", "apply_url_checked_at": null, "apply_url_verification_status": "not_reachable_or_not_checked", "apply_url_verification_label": "Not checked or not reachable at last crawl", "field_source_signals": { "equity_included": { "tier": "government", "verified": true, "label": "Verified - SEC 10-K", "source_label": "SEC 10-K", "href": "https://www.sec.gov/Archives/edgar/data/78239/000007823926000021/pvh-20260201.htm", "source_values": [ "sec_10k", "https://www.sec.gov/Archives/edgar/data/78239/000007823926000021/pvh-20260201.htm" ], "checked_at": null }, "k401_match": { "tier": "government", "verified": true, "label": "Verified - DOL Form 5500", "source_label": "DOL Form 5500", "href": null, "source_values": [ "dol_form_5500", "EMPLR_CONTRIB_INCOME_AMT" ], "checked_at": "2026-06-07T00:00:00Z" }, "seniority": { "tier": "posting", "verified": true, "label": "From the posting", "source_label": "the posting", "href": "https://pvh.wd1.myworkdayjobs.com/PVH_Careers/job/Amsterdam-NL/Senior-Merchandising---Product-Development-Director_R56620", "source_values": [ "llm:greenfield:inv_371_postfix" ], "checked_at": null } } }, { "id": "f653436f238b2909c65af174a4756962", "title": "Senior Firmware Verification Engineer (Formal Methods) (m/f/d)", "employer_name": "NXP Semiconductors", "employer_slug": "nxp-semiconductors", "location_text": "Gratkorn", "country": "unknown", "employment_type": "unknown", "remote_status": "unspecified", "remote_status_source": null, "remote_status_enriched_at": null, "days_in_office": null, "timezone_overlap_hours": 3, "salary_min": null, "salary_max": null, "salary_min_source": null, "salary_max_source": null, "salary_currency": "UNSPECIFIED", "salary_type": "unknown", "salary_type_source": null, "salary_type_enriched_at": null, "salary_period": null, "base_salary_min": null, "base_salary_max": null, "salary_disclosed": false, "equity_included": true, "equity_included_source": null, "equity_type": [ "rsu", "options", "espp" ], "k401_match": "yes", "match_401k_pct": null, "match_401k_pct_source": null, "k401_match_source_url": null, "k401_match_source_fields": [ "EMPLR_CONTRIB_INCOME_AMT" ], "k401_contribution_source_url": null, "k401_contribution_source_fields": [ "EMPLR_CONTRIB_INCOME_AMT" ], "profit_sharing": false, "bonus_offered": false, "mental_health_support": null, "childcare_subsidy": null, "fertility_family_building_benefits": null, "adoption_assistance_offered": null, "surrogacy_assistance_offered": null, "student_loan_repayment_offered": null, "learning_budget_offered": null, "relocation_assistance": null, "top_startup_sources": [], "posted_at": "2026-05-12T00:00:00.000Z", "apply_url": "https://nxp.wd3.myworkdayjobs.com/Careers/job/Gratkorn/Senior-Firmware-Verification-Engineer--Formal-Methods---m-f-d-_R-10062792", "apply_url_verified": false, "ats": "workday", "url_last_checked_alive": null, "removed_at": null, "description_excerpt": "Senior Firmware Verification Engineer (Formal Methods) (m/f/d) Gratkorn posted: Posted 30+ Days Ago", "parental_leave_weeks": 6, "non_birth_parent_leave_weeks": 6, "parental_leave_weeks_source": null, "non_birth_parent_leave_weeks_source": null, "parental_leave_source_url": "https://www.nxp.com.cn/docs/en/company-information/benefits/PARENTAL-LEAVE-POLICY-2024.pdf", "pto_days": null, "unlimited_pto": false, "sabbatical_eligible": false, "family_friendly_score": 77, "benefit_verified": true, "benefit_last_verified": "2026-05-07", "hire_states_allowed": [], "state_eligibility_source": null, "state_eligibility_enriched_at": null, "llm_quality_pass_at": null, "llm_signals_at": null, "llm_extraction_run_id": null, "llm_extraction_extracted_at": null, "llm_extraction_field_sources": { "seniority": { "field": "seniority", "source": "llm:greenfield:inv_371_postfix", "db_column": "seniority" }, "k401_match": { "source": "dol_form_5500", "source_url": null, "source_fields": [ "EMPLR_CONTRIB_INCOME_AMT" ], "source_label": "DOL Form 5500 filing" }, "equity_type": { "source": "sec_10k", "source_url": "https://www.sec.gov/Archives/edgar/data/1413447/000141344726000008/nxpi-20251231.htm", "source_fields": [ "equity_offered", "equity_type" ] }, "salary_type": { "field": "salary_type", "source": "llm:greenfield:inv_371_postfix", "db_column": "salary_type" }, "role_function": { "field": "role_function", "source": "rule", "db_column": "role_function" }, "equity_included": { "source": "sec_10k", "source_url": "https://www.sec.gov/Archives/edgar/data/1413447/000141344726000008/nxpi-20251231.htm", "source_fields": [ "equity_offered", "equity_type" ] }, "education_required": { "field": "education_required", "source": "llm:greenfield:inv_371_postfix", "db_column": "education_required" }, "parental_leave_weeks": { "field": "parental_leave_weeks", "source": "https://www.nxp.com.cn/docs/en/company-information/benefits/PARENTAL-LEAVE-POLICY-2024.pdf", "db_column": "parental_leave_weeks", "source_url": "https://www.nxp.com.cn/docs/en/company-information/benefits/PARENTAL-LEAVE-POLICY-2024.pdf" }, "non_birth_parent_leave_weeks": { "field": "non_birth_parent_leave_weeks", "source": "https://www.nxp.com.cn/docs/en/company-information/benefits/PARENTAL-LEAVE-POLICY-2024.pdf", "db_column": "non_birth_parent_leave_weeks", "source_url": "https://www.nxp.com.cn/docs/en/company-information/benefits/PARENTAL-LEAVE-POLICY-2024.pdf" } }, "seniority": "senior", "seniority_source": "llm:greenfield:inv_371_postfix", "years_experience_min": 5, "years_experience_max": 9, "role_function": "data", "role_function_source": "rule", "company_stage": null, "company_stage_source": null, "employer_industry": "Technology", "employer_industry_source": "wikidata_sparql_industry", "employer_size": "5000+", "quality_score": 35, "travel_pct": null, "requires_shift": null, "shift_type": "unknown", "shift_type_source": null, "weekend_work": "unknown", "weekend_work_source": null, "relocation_assistance_source": null, "contractor_w2": "unknown", "required_timezone": null, "fertility_family_building_benefits_source": null, "mental_health_support_source": null, "adoption_assistance_offered_source": null, "childcare_subsidy_source": null, "learning_budget_offered_source": null, "surrogacy_assistance_offered_source": null, "cover_letter_required": null, "cover_letter_required_source": null, "assessment_required": null, "assessment_required_source": null, "application_deadline": null, "application_deadline_source": null, "visa_sponsorship": false, "us_citizenship_required": false, "security_clearance": "none", "education_required": "none", "roll_up_count": null, "roll_up_total_locations": null, "explanations": [ { "schema_version": "inv382.match_signal.v1", "signal_id": "sig.query.description_excerpt.f5778d57cf87bb2ac8", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "f653436f238b2909c65af174a4756962", "signal_type": "query_match", "display_text": "Description: \"formal\"", "tooltip": "Description matched \"formal\" from your search.", "source_binding": "bm25_field_evidence", "source_field": "description_excerpt", "source_value": "Senior Firmware Verification Engineer (Formal Methods) (m/f/d) Gratkorn posted: Posted 30+ Days Ago", "matched_input": "formal", "derivation_source": "candidate_result.raw_match_evidence", "candidate_evidence_id": "ev:gq_08ad77e7e6c643ef20c4:f653436f238b2909c65af174a4756962:description:formal", "rerank_evidence_id": null, "taxonomy_alias_id": null, "oracle_verification_method": "candidate_evidence_exists", "counts_for_non_trivial_query": true, "truth_verified": true, "exact": true, "priority": 90, "mobile_priority": 1, "ui": { "icon": "Search", "tone": "match", "href": null } }, { "schema_version": "inv382.match_signal.v1", "signal_id": "sig.query.title.17e055fe7bd20e7d37", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "f653436f238b2909c65af174a4756962", "signal_type": "query_match", "display_text": "Title: \"formal\"", "tooltip": "Title matched \"formal\" from your search.", "source_binding": "bm25_field_evidence", "source_field": "title", "source_value": "Senior Firmware Verification Engineer (Formal Methods) (m/f/d)", "matched_input": "formal", "derivation_source": "candidate_result.raw_match_evidence", "candidate_evidence_id": "ev:gq_08ad77e7e6c643ef20c4:f653436f238b2909c65af174a4756962:title:formal", "rerank_evidence_id": null, "taxonomy_alias_id": null, "oracle_verification_method": "candidate_evidence_exists", "counts_for_non_trivial_query": true, "truth_verified": true, "exact": true, "priority": 90, "mobile_priority": 1, "ui": { "icon": "Search", "tone": "match", "href": null } }, { "schema_version": "inv382.match_signal.v1", "signal_id": "sig.query.title.80f62a4858033f5757", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "f653436f238b2909c65af174a4756962", "signal_type": "query_match", "display_text": "Title: \"formal\"", "tooltip": "Title contains \"formal\" from your search.", "source_binding": "token_match", "source_field": "title", "source_value": "Senior Firmware Verification Engineer (Formal Methods) (m/f/d)", "matched_input": "formal", "derivation_source": "row_field", "candidate_evidence_id": null, "rerank_evidence_id": null, "taxonomy_alias_id": null, "oracle_verification_method": "row_field_contains", "counts_for_non_trivial_query": true, "truth_verified": true, "exact": true, "priority": 80, "mobile_priority": 2, "ui": { "icon": "SearchCheck", "tone": "match", "href": null } } ], "source_label": "DOL Form 5500 filing", "parental_leave_source_label": "Employer benefits source", "k401_match_source_label": "DOL Form 5500 filing", "k401_contribution_source_label": "DOL Form 5500 filing", "apply_url_checked_at": null, "apply_url_verification_status": "not_reachable_or_not_checked", "apply_url_verification_label": "Not checked or not reachable at last crawl", "field_source_signals": { "equity_included": { "tier": "government", "verified": true, "label": "Verified - SEC 10-K", "source_label": "SEC 10-K", "href": "https://www.sec.gov/Archives/edgar/data/1413447/000141344726000008/nxpi-20251231.htm", "source_values": [ "sec_10k", "https://www.sec.gov/Archives/edgar/data/1413447/000141344726000008/nxpi-20251231.htm" ], "checked_at": null }, "parental_leave_weeks": { "tier": "posting", "verified": true, "label": "From the posting", "source_label": "the posting", "href": "https://nxp.wd3.myworkdayjobs.com/Careers/job/Gratkorn/Senior-Firmware-Verification-Engineer--Formal-Methods---m-f-d-_R-10062792", "source_values": [ "https://www.nxp.com.cn/docs/en/company-information/benefits/PARENTAL-LEAVE-POLICY-2024.pdf" ], "checked_at": "2026-05-07" }, "non_birth_parent_leave_weeks": { "tier": "posting", "verified": true, "label": "From the posting", "source_label": "the posting", "href": "https://nxp.wd3.myworkdayjobs.com/Careers/job/Gratkorn/Senior-Firmware-Verification-Engineer--Formal-Methods---m-f-d-_R-10062792", "source_values": [ "https://www.nxp.com.cn/docs/en/company-information/benefits/PARENTAL-LEAVE-POLICY-2024.pdf" ], "checked_at": "2026-05-07" }, "k401_match": { "tier": "government", "verified": true, "label": "Verified - DOL Form 5500", "source_label": "DOL Form 5500", "href": null, "source_values": [ "dol_form_5500", "EMPLR_CONTRIB_INCOME_AMT" ], "checked_at": "2026-05-07" }, "seniority": { "tier": "posting", "verified": true, "label": "From the posting", "source_label": "the posting", "href": "https://nxp.wd3.myworkdayjobs.com/Careers/job/Gratkorn/Senior-Firmware-Verification-Engineer--Formal-Methods---m-f-d-_R-10062792", "source_values": [ "llm:greenfield:inv_371_postfix" ], "checked_at": null }, "role_function": { "tier": "posting", "verified": true, "label": "From the posting", "source_label": "the posting", "href": "https://nxp.wd3.myworkdayjobs.com/Careers/job/Gratkorn/Senior-Firmware-Verification-Engineer--Formal-Methods---m-f-d-_R-10062792", "source_values": [ "rule" ], "checked_at": null }, "employer_industry": { "tier": "government", "verified": true, "label": "Verified - Wikidata", "source_label": "Wikidata", "href": null, "source_values": [ "wikidata_sparql_industry" ], "checked_at": null } } }, { "id": "206e17bf7889ee3e4960b5828b3b12af", "title": "Formal Equivalence Checking Methodology Engineer", "employer_name": "NVIDIA Corporation", "employer_slug": "nvidia", "location_text": "US, CA, Santa Clara", "country": "US", "employment_type": "unknown", "remote_status": "unspecified", "remote_status_source": null, "remote_status_enriched_at": null, "days_in_office": null, "timezone_overlap_hours": 6, "salary_min": null, "salary_max": null, "salary_min_source": null, "salary_max_source": null, "salary_currency": "USD", "salary_type": "unknown", "salary_type_source": null, "salary_type_enriched_at": null, "salary_period": null, "base_salary_min": null, "base_salary_max": null, "salary_disclosed": false, "equity_included": true, "equity_included_source": null, "equity_type": [ "rsu", "options", "espp" ], "k401_match": "yes", "match_401k_pct": null, "match_401k_pct_source": null, "k401_match_source_url": null, "k401_match_source_fields": [ "EMPLR_CONTRIB_INCOME_AMT" ], "k401_contribution_source_url": null, "k401_contribution_source_fields": [ "EMPLR_CONTRIB_INCOME_AMT" ], "profit_sharing": false, "bonus_offered": false, "mental_health_support": null, "childcare_subsidy": null, "fertility_family_building_benefits": null, "adoption_assistance_offered": null, "surrogacy_assistance_offered": null, "student_loan_repayment_offered": null, "learning_budget_offered": null, "relocation_assistance": null, "top_startup_sources": [], "posted_at": "2026-05-12T00:00:00.000Z", "apply_url": "https://nvidia.wd5.myworkdayjobs.com/NVIDIAExternalCareerSite/job/US-CA-Santa-Clara/Formal-Equivalence-Checking-Methodology-Engineer_JR2012115", "apply_url_verified": false, "ats": "workday", "url_last_checked_alive": null, "removed_at": null, "description_excerpt": "Formal Equivalence Checking Methodology Engineer US, CA, Santa Clara posted: Posted 30+ Days Ago", "parental_leave_weeks": null, "non_birth_parent_leave_weeks": null, "parental_leave_weeks_source": null, "non_birth_parent_leave_weeks_source": null, "parental_leave_source_url": null, "pto_days": null, "unlimited_pto": false, "sabbatical_eligible": false, "family_friendly_score": 40, "benefit_verified": true, "benefit_last_verified": "2026-06-13T01:18:42.546Z", "hire_states_allowed": [], "state_eligibility_source": null, "state_eligibility_enriched_at": null, "llm_quality_pass_at": null, "llm_signals_at": null, "llm_extraction_run_id": null, "llm_extraction_extracted_at": null, "llm_extraction_field_sources": { "seniority": { "field": "seniority", "source": "llm:greenfield:inv_371_postfix", "db_column": "seniority" }, "k401_match": { "source": "dol_form_5500", "source_url": null, "source_fields": [ "EMPLR_CONTRIB_INCOME_AMT" ], "source_label": "DOL Form 5500 filing" }, "equity_type": { "source": "sec_10k", "source_url": "https://www.sec.gov/Archives/edgar/data/1045810/000104581026000021/nvda-20260125.htm", "source_fields": [ "equity_offered", "equity_type" ] }, "salary_type": { "field": "salary_type", "source": "llm:greenfield:inv_371_postfix", "db_column": "salary_type" }, "role_function": { "field": "role_function", "source": "rule", "db_column": "role_function" }, "equity_included": { "source": "sec_10k", "source_url": "https://www.sec.gov/Archives/edgar/data/1045810/000104581026000021/nvda-20260125.htm", "source_fields": [ "equity_offered", "equity_type" ] }, "education_required": { "field": "education_required", "source": "llm:greenfield:inv_371_postfix", "db_column": "education_required" } }, "seniority": "mid", "seniority_source": "llm:greenfield:inv_371_postfix", "years_experience_min": 3, "years_experience_max": 7, "role_function": "data", "role_function_source": "rule", "company_stage": null, "company_stage_source": null, "employer_industry": "Technology", "employer_industry_source": "wikidata_sparql_industry", "employer_size": "5000+", "quality_score": 35, "travel_pct": null, "requires_shift": null, "shift_type": "unknown", "shift_type_source": null, "weekend_work": "unknown", "weekend_work_source": null, "relocation_assistance_source": null, "contractor_w2": "unknown", "required_timezone": null, "fertility_family_building_benefits_source": null, "mental_health_support_source": null, "adoption_assistance_offered_source": null, "childcare_subsidy_source": null, "learning_budget_offered_source": null, "surrogacy_assistance_offered_source": null, "cover_letter_required": null, "cover_letter_required_source": null, "assessment_required": null, "assessment_required_source": null, "application_deadline": null, "application_deadline_source": null, "visa_sponsorship": false, "us_citizenship_required": false, "security_clearance": "none", "education_required": "none", "roll_up_count": null, "roll_up_total_locations": null, "explanations": [ { "schema_version": "inv382.match_signal.v1", "signal_id": "sig.query.description_excerpt.22d034f988be7e6c22", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "206e17bf7889ee3e4960b5828b3b12af", "signal_type": "query_match", "display_text": "Description: \"formal\"", "tooltip": "Description matched \"formal\" from your search.", "source_binding": "bm25_field_evidence", "source_field": "description_excerpt", "source_value": "Formal Equivalence Checking Methodology Engineer US, CA, Santa Clara posted: Posted 30+ Days Ago", "matched_input": "formal", "derivation_source": "candidate_result.raw_match_evidence", "candidate_evidence_id": "ev:gq_08ad77e7e6c643ef20c4:206e17bf7889ee3e4960b5828b3b12af:description:formal", "rerank_evidence_id": null, "taxonomy_alias_id": null, "oracle_verification_method": "candidate_evidence_exists", "counts_for_non_trivial_query": true, "truth_verified": true, "exact": true, "priority": 90, "mobile_priority": 1, "ui": { "icon": "Search", "tone": "match", "href": null } }, { "schema_version": "inv382.match_signal.v1", "signal_id": "sig.query.title.4806f500edc31df0d8", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "206e17bf7889ee3e4960b5828b3b12af", "signal_type": "query_match", "display_text": "Title: \"formal\"", "tooltip": "Title matched \"formal\" from your search.", "source_binding": "bm25_field_evidence", "source_field": "title", "source_value": "Formal Equivalence Checking Methodology Engineer", "matched_input": "formal", "derivation_source": "candidate_result.raw_match_evidence", "candidate_evidence_id": "ev:gq_08ad77e7e6c643ef20c4:206e17bf7889ee3e4960b5828b3b12af:title:formal", "rerank_evidence_id": null, "taxonomy_alias_id": null, "oracle_verification_method": "candidate_evidence_exists", "counts_for_non_trivial_query": true, "truth_verified": true, "exact": true, "priority": 90, "mobile_priority": 1, "ui": { "icon": "Search", "tone": "match", "href": null } }, { "schema_version": "inv382.match_signal.v1", "signal_id": "sig.query.title.c7447f666481674a45", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "206e17bf7889ee3e4960b5828b3b12af", "signal_type": "query_match", "display_text": "Title: \"formal\"", "tooltip": "Title contains \"formal\" from your search.", "source_binding": "token_match", "source_field": "title", "source_value": "Formal Equivalence Checking Methodology Engineer", "matched_input": "formal", "derivation_source": "row_field", "candidate_evidence_id": null, "rerank_evidence_id": null, "taxonomy_alias_id": null, "oracle_verification_method": "row_field_contains", "counts_for_non_trivial_query": true, "truth_verified": true, "exact": true, "priority": 80, "mobile_priority": 2, "ui": { "icon": "SearchCheck", "tone": "match", "href": null } } ], "source_label": "DOL Form 5500 filing", "parental_leave_source_label": null, "k401_match_source_label": "DOL Form 5500 filing", "k401_contribution_source_label": "DOL Form 5500 filing", "apply_url_checked_at": null, "apply_url_verification_status": "not_reachable_or_not_checked", "apply_url_verification_label": "Not checked or not reachable at last crawl", "field_source_signals": { "equity_included": { "tier": "government", "verified": true, "label": "Verified - SEC 10-K", "source_label": "SEC 10-K", "href": "https://www.sec.gov/Archives/edgar/data/1045810/000104581026000021/nvda-20260125.htm", "source_values": [ "sec_10k", "https://www.sec.gov/Archives/edgar/data/1045810/000104581026000021/nvda-20260125.htm" ], "checked_at": null }, "k401_match": { "tier": "government", "verified": true, "label": "Verified - DOL Form 5500", "source_label": "DOL Form 5500", "href": null, "source_values": [ "dol_form_5500", "EMPLR_CONTRIB_INCOME_AMT" ], "checked_at": "2026-06-13T01:18:42.546Z" }, "seniority": { "tier": "posting", "verified": true, "label": "From the posting", "source_label": "the posting", "href": "https://nvidia.wd5.myworkdayjobs.com/NVIDIAExternalCareerSite/job/US-CA-Santa-Clara/Formal-Equivalence-Checking-Methodology-Engineer_JR2012115", "source_values": [ "llm:greenfield:inv_371_postfix" ], "checked_at": null }, "role_function": { "tier": "posting", "verified": true, "label": "From the posting", "source_label": "the posting", "href": "https://nvidia.wd5.myworkdayjobs.com/NVIDIAExternalCareerSite/job/US-CA-Santa-Clara/Formal-Equivalence-Checking-Methodology-Engineer_JR2012115", "source_values": [ "rule" ], "checked_at": null }, "employer_industry": { "tier": "government", "verified": true, "label": "Verified - Wikidata", "source_label": "Wikidata", "href": null, "source_values": [ "wikidata_sparql_industry" ], "checked_at": null } } }, { "id": "8a0ce7019fde47565dbdb1074855baa6", "title": "Filing and Formalities IP Paralegal I", "employer_name": "Gilead Sciences", "employer_slug": "gilead-sciences", "location_text": "United States - California - Foster City", "country": "US", "employment_type": "unknown", "remote_status": "unspecified", "remote_status_source": null, "remote_status_enriched_at": null, "days_in_office": null, "timezone_overlap_hours": 6, "salary_min": null, "salary_max": null, "salary_min_source": null, "salary_max_source": null, "salary_currency": "USD", "salary_type": "unknown", "salary_type_source": null, "salary_type_enriched_at": null, "salary_period": null, "base_salary_min": null, "base_salary_max": null, "salary_disclosed": false, "equity_included": true, "equity_included_source": null, "equity_type": [ "rsu", "options", "espp" ], "k401_match": "yes", "match_401k_pct": null, "match_401k_pct_source": null, "k401_match_source_url": null, "k401_match_source_fields": [ "EMPLR_CONTRIB_INCOME_AMT" ], "k401_contribution_source_url": null, "k401_contribution_source_fields": [ "EMPLR_CONTRIB_INCOME_AMT" ], "profit_sharing": false, "bonus_offered": false, "mental_health_support": null, "childcare_subsidy": null, "fertility_family_building_benefits": null, "adoption_assistance_offered": null, "surrogacy_assistance_offered": null, "student_loan_repayment_offered": null, "learning_budget_offered": null, "relocation_assistance": null, "top_startup_sources": [], "posted_at": "2026-05-27T00:00:00.000Z", "apply_url": "https://gilead.wd1.myworkdayjobs.com/gileadcareers/job/United-States---California---Foster-City/Filing-and-Formalities-IP-Paralegal-I_R0051706-1", "apply_url_verified": false, "ats": "workday", "url_last_checked_alive": null, "removed_at": null, "description_excerpt": "Filing and Formalities IP Paralegal I United States - California - Foster City posted: Posted 16 Days Ago", "parental_leave_weeks": null, "non_birth_parent_leave_weeks": null, "parental_leave_weeks_source": null, "non_birth_parent_leave_weeks_source": null, "parental_leave_source_url": null, "pto_days": null, "unlimited_pto": false, "sabbatical_eligible": false, "family_friendly_score": 40, "benefit_verified": true, "benefit_last_verified": "2026-06-13T01:18:42.546Z", "hire_states_allowed": [], "state_eligibility_source": null, "state_eligibility_enriched_at": null, "llm_quality_pass_at": null, "llm_signals_at": null, "llm_extraction_run_id": null, "llm_extraction_extracted_at": null, "llm_extraction_field_sources": { "seniority": { "field": "seniority", "source": "llm:greenfield:inv_371_postfix", "db_column": "seniority" }, "k401_match": { "source": "dol_form_5500", "source_url": null, "source_fields": [ "EMPLR_CONTRIB_INCOME_AMT" ], "source_label": "DOL Form 5500 filing" }, "equity_type": { "source": "sec_10k", "source_url": "https://www.sec.gov/Archives/edgar/data/882095/000088209526000006/gild-20251231.htm", "source_fields": [ "equity_offered", "equity_type" ] }, "salary_type": { "field": "salary_type", "source": "llm:greenfield:inv_371_postfix", "db_column": "salary_type" }, "role_function": { "field": "role_function", "source": "rule", "db_column": "role_function" }, "equity_included": { "source": "sec_10k", "source_url": "https://www.sec.gov/Archives/edgar/data/882095/000088209526000006/gild-20251231.htm", "source_fields": [ "equity_offered", "equity_type" ] }, "education_required": { "field": "education_required", "source": "llm:greenfield:inv_371_postfix", "db_column": "education_required" } }, "seniority": "mid", "seniority_source": "llm:greenfield:inv_371_postfix", "years_experience_min": 3, "years_experience_max": 7, "role_function": "legal", "role_function_source": "rule", "company_stage": null, "company_stage_source": null, "employer_industry": "Healthcare", "employer_industry_source": "wikidata_sparql_industry", "employer_size": "5000+", "quality_score": 35, "travel_pct": null, "requires_shift": null, "shift_type": "unknown", "shift_type_source": null, "weekend_work": "unknown", "weekend_work_source": null, "relocation_assistance_source": null, "contractor_w2": "unknown", "required_timezone": null, "fertility_family_building_benefits_source": null, "mental_health_support_source": null, "adoption_assistance_offered_source": null, "childcare_subsidy_source": null, "learning_budget_offered_source": null, "surrogacy_assistance_offered_source": null, "cover_letter_required": null, "cover_letter_required_source": null, "assessment_required": null, "assessment_required_source": null, "application_deadline": null, "application_deadline_source": null, "visa_sponsorship": false, "us_citizenship_required": false, "security_clearance": "none", "education_required": "none", "roll_up_count": null, "roll_up_total_locations": null, "explanations": [ { "schema_version": "inv382.match_signal.v1", "signal_id": "sig.query.description_excerpt.cff6c3bde3d6effb50", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "8a0ce7019fde47565dbdb1074855baa6", "signal_type": "query_match", "display_text": "Description: \"formal\"", "tooltip": "Description matched \"formal\" from your search.", "source_binding": "bm25_field_evidence", "source_field": "description_excerpt", "source_value": "Filing and Formalities IP Paralegal I United States - California - Foster City posted: Posted 16 Days Ago", "matched_input": "formal", "derivation_source": "candidate_result.raw_match_evidence", "candidate_evidence_id": "ev:gq_08ad77e7e6c643ef20c4:8a0ce7019fde47565dbdb1074855baa6:description:formal", "rerank_evidence_id": null, "taxonomy_alias_id": null, "oracle_verification_method": "candidate_evidence_exists", "counts_for_non_trivial_query": true, "truth_verified": true, "exact": true, "priority": 90, "mobile_priority": 1, "ui": { "icon": "Search", "tone": "match", "href": null } }, { "schema_version": "inv382.match_signal.v1", "signal_id": "sig.query.title.434e6b1e38b516bcb9", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "8a0ce7019fde47565dbdb1074855baa6", "signal_type": "query_match", "display_text": "Title: \"formal\"", "tooltip": "Title matched \"formal\" from your search.", "source_binding": "bm25_field_evidence", "source_field": "title", "source_value": "Filing and Formalities IP Paralegal I", "matched_input": "formal", "derivation_source": "candidate_result.raw_match_evidence", "candidate_evidence_id": "ev:gq_08ad77e7e6c643ef20c4:8a0ce7019fde47565dbdb1074855baa6:title:formal", "rerank_evidence_id": null, "taxonomy_alias_id": null, "oracle_verification_method": "candidate_evidence_exists", "counts_for_non_trivial_query": true, "truth_verified": true, "exact": true, "priority": 90, "mobile_priority": 1, "ui": { "icon": "Search", "tone": "match", "href": null } }, { "schema_version": "inv382.match_signal.v1", "signal_id": "sig.query.title.6d1a9c519a7cae69d7", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "8a0ce7019fde47565dbdb1074855baa6", "signal_type": "query_match", "display_text": "Title: \"formal\"", "tooltip": "Title contains \"formal\" from your search.", "source_binding": "token_match", "source_field": "title", "source_value": "Filing and Formalities IP Paralegal I", "matched_input": "formal", "derivation_source": "row_field", "candidate_evidence_id": null, "rerank_evidence_id": null, "taxonomy_alias_id": null, "oracle_verification_method": "row_field_contains", "counts_for_non_trivial_query": true, "truth_verified": true, "exact": true, "priority": 80, "mobile_priority": 2, "ui": { "icon": "SearchCheck", "tone": "match", "href": null } } ], "source_label": "DOL Form 5500 filing", "parental_leave_source_label": null, "k401_match_source_label": "DOL Form 5500 filing", "k401_contribution_source_label": "DOL Form 5500 filing", "apply_url_checked_at": null, "apply_url_verification_status": "not_reachable_or_not_checked", "apply_url_verification_label": "Not checked or not reachable at last crawl", "field_source_signals": { "equity_included": { "tier": "government", "verified": true, "label": "Verified - SEC 10-K", "source_label": "SEC 10-K", "href": "https://www.sec.gov/Archives/edgar/data/882095/000088209526000006/gild-20251231.htm", "source_values": [ "sec_10k", "https://www.sec.gov/Archives/edgar/data/882095/000088209526000006/gild-20251231.htm" ], "checked_at": null }, "k401_match": { "tier": "government", "verified": true, "label": "Verified - DOL Form 5500", "source_label": "DOL Form 5500", "href": null, "source_values": [ "dol_form_5500", "EMPLR_CONTRIB_INCOME_AMT" ], "checked_at": "2026-06-13T01:18:42.546Z" }, "seniority": { "tier": "posting", "verified": true, "label": "From the posting", "source_label": "the posting", "href": "https://gilead.wd1.myworkdayjobs.com/gileadcareers/job/United-States---California---Foster-City/Filing-and-Formalities-IP-Paralegal-I_R0051706-1", "source_values": [ "llm:greenfield:inv_371_postfix" ], "checked_at": null }, "role_function": { "tier": "posting", "verified": true, "label": "From the posting", "source_label": "the posting", "href": "https://gilead.wd1.myworkdayjobs.com/gileadcareers/job/United-States---California---Foster-City/Filing-and-Formalities-IP-Paralegal-I_R0051706-1", "source_values": [ "rule" ], "checked_at": null }, "employer_industry": { "tier": "government", "verified": true, "label": "Verified - Wikidata", "source_label": "Wikidata", "href": null, "source_values": [ "wikidata_sparql_industry" ], "checked_at": null } } }, { "id": "ebb23dd35e0c5aefafeafb526f585328", "title": "Senior Chip Design Engineer, Formal Verification", "employer_name": "NVIDIA Corporation", "employer_slug": "nvidia", "location_text": "Israel, Tel Aviv", "country": "IL", "employment_type": "unknown", "remote_status": "unspecified", "remote_status_source": null, "remote_status_enriched_at": null, "days_in_office": null, "timezone_overlap_hours": 3, "salary_min": null, "salary_max": null, "salary_min_source": null, "salary_max_source": null, "salary_currency": "UNSPECIFIED", "salary_type": "unknown", "salary_type_source": null, "salary_type_enriched_at": null, "salary_period": null, "base_salary_min": null, "base_salary_max": null, "salary_disclosed": false, "equity_included": true, "equity_included_source": null, "equity_type": [ "rsu", "options", "espp" ], "k401_match": "yes", "match_401k_pct": null, "match_401k_pct_source": null, "k401_match_source_url": null, "k401_match_source_fields": [ "EMPLR_CONTRIB_INCOME_AMT" ], "k401_contribution_source_url": null, "k401_contribution_source_fields": [ "EMPLR_CONTRIB_INCOME_AMT" ], "profit_sharing": false, "bonus_offered": false, "mental_health_support": null, "childcare_subsidy": null, "fertility_family_building_benefits": null, "adoption_assistance_offered": null, "surrogacy_assistance_offered": null, "student_loan_repayment_offered": null, "learning_budget_offered": null, "relocation_assistance": null, "top_startup_sources": [], "posted_at": "2026-05-12T00:00:00.000Z", "apply_url": "https://nvidia.wd5.myworkdayjobs.com/NVIDIAExternalCareerSite/job/Israel-Tel-Aviv/Senior-Chip-Design-Engineer--Formal-Verification_JR2017792", "apply_url_verified": false, "ats": "workday", "url_last_checked_alive": null, "removed_at": null, "description_excerpt": "Senior Chip Design Engineer, Formal Verification Israel, Tel Aviv posted: Posted 30+ Days Ago", "parental_leave_weeks": null, "non_birth_parent_leave_weeks": null, "parental_leave_weeks_source": null, "non_birth_parent_leave_weeks_source": null, "parental_leave_source_url": null, "pto_days": null, "unlimited_pto": false, "sabbatical_eligible": false, "family_friendly_score": 40, "benefit_verified": true, "benefit_last_verified": "2026-06-13T01:18:42.546Z", "hire_states_allowed": [], "state_eligibility_source": null, "state_eligibility_enriched_at": null, "llm_quality_pass_at": null, "llm_signals_at": null, "llm_extraction_run_id": null, "llm_extraction_extracted_at": null, "llm_extraction_field_sources": { "seniority": { "field": "seniority", "source": "llm:greenfield:inv_371_postfix", "db_column": "seniority" }, "k401_match": { "source": "dol_form_5500", "source_url": null, "source_fields": [ "EMPLR_CONTRIB_INCOME_AMT" ], "source_label": "DOL Form 5500 filing" }, "equity_type": { "source": "sec_10k", "source_url": "https://www.sec.gov/Archives/edgar/data/1045810/000104581026000021/nvda-20260125.htm", "source_fields": [ "equity_offered", "equity_type" ] }, "salary_type": { "field": "salary_type", "source": "llm:greenfield:inv_371_postfix", "db_column": "salary_type" }, "role_function": { "field": "role_function", "source": "rule", "db_column": "role_function" }, "equity_included": { "source": "sec_10k", "source_url": "https://www.sec.gov/Archives/edgar/data/1045810/000104581026000021/nvda-20260125.htm", "source_fields": [ "equity_offered", "equity_type" ] }, "education_required": { "field": "education_required", "source": "llm:greenfield:inv_371_postfix", "db_column": "education_required" } }, "seniority": "senior", "seniority_source": "llm:greenfield:inv_371_postfix", "years_experience_min": 5, "years_experience_max": 9, "role_function": "data", "role_function_source": "rule", "company_stage": null, "company_stage_source": null, "employer_industry": "Technology", "employer_industry_source": "wikidata_sparql_industry", "employer_size": "5000+", "quality_score": 35, "travel_pct": null, "requires_shift": null, "shift_type": "unknown", "shift_type_source": null, "weekend_work": "unknown", "weekend_work_source": null, "relocation_assistance_source": null, "contractor_w2": "unknown", "required_timezone": null, "fertility_family_building_benefits_source": null, "mental_health_support_source": null, "adoption_assistance_offered_source": null, "childcare_subsidy_source": null, "learning_budget_offered_source": null, "surrogacy_assistance_offered_source": null, "cover_letter_required": null, "cover_letter_required_source": null, "assessment_required": null, "assessment_required_source": null, "application_deadline": null, "application_deadline_source": null, "visa_sponsorship": false, "us_citizenship_required": false, "security_clearance": "none", "education_required": "none", "roll_up_count": null, "roll_up_total_locations": null, "explanations": [ { "schema_version": "inv382.match_signal.v1", "signal_id": "sig.query.description_excerpt.a1902e0d558fb5f591", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "ebb23dd35e0c5aefafeafb526f585328", "signal_type": "query_match", "display_text": "Description: \"formal\"", "tooltip": "Description matched \"formal\" from your search.", "source_binding": "bm25_field_evidence", "source_field": "description_excerpt", "source_value": "Senior Chip Design Engineer, Formal Verification Israel, Tel Aviv posted: Posted 30+ Days Ago", "matched_input": "formal", "derivation_source": "candidate_result.raw_match_evidence", "candidate_evidence_id": "ev:gq_08ad77e7e6c643ef20c4:ebb23dd35e0c5aefafeafb526f585328:description:formal", "rerank_evidence_id": null, "taxonomy_alias_id": null, "oracle_verification_method": "candidate_evidence_exists", "counts_for_non_trivial_query": true, "truth_verified": true, "exact": true, "priority": 90, "mobile_priority": 1, "ui": { "icon": "Search", "tone": "match", "href": null } }, { "schema_version": "inv382.match_signal.v1", "signal_id": "sig.query.title.4e311272dd54e5f6e8", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "ebb23dd35e0c5aefafeafb526f585328", "signal_type": "query_match", "display_text": "Title: \"formal\"", "tooltip": "Title matched \"formal\" from your search.", "source_binding": "bm25_field_evidence", "source_field": "title", "source_value": "Senior Chip Design Engineer, Formal Verification", "matched_input": "formal", "derivation_source": "candidate_result.raw_match_evidence", "candidate_evidence_id": "ev:gq_08ad77e7e6c643ef20c4:ebb23dd35e0c5aefafeafb526f585328:title:formal", "rerank_evidence_id": null, "taxonomy_alias_id": null, "oracle_verification_method": "candidate_evidence_exists", "counts_for_non_trivial_query": true, "truth_verified": true, "exact": true, "priority": 90, "mobile_priority": 1, "ui": { "icon": "Search", "tone": "match", "href": null } }, { "schema_version": "inv382.match_signal.v1", "signal_id": "sig.query.title.9a239b1ba841d1c859", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "ebb23dd35e0c5aefafeafb526f585328", "signal_type": "query_match", "display_text": "Title: \"formal\"", "tooltip": "Title contains \"formal\" from your search.", "source_binding": "token_match", "source_field": "title", "source_value": "Senior Chip Design Engineer, Formal Verification", "matched_input": "formal", "derivation_source": "row_field", "candidate_evidence_id": null, "rerank_evidence_id": null, "taxonomy_alias_id": null, "oracle_verification_method": "row_field_contains", "counts_for_non_trivial_query": true, "truth_verified": true, "exact": true, "priority": 80, "mobile_priority": 2, "ui": { "icon": "SearchCheck", "tone": "match", "href": null } } ], "source_label": "DOL Form 5500 filing", "parental_leave_source_label": null, "k401_match_source_label": "DOL Form 5500 filing", "k401_contribution_source_label": "DOL Form 5500 filing", "apply_url_checked_at": null, "apply_url_verification_status": "not_reachable_or_not_checked", "apply_url_verification_label": "Not checked or not reachable at last crawl", "field_source_signals": { "equity_included": { "tier": "government", "verified": true, "label": "Verified - SEC 10-K", "source_label": "SEC 10-K", "href": "https://www.sec.gov/Archives/edgar/data/1045810/000104581026000021/nvda-20260125.htm", "source_values": [ "sec_10k", "https://www.sec.gov/Archives/edgar/data/1045810/000104581026000021/nvda-20260125.htm" ], "checked_at": null }, "k401_match": { "tier": "government", "verified": true, "label": "Verified - DOL Form 5500", "source_label": "DOL Form 5500", "href": null, "source_values": [ "dol_form_5500", "EMPLR_CONTRIB_INCOME_AMT" ], "checked_at": "2026-06-13T01:18:42.546Z" }, "seniority": { "tier": "posting", "verified": true, "label": "From the posting", "source_label": "the posting", "href": "https://nvidia.wd5.myworkdayjobs.com/NVIDIAExternalCareerSite/job/Israel-Tel-Aviv/Senior-Chip-Design-Engineer--Formal-Verification_JR2017792", "source_values": [ "llm:greenfield:inv_371_postfix" ], "checked_at": null }, "role_function": { "tier": "posting", "verified": true, "label": "From the posting", "source_label": "the posting", "href": "https://nvidia.wd5.myworkdayjobs.com/NVIDIAExternalCareerSite/job/Israel-Tel-Aviv/Senior-Chip-Design-Engineer--Formal-Verification_JR2017792", "source_values": [ "rule" ], "checked_at": null }, "employer_industry": { "tier": "government", "verified": true, "label": "Verified - Wikidata", "source_label": "Wikidata", "href": null, "source_values": [ "wikidata_sparql_industry" ], "checked_at": null } } }, { "id": "1bc17dcc8bf13cb75eb31a4eaf4aa40a", "title": "Application Engineer Manager – Formal Verification and Functional Simulation", "employer_name": "Cadence Design Systems, Inc.", "employer_slug": "cadence-design-systems", "location_text": "BELO HORIZONTE", "country": "unknown", "employment_type": "unknown", "remote_status": "unspecified", "remote_status_source": null, "remote_status_enriched_at": null, "days_in_office": null, "timezone_overlap_hours": 3, "salary_min": null, "salary_max": null, "salary_min_source": null, "salary_max_source": null, "salary_currency": "UNSPECIFIED", "salary_type": "unknown", "salary_type_source": null, "salary_type_enriched_at": null, "salary_period": null, "base_salary_min": null, "base_salary_max": null, "salary_disclosed": false, "equity_included": true, "equity_included_source": null, "equity_type": [ "rsu", "options", "espp" ], "k401_match": "yes", "match_401k_pct": null, "match_401k_pct_source": null, "k401_match_source_url": null, "k401_match_source_fields": [ "EMPLR_CONTRIB_INCOME_AMT" ], "k401_contribution_source_url": null, "k401_contribution_source_fields": [ "EMPLR_CONTRIB_INCOME_AMT" ], "profit_sharing": false, "bonus_offered": false, "mental_health_support": null, "childcare_subsidy": null, "fertility_family_building_benefits": null, "adoption_assistance_offered": null, "surrogacy_assistance_offered": null, "student_loan_repayment_offered": null, "learning_budget_offered": null, "relocation_assistance": null, "top_startup_sources": [], "posted_at": "2026-05-12T00:00:00.000Z", "apply_url": "https://cadence.wd1.myworkdayjobs.com/External_Careers/job/BELO-HORIZONTE/Application-Engineer-Manager---Formal-Verification-and-Functional-Simulation_R54474-1", "apply_url_verified": false, "ats": "workday", "url_last_checked_alive": null, "removed_at": null, "description_excerpt": "Application Engineer Manager – Formal Verification and Functional Simulation BELO HORIZONTE posted: Posted 30+ Days Ago", "parental_leave_weeks": null, "non_birth_parent_leave_weeks": null, "parental_leave_weeks_source": null, "non_birth_parent_leave_weeks_source": null, "parental_leave_source_url": null, "pto_days": null, "unlimited_pto": false, "sabbatical_eligible": false, "family_friendly_score": 40, "benefit_verified": true, "benefit_last_verified": "2026-06-07T00:00:00Z", "hire_states_allowed": [], "state_eligibility_source": null, "state_eligibility_enriched_at": null, "llm_quality_pass_at": null, "llm_signals_at": null, "llm_extraction_run_id": null, "llm_extraction_extracted_at": null, "llm_extraction_field_sources": { "seniority": { "field": "seniority", "source": "llm:greenfield:inv_371_postfix", "db_column": "seniority" }, "k401_match": { "source": "dol_form_5500", "source_url": null, "source_fields": [ "EMPLR_CONTRIB_INCOME_AMT" ], "source_label": "DOL Form 5500 filing" }, "equity_type": { "source": "sec_10k", "source_url": "https://www.sec.gov/Archives/edgar/data/813672/000081367226000016/cdns-20251231.htm", "source_fields": [ "equity_offered", "equity_type" ] }, "salary_type": { "field": "salary_type", "source": "llm:greenfield:inv_371_postfix", "db_column": "salary_type" }, "role_function": { "field": "role_function", "source": "rule", "db_column": "role_function" }, "equity_included": { "source": "sec_10k", "source_url": "https://www.sec.gov/Archives/edgar/data/813672/000081367226000016/cdns-20251231.htm", "source_fields": [ "equity_offered", "equity_type" ] }, "education_required": { "field": "education_required", "source": "llm:greenfield:inv_371_postfix", "db_column": "education_required" } }, "seniority": "senior", "seniority_source": "llm:greenfield:inv_371_postfix", "years_experience_min": 5, "years_experience_max": 9, "role_function": "data", "role_function_source": "rule", "company_stage": null, "company_stage_source": null, "employer_industry": "Technology", "employer_industry_source": "wikidata_sparql_industry", "employer_size": "5000+", "quality_score": 35, "travel_pct": null, "requires_shift": null, "shift_type": "unknown", "shift_type_source": null, "weekend_work": "unknown", "weekend_work_source": null, "relocation_assistance_source": null, "contractor_w2": "unknown", "required_timezone": null, "fertility_family_building_benefits_source": null, "mental_health_support_source": null, "adoption_assistance_offered_source": null, "childcare_subsidy_source": null, "learning_budget_offered_source": null, "surrogacy_assistance_offered_source": null, "cover_letter_required": null, "cover_letter_required_source": null, "assessment_required": null, "assessment_required_source": null, "application_deadline": null, "application_deadline_source": null, "visa_sponsorship": false, "us_citizenship_required": false, "security_clearance": "none", "education_required": "none", "roll_up_count": null, "roll_up_total_locations": null, "explanations": [ { "schema_version": "inv382.match_signal.v1", "signal_id": "sig.query.description_excerpt.5601f1db25fb9ad083", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "1bc17dcc8bf13cb75eb31a4eaf4aa40a", "signal_type": "query_match", "display_text": "Description: \"formal\"", "tooltip": "Description matched \"formal\" from your search.", "source_binding": "bm25_field_evidence", "source_field": "description_excerpt", "source_value": "Application Engineer Manager – Formal Verification and Functional Simulation BELO HORIZONTE posted: Posted 30+ Days Ago", "matched_input": "formal", "derivation_source": "candidate_result.raw_match_evidence", "candidate_evidence_id": "ev:gq_08ad77e7e6c643ef20c4:1bc17dcc8bf13cb75eb31a4eaf4aa40a:description:formal", "rerank_evidence_id": null, "taxonomy_alias_id": null, "oracle_verification_method": "candidate_evidence_exists", "counts_for_non_trivial_query": true, "truth_verified": true, "exact": true, "priority": 90, "mobile_priority": 1, "ui": { "icon": "Search", "tone": "match", "href": null } }, { "schema_version": "inv382.match_signal.v1", "signal_id": "sig.query.title.5d1f12e762c52c50ee", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "1bc17dcc8bf13cb75eb31a4eaf4aa40a", "signal_type": "query_match", "display_text": "Title: \"formal\"", "tooltip": "Title matched \"formal\" from your search.", "source_binding": "bm25_field_evidence", "source_field": "title", "source_value": "Application Engineer Manager – Formal Verification and Functional Simulation", "matched_input": "formal", "derivation_source": "candidate_result.raw_match_evidence", "candidate_evidence_id": "ev:gq_08ad77e7e6c643ef20c4:1bc17dcc8bf13cb75eb31a4eaf4aa40a:title:formal", "rerank_evidence_id": null, "taxonomy_alias_id": null, "oracle_verification_method": "candidate_evidence_exists", "counts_for_non_trivial_query": true, "truth_verified": true, "exact": true, "priority": 90, "mobile_priority": 1, "ui": { "icon": "Search", "tone": "match", "href": null } }, { "schema_version": "inv382.match_signal.v1", "signal_id": "sig.query.title.2d830964eb21974ea4", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "1bc17dcc8bf13cb75eb31a4eaf4aa40a", "signal_type": "query_match", "display_text": "Title: \"formal\"", "tooltip": "Title contains \"formal\" from your search.", "source_binding": "token_match", "source_field": "title", "source_value": "Application Engineer Manager – Formal Verification and Functional Simulation", "matched_input": "formal", "derivation_source": "row_field", "candidate_evidence_id": null, "rerank_evidence_id": null, "taxonomy_alias_id": null, "oracle_verification_method": "row_field_contains", "counts_for_non_trivial_query": true, "truth_verified": true, "exact": true, "priority": 80, "mobile_priority": 2, "ui": { "icon": "SearchCheck", "tone": "match", "href": null } } ], "source_label": "DOL Form 5500 filing", "parental_leave_source_label": null, "k401_match_source_label": "DOL Form 5500 filing", "k401_contribution_source_label": "DOL Form 5500 filing", "apply_url_checked_at": null, "apply_url_verification_status": "not_reachable_or_not_checked", "apply_url_verification_label": "Not checked or not reachable at last crawl", "field_source_signals": { "equity_included": { "tier": "government", "verified": true, "label": "Verified - SEC 10-K", "source_label": "SEC 10-K", "href": "https://www.sec.gov/Archives/edgar/data/813672/000081367226000016/cdns-20251231.htm", "source_values": [ "sec_10k", "https://www.sec.gov/Archives/edgar/data/813672/000081367226000016/cdns-20251231.htm" ], "checked_at": null }, "k401_match": { "tier": "government", "verified": true, "label": "Verified - DOL Form 5500", "source_label": "DOL Form 5500", "href": null, "source_values": [ "dol_form_5500", "EMPLR_CONTRIB_INCOME_AMT" ], "checked_at": "2026-06-07T00:00:00Z" }, "seniority": { "tier": "posting", "verified": true, "label": "From the posting", "source_label": "the posting", "href": "https://cadence.wd1.myworkdayjobs.com/External_Careers/job/BELO-HORIZONTE/Application-Engineer-Manager---Formal-Verification-and-Functional-Simulation_R54474-1", "source_values": [ "llm:greenfield:inv_371_postfix" ], "checked_at": null }, "role_function": { "tier": "posting", "verified": true, "label": "From the posting", "source_label": "the posting", "href": "https://cadence.wd1.myworkdayjobs.com/External_Careers/job/BELO-HORIZONTE/Application-Engineer-Manager---Formal-Verification-and-Functional-Simulation_R54474-1", "source_values": [ "rule" ], "checked_at": null }, "employer_industry": { "tier": "government", "verified": true, "label": "Verified - Wikidata", "source_label": "Wikidata", "href": null, "source_values": [ "wikidata_sparql_industry" ], "checked_at": null } } }, { "id": "ce6f7e9e12e6131b00727793c79a382e", "title": "ελληνικά - CY", "employer_name": "L'Oréal", "employer_slug": "l-or-al", "location_text": "Location not specified", "country": "unknown", "employment_type": "unknown", "remote_status": "unspecified", "remote_status_source": null, "remote_status_enriched_at": null, "days_in_office": null, "timezone_overlap_hours": 3, "salary_min": null, "salary_max": null, "salary_min_source": null, "salary_max_source": null, "salary_currency": "UNSPECIFIED", "salary_type": "unknown", "salary_type_source": null, "salary_type_enriched_at": null, "salary_period": null, "base_salary_min": null, "base_salary_max": null, "salary_disclosed": false, "equity_included": false, "equity_included_source": null, "equity_type": [ "none" ], "k401_match": null, "match_401k_pct": null, "match_401k_pct_source": null, "k401_match_source_url": null, "k401_match_source_fields": [], "k401_contribution_source_url": null, "k401_contribution_source_fields": [], "profit_sharing": false, "bonus_offered": false, "mental_health_support": null, "childcare_subsidy": null, "fertility_family_building_benefits": null, "adoption_assistance_offered": null, "surrogacy_assistance_offered": null, "student_loan_repayment_offered": null, "learning_budget_offered": null, "relocation_assistance": null, "top_startup_sources": [], "posted_at": "2026-06-10T03:52:15.000Z", "apply_url": "https://careers.loreal.com/el_CY/jobs/SearchJobs?keyword=operations&page=1", "apply_url_verified": false, "ats": "avature", "url_last_checked_alive": null, "removed_at": null, "description_excerpt": "ελληνικά - CY", "parental_leave_weeks": null, "non_birth_parent_leave_weeks": null, "parental_leave_weeks_source": null, "non_birth_parent_leave_weeks_source": null, "parental_leave_source_url": null, "pto_days": null, "unlimited_pto": false, "sabbatical_eligible": false, "family_friendly_score": 40, "benefit_verified": false, "benefit_last_verified": null, "hire_states_allowed": [], "state_eligibility_source": null, "state_eligibility_enriched_at": null, "llm_quality_pass_at": null, "llm_signals_at": null, "llm_extraction_run_id": null, "llm_extraction_extracted_at": null, "llm_extraction_field_sources": { "seniority": { "field": "seniority", "source": "llm:greenfield:inv_371_postfix", "db_column": "seniority" }, "salary_type": { "field": "salary_type", "source": "llm:greenfield:inv_371_postfix", "db_column": "salary_type" }, "education_required": { "field": "education_required", "source": "llm:greenfield:inv_371_postfix", "db_column": "education_required" } }, "seniority": "mid", "seniority_source": "llm:greenfield:inv_371_postfix", "years_experience_min": 3, "years_experience_max": 7, "role_function": "other", "role_function_source": "unknown", "company_stage": null, "company_stage_source": null, "employer_industry": null, "employer_industry_source": null, "employer_size": null, "quality_score": 35, "travel_pct": null, "requires_shift": null, "shift_type": "unknown", "shift_type_source": null, "weekend_work": "unknown", "weekend_work_source": null, "relocation_assistance_source": null, "contractor_w2": "unknown", "required_timezone": null, "fertility_family_building_benefits_source": null, "mental_health_support_source": null, "adoption_assistance_offered_source": null, "childcare_subsidy_source": null, "learning_budget_offered_source": null, "surrogacy_assistance_offered_source": null, "cover_letter_required": null, "cover_letter_required_source": null, "assessment_required": null, "assessment_required_source": null, "application_deadline": null, "application_deadline_source": null, "visa_sponsorship": false, "us_citizenship_required": false, "security_clearance": "none", "education_required": "none", "roll_up_count": null, "roll_up_total_locations": null, "explanations": [ { "schema_version": "inv382.match_signal.v1", "signal_id": "sig.semantic.role_function.90337a74caae2a89ae", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "ce6f7e9e12e6131b00727793c79a382e", "signal_type": "query_match", "display_text": "Role: semantic match", "tooltip": "Role provided semantic evidence for your search intent.", "source_binding": "vector_semantic_evidence", "source_field": "role_function", "source_value": "other", "matched_input": "formal", "derivation_source": "candidate_result.raw_match_evidence", "candidate_evidence_id": "ev:gq_08ad77e7e6c643ef20c4:ce6f7e9e12e6131b00727793c79a382e:vector", "rerank_evidence_id": null, "taxonomy_alias_id": null, "oracle_verification_method": "candidate_evidence_exists", "counts_for_non_trivial_query": true, "truth_verified": true, "exact": false, "priority": 74, "mobile_priority": 2, "ui": { "icon": "Sparkles", "tone": "match", "href": null } } ], "parental_leave_source_label": null, "k401_match_source_label": null, "k401_contribution_source_label": null, "apply_url_checked_at": null, "apply_url_verification_status": "not_reachable_or_not_checked", "apply_url_verification_label": "Not checked or not reachable at last crawl", "field_source_signals": { "equity_included": { "tier": "inferred", "verified": false, "label": "Inferred - source not recorded", "source_label": "source not recorded", "href": null, "source_values": [], "checked_at": null }, "seniority": { "tier": "posting", "verified": true, "label": "From the posting", "source_label": "the posting", "href": "https://careers.loreal.com/el_CY/jobs/SearchJobs?keyword=operations&page=1", "source_values": [ "llm:greenfield:inv_371_postfix" ], "checked_at": null } } }, { "id": "5ef11e5b11fbb12493d2c7bbe254c935", "title": "Senior Formal Verification Engineer, GPU Kernels", "employer_name": "NVIDIA Corporation", "employer_slug": "nvidia", "location_text": "US, CA, Santa Clara", "country": "US", "employment_type": "unknown", "remote_status": "unspecified", "remote_status_source": null, "remote_status_enriched_at": null, "days_in_office": null, "timezone_overlap_hours": 6, "salary_min": null, "salary_max": null, "salary_min_source": null, "salary_max_source": null, "salary_currency": "USD", "salary_type": "unknown", "salary_type_source": null, "salary_type_enriched_at": null, "salary_period": null, "base_salary_min": null, "base_salary_max": null, "salary_disclosed": false, "equity_included": true, "equity_included_source": null, "equity_type": [ "rsu", "options", "espp" ], "k401_match": "yes", "match_401k_pct": null, "match_401k_pct_source": null, "k401_match_source_url": null, "k401_match_source_fields": [ "EMPLR_CONTRIB_INCOME_AMT" ], "k401_contribution_source_url": null, "k401_contribution_source_fields": [ "EMPLR_CONTRIB_INCOME_AMT" ], "profit_sharing": false, "bonus_offered": false, "mental_health_support": null, "childcare_subsidy": null, "fertility_family_building_benefits": null, "adoption_assistance_offered": null, "surrogacy_assistance_offered": null, "student_loan_repayment_offered": null, "learning_budget_offered": null, "relocation_assistance": null, "top_startup_sources": [], "posted_at": "2026-05-12T00:00:00.000Z", "apply_url": "https://nvidia.wd5.myworkdayjobs.com/NVIDIAExternalCareerSite/job/US-CA-Santa-Clara/Senior-Formal-Verification-Engineer--GPU-Kernels_JR2016917", "apply_url_verified": false, "ats": "workday", "url_last_checked_alive": null, "removed_at": null, "description_excerpt": "Senior Formal Verification Engineer, GPU Kernels US, CA, Santa Clara posted: Posted 30+ Days Ago", "parental_leave_weeks": null, "non_birth_parent_leave_weeks": null, "parental_leave_weeks_source": null, "non_birth_parent_leave_weeks_source": null, "parental_leave_source_url": null, "pto_days": null, "unlimited_pto": false, "sabbatical_eligible": false, "family_friendly_score": 40, "benefit_verified": true, "benefit_last_verified": "2026-06-13T01:18:42.546Z", "hire_states_allowed": [], "state_eligibility_source": null, "state_eligibility_enriched_at": null, "llm_quality_pass_at": null, "llm_signals_at": null, "llm_extraction_run_id": null, "llm_extraction_extracted_at": null, "llm_extraction_field_sources": { "seniority": { "field": "seniority", "source": "llm:greenfield:inv_371_postfix", "db_column": "seniority" }, "k401_match": { "source": "dol_form_5500", "source_url": null, "source_fields": [ "EMPLR_CONTRIB_INCOME_AMT" ], "source_label": "DOL Form 5500 filing" }, "equity_type": { "source": "sec_10k", "source_url": "https://www.sec.gov/Archives/edgar/data/1045810/000104581026000021/nvda-20260125.htm", "source_fields": [ "equity_offered", "equity_type" ] }, "salary_type": { "field": "salary_type", "source": "llm:greenfield:inv_371_postfix", "db_column": "salary_type" }, "role_function": { "field": "role_function", "source": "rule", "db_column": "role_function" }, "equity_included": { "source": "sec_10k", "source_url": "https://www.sec.gov/Archives/edgar/data/1045810/000104581026000021/nvda-20260125.htm", "source_fields": [ "equity_offered", "equity_type" ] }, "education_required": { "field": "education_required", "source": "llm:greenfield:inv_371_postfix", "db_column": "education_required" } }, "seniority": "senior", "seniority_source": "llm:greenfield:inv_371_postfix", "years_experience_min": 5, "years_experience_max": 9, "role_function": "data", "role_function_source": "rule", "company_stage": null, "company_stage_source": null, "employer_industry": "Technology", "employer_industry_source": "wikidata_sparql_industry", "employer_size": "5000+", "quality_score": 35, "travel_pct": null, "requires_shift": null, "shift_type": "unknown", "shift_type_source": null, "weekend_work": "unknown", "weekend_work_source": null, "relocation_assistance_source": null, "contractor_w2": "unknown", "required_timezone": null, "fertility_family_building_benefits_source": null, "mental_health_support_source": null, "adoption_assistance_offered_source": null, "childcare_subsidy_source": null, "learning_budget_offered_source": null, "surrogacy_assistance_offered_source": null, "cover_letter_required": null, "cover_letter_required_source": null, "assessment_required": null, "assessment_required_source": null, "application_deadline": null, "application_deadline_source": null, "visa_sponsorship": false, "us_citizenship_required": false, "security_clearance": "none", "education_required": "none", "roll_up_count": null, "roll_up_total_locations": null, "explanations": [ { "schema_version": "inv382.match_signal.v1", "signal_id": "sig.query.description_excerpt.a1dafbb312f8520493", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "5ef11e5b11fbb12493d2c7bbe254c935", "signal_type": "query_match", "display_text": "Description: \"formal\"", "tooltip": "Description matched \"formal\" from your search.", "source_binding": "bm25_field_evidence", "source_field": "description_excerpt", "source_value": "Senior Formal Verification Engineer, GPU Kernels US, CA, Santa Clara posted: Posted 30+ Days Ago", "matched_input": "formal", "derivation_source": "candidate_result.raw_match_evidence", "candidate_evidence_id": "ev:gq_08ad77e7e6c643ef20c4:5ef11e5b11fbb12493d2c7bbe254c935:description:formal", "rerank_evidence_id": null, "taxonomy_alias_id": null, "oracle_verification_method": "candidate_evidence_exists", "counts_for_non_trivial_query": true, "truth_verified": true, "exact": true, "priority": 90, "mobile_priority": 1, "ui": { "icon": "Search", "tone": "match", "href": null } }, { "schema_version": "inv382.match_signal.v1", "signal_id": "sig.query.title.876b7821926dc1ec92", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "5ef11e5b11fbb12493d2c7bbe254c935", "signal_type": "query_match", "display_text": "Title: \"formal\"", "tooltip": "Title matched \"formal\" from your search.", "source_binding": "bm25_field_evidence", "source_field": "title", "source_value": "Senior Formal Verification Engineer, GPU Kernels", "matched_input": "formal", "derivation_source": "candidate_result.raw_match_evidence", "candidate_evidence_id": "ev:gq_08ad77e7e6c643ef20c4:5ef11e5b11fbb12493d2c7bbe254c935:title:formal", "rerank_evidence_id": null, "taxonomy_alias_id": null, "oracle_verification_method": "candidate_evidence_exists", "counts_for_non_trivial_query": true, "truth_verified": true, "exact": true, "priority": 90, "mobile_priority": 1, "ui": { "icon": "Search", "tone": "match", "href": null } }, { "schema_version": "inv382.match_signal.v1", "signal_id": "sig.query.title.b2d615e283aefc76cf", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "5ef11e5b11fbb12493d2c7bbe254c935", "signal_type": "query_match", "display_text": "Title: \"formal\"", "tooltip": "Title contains \"formal\" from your search.", "source_binding": "token_match", "source_field": "title", "source_value": "Senior Formal Verification Engineer, GPU Kernels", "matched_input": "formal", "derivation_source": "row_field", "candidate_evidence_id": null, "rerank_evidence_id": null, "taxonomy_alias_id": null, "oracle_verification_method": "row_field_contains", "counts_for_non_trivial_query": true, "truth_verified": true, "exact": true, "priority": 80, "mobile_priority": 2, "ui": { "icon": "SearchCheck", "tone": "match", "href": null } } ], "source_label": "DOL Form 5500 filing", "parental_leave_source_label": null, "k401_match_source_label": "DOL Form 5500 filing", "k401_contribution_source_label": "DOL Form 5500 filing", "apply_url_checked_at": null, "apply_url_verification_status": "not_reachable_or_not_checked", "apply_url_verification_label": "Not checked or not reachable at last crawl", "field_source_signals": { "equity_included": { "tier": "government", "verified": true, "label": "Verified - SEC 10-K", "source_label": "SEC 10-K", "href": "https://www.sec.gov/Archives/edgar/data/1045810/000104581026000021/nvda-20260125.htm", "source_values": [ "sec_10k", "https://www.sec.gov/Archives/edgar/data/1045810/000104581026000021/nvda-20260125.htm" ], "checked_at": null }, "k401_match": { "tier": "government", "verified": true, "label": "Verified - DOL Form 5500", "source_label": "DOL Form 5500", "href": null, "source_values": [ "dol_form_5500", "EMPLR_CONTRIB_INCOME_AMT" ], "checked_at": "2026-06-13T01:18:42.546Z" }, "seniority": { "tier": "posting", "verified": true, "label": "From the posting", "source_label": "the posting", "href": "https://nvidia.wd5.myworkdayjobs.com/NVIDIAExternalCareerSite/job/US-CA-Santa-Clara/Senior-Formal-Verification-Engineer--GPU-Kernels_JR2016917", "source_values": [ "llm:greenfield:inv_371_postfix" ], "checked_at": null }, "role_function": { "tier": "posting", "verified": true, "label": "From the posting", "source_label": "the posting", "href": "https://nvidia.wd5.myworkdayjobs.com/NVIDIAExternalCareerSite/job/US-CA-Santa-Clara/Senior-Formal-Verification-Engineer--GPU-Kernels_JR2016917", "source_values": [ "rule" ], "checked_at": null }, "employer_industry": { "tier": "government", "verified": true, "label": "Verified - Wikidata", "source_label": "Wikidata", "href": null, "source_values": [ "wikidata_sparql_industry" ], "checked_at": null } } }, { "id": "08daad0a9678d5310c9280430465fb15", "title": "Comptable H/F", "employer_name": "Revvity", "employer_slug": "revvity", "location_text": "Pouilly En Auxois (IDS)", "country": "unknown", "employment_type": "unknown", "remote_status": "unspecified", "remote_status_source": null, "remote_status_enriched_at": null, "days_in_office": null, "timezone_overlap_hours": 3, "salary_min": null, "salary_max": null, "salary_min_source": null, "salary_max_source": null, "salary_currency": "UNSPECIFIED", "salary_type": "unknown", "salary_type_source": null, "salary_type_enriched_at": null, "salary_period": null, "base_salary_min": null, "base_salary_max": null, "salary_disclosed": false, "equity_included": true, "equity_included_source": null, "equity_type": [ "rsu", "options", "espp" ], "k401_match": null, "match_401k_pct": null, "match_401k_pct_source": null, "k401_match_source_url": null, "k401_match_source_fields": [], "k401_contribution_source_url": null, "k401_contribution_source_fields": [], "profit_sharing": false, "bonus_offered": false, "mental_health_support": null, "childcare_subsidy": null, "fertility_family_building_benefits": null, "adoption_assistance_offered": null, "surrogacy_assistance_offered": null, "student_loan_repayment_offered": null, "learning_budget_offered": null, "relocation_assistance": null, "top_startup_sources": [], "posted_at": "2026-05-19T00:00:00.000Z", "apply_url": "https://revvity.wd103.myworkdayjobs.com/External/job/Pouilly-En-Auxois-IDS/Comptable-H-F_JR-044486", "apply_url_verified": false, "ats": "workday", "url_last_checked_alive": null, "removed_at": null, "description_excerpt": "Comptable H/F Pouilly En Auxois (IDS) posted: Posted 24 Days Ago", "parental_leave_weeks": null, "non_birth_parent_leave_weeks": null, "parental_leave_weeks_source": null, "non_birth_parent_leave_weeks_source": null, "parental_leave_source_url": null, "pto_days": null, "unlimited_pto": false, "sabbatical_eligible": false, "family_friendly_score": 40, "benefit_verified": false, "benefit_last_verified": null, "hire_states_allowed": [], "state_eligibility_source": null, "state_eligibility_enriched_at": null, "llm_quality_pass_at": null, "llm_signals_at": null, "llm_extraction_run_id": null, "llm_extraction_extracted_at": null, "llm_extraction_field_sources": { "seniority": { "field": "seniority", "source": "llm:greenfield:inv_371_postfix", "db_column": "seniority" }, "equity_type": { "source": "sec_10k", "source_url": "https://www.sec.gov/Archives/edgar/data/31791/000003179126000012/revv-20251228.htm", "source_fields": [ "equity_offered", "equity_type" ] }, "salary_type": { "field": "salary_type", "source": "llm:greenfield:inv_371_postfix", "db_column": "salary_type" }, "equity_included": { "source": "sec_10k", "source_url": "https://www.sec.gov/Archives/edgar/data/31791/000003179126000012/revv-20251228.htm", "source_fields": [ "equity_offered", "equity_type" ] }, "education_required": { "field": "education_required", "source": "llm:greenfield:inv_371_postfix", "db_column": "education_required" } }, "seniority": "mid", "seniority_source": "llm:greenfield:inv_371_postfix", "years_experience_min": 3, "years_experience_max": 7, "role_function": "other", "role_function_source": "unknown", "company_stage": null, "company_stage_source": null, "employer_industry": "Healthcare", "employer_industry_source": "wikidata_sparql_industry", "employer_size": "5000+", "quality_score": 35, "travel_pct": null, "requires_shift": null, "shift_type": "unknown", "shift_type_source": null, "weekend_work": "unknown", "weekend_work_source": null, "relocation_assistance_source": null, "contractor_w2": "unknown", "required_timezone": null, "fertility_family_building_benefits_source": null, "mental_health_support_source": null, "adoption_assistance_offered_source": null, "childcare_subsidy_source": null, "learning_budget_offered_source": null, "surrogacy_assistance_offered_source": null, "cover_letter_required": null, "cover_letter_required_source": null, "assessment_required": null, "assessment_required_source": null, "application_deadline": null, "application_deadline_source": null, "visa_sponsorship": false, "us_citizenship_required": false, "security_clearance": "none", "education_required": "none", "roll_up_count": null, "roll_up_total_locations": null, "explanations": [ { "schema_version": "inv382.match_signal.v1", "signal_id": "sig.semantic.role_function.5bab7fc85a48c56b7c", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "08daad0a9678d5310c9280430465fb15", "signal_type": "query_match", "display_text": "Role: semantic match", "tooltip": "Role provided semantic evidence for your search intent.", "source_binding": "vector_semantic_evidence", "source_field": "role_function", "source_value": "other", "matched_input": "formal", "derivation_source": "candidate_result.raw_match_evidence", "candidate_evidence_id": "ev:gq_08ad77e7e6c643ef20c4:08daad0a9678d5310c9280430465fb15:vector", "rerank_evidence_id": null, "taxonomy_alias_id": null, "oracle_verification_method": "candidate_evidence_exists", "counts_for_non_trivial_query": true, "truth_verified": true, "exact": false, "priority": 74, "mobile_priority": 2, "ui": { "icon": "Sparkles", "tone": "match", "href": null } } ], "parental_leave_source_label": null, "k401_match_source_label": null, "k401_contribution_source_label": null, "apply_url_checked_at": null, "apply_url_verification_status": "not_reachable_or_not_checked", "apply_url_verification_label": "Not checked or not reachable at last crawl", "field_source_signals": { "equity_included": { "tier": "government", "verified": true, "label": "Verified - SEC 10-K", "source_label": "SEC 10-K", "href": "https://www.sec.gov/Archives/edgar/data/31791/000003179126000012/revv-20251228.htm", "source_values": [ "sec_10k", "https://www.sec.gov/Archives/edgar/data/31791/000003179126000012/revv-20251228.htm" ], "checked_at": null }, "seniority": { "tier": "posting", "verified": true, "label": "From the posting", "source_label": "the posting", "href": "https://revvity.wd103.myworkdayjobs.com/External/job/Pouilly-En-Auxois-IDS/Comptable-H-F_JR-044486", "source_values": [ "llm:greenfield:inv_371_postfix" ], "checked_at": null }, "employer_industry": { "tier": "government", "verified": true, "label": "Verified - Wikidata", "source_label": "Wikidata", "href": null, "source_values": [ "wikidata_sparql_industry" ], "checked_at": null } } }, { "id": "9e33fa34b3a3fd637c3f69ff6d314cec", "title": "Comptable", "employer_name": "Sysco", "employer_slug": "sysco", "location_text": "Paris Okabe", "country": "FR", "employment_type": "unknown", "remote_status": "unspecified", "remote_status_source": null, "remote_status_enriched_at": null, "days_in_office": null, "timezone_overlap_hours": 3, "salary_min": null, "salary_max": null, "salary_min_source": null, "salary_max_source": null, "salary_currency": "UNSPECIFIED", "salary_type": "unknown", "salary_type_source": null, "salary_type_enriched_at": null, "salary_period": null, "base_salary_min": null, "base_salary_max": null, "salary_disclosed": false, "equity_included": true, "equity_included_source": null, "equity_type": [ "rsu", "options", "espp" ], "k401_match": "yes", "match_401k_pct": null, "match_401k_pct_source": null, "k401_match_source_url": null, "k401_match_source_fields": [ "EMPLR_CONTRIB_INCOME_AMT" ], "k401_contribution_source_url": null, "k401_contribution_source_fields": [ "EMPLR_CONTRIB_INCOME_AMT" ], "profit_sharing": false, "bonus_offered": false, "mental_health_support": null, "childcare_subsidy": null, "fertility_family_building_benefits": null, "adoption_assistance_offered": null, "surrogacy_assistance_offered": null, "student_loan_repayment_offered": null, "learning_budget_offered": null, "relocation_assistance": null, "top_startup_sources": [], "posted_at": "2026-06-12T00:00:00.000Z", "apply_url": "https://sysco.wd5.myworkdayjobs.com/syscocareers/job/Paris-Okabe/Comptable_R251895", "apply_url_verified": false, "ats": "workday", "url_last_checked_alive": null, "removed_at": null, "description_excerpt": "Comptable Paris Okabe posted: Posted Today", "parental_leave_weeks": null, "non_birth_parent_leave_weeks": null, "parental_leave_weeks_source": null, "non_birth_parent_leave_weeks_source": null, "parental_leave_source_url": null, "pto_days": null, "unlimited_pto": false, "sabbatical_eligible": false, "family_friendly_score": 40, "benefit_verified": true, "benefit_last_verified": "2026-06-13T01:18:42.546Z", "hire_states_allowed": [], "state_eligibility_source": null, "state_eligibility_enriched_at": null, "llm_quality_pass_at": null, "llm_signals_at": null, "llm_extraction_run_id": null, "llm_extraction_extracted_at": null, "llm_extraction_field_sources": { "seniority": { "field": "seniority", "source": "llm:greenfield:inv_371_postfix", "db_column": "seniority" }, "k401_match": { "source": "dol_form_5500", "source_url": null, "source_fields": [ "EMPLR_CONTRIB_INCOME_AMT" ], "source_label": "DOL Form 5500 filing" }, "equity_type": { "source": "sec_10k", "source_url": "https://www.sec.gov/Archives/edgar/data/96021/000009602125000099/syy-20250628.htm", "source_fields": [ "equity_offered", "equity_type" ] }, "salary_type": { "field": "salary_type", "source": "llm:greenfield:inv_371_postfix", "db_column": "salary_type" }, "equity_included": { "source": "sec_10k", "source_url": "https://www.sec.gov/Archives/edgar/data/96021/000009602125000099/syy-20250628.htm", "source_fields": [ "equity_offered", "equity_type" ] }, "education_required": { "field": "education_required", "source": "llm:greenfield:inv_371_postfix", "db_column": "education_required" } }, "seniority": "mid", "seniority_source": "llm:greenfield:inv_371_postfix", "years_experience_min": 3, "years_experience_max": 7, "role_function": "other", "role_function_source": "unknown", "company_stage": null, "company_stage_source": null, "employer_industry": null, "employer_industry_source": null, "employer_size": null, "quality_score": 35, "travel_pct": null, "requires_shift": null, "shift_type": "unknown", "shift_type_source": null, "weekend_work": "unknown", "weekend_work_source": null, "relocation_assistance_source": null, "contractor_w2": "unknown", "required_timezone": null, "fertility_family_building_benefits_source": null, "mental_health_support_source": null, "adoption_assistance_offered_source": null, "childcare_subsidy_source": null, "learning_budget_offered_source": null, "surrogacy_assistance_offered_source": null, "cover_letter_required": null, "cover_letter_required_source": null, "assessment_required": null, "assessment_required_source": null, "application_deadline": null, "application_deadline_source": null, "visa_sponsorship": false, "us_citizenship_required": false, "security_clearance": "none", "education_required": "none", "roll_up_count": null, "roll_up_total_locations": null, "explanations": [ { "schema_version": "inv382.match_signal.v1", "signal_id": "sig.semantic.role_function.375ffc225b0023d881", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "9e33fa34b3a3fd637c3f69ff6d314cec", "signal_type": "query_match", "display_text": "Role: semantic match", "tooltip": "Role provided semantic evidence for your search intent.", "source_binding": "vector_semantic_evidence", "source_field": "role_function", "source_value": "other", "matched_input": "formal", "derivation_source": "candidate_result.raw_match_evidence", "candidate_evidence_id": "ev:gq_08ad77e7e6c643ef20c4:9e33fa34b3a3fd637c3f69ff6d314cec:vector", "rerank_evidence_id": null, "taxonomy_alias_id": null, "oracle_verification_method": "candidate_evidence_exists", "counts_for_non_trivial_query": true, "truth_verified": true, "exact": false, "priority": 74, "mobile_priority": 2, "ui": { "icon": "Sparkles", "tone": "match", "href": null } } ], "source_label": "DOL Form 5500 filing", "parental_leave_source_label": null, "k401_match_source_label": "DOL Form 5500 filing", "k401_contribution_source_label": "DOL Form 5500 filing", "apply_url_checked_at": null, "apply_url_verification_status": "not_reachable_or_not_checked", "apply_url_verification_label": "Not checked or not reachable at last crawl", "field_source_signals": { "equity_included": { "tier": "government", "verified": true, "label": "Verified - SEC 10-K", "source_label": "SEC 10-K", "href": "https://www.sec.gov/Archives/edgar/data/96021/000009602125000099/syy-20250628.htm", "source_values": [ "sec_10k", "https://www.sec.gov/Archives/edgar/data/96021/000009602125000099/syy-20250628.htm" ], "checked_at": null }, "k401_match": { "tier": "government", "verified": true, "label": "Verified - DOL Form 5500", "source_label": "DOL Form 5500", "href": null, "source_values": [ "dol_form_5500", "EMPLR_CONTRIB_INCOME_AMT" ], "checked_at": "2026-06-13T01:18:42.546Z" }, "seniority": { "tier": "posting", "verified": true, "label": "From the posting", "source_label": "the posting", "href": "https://sysco.wd5.myworkdayjobs.com/syscocareers/job/Paris-Okabe/Comptable_R251895", "source_values": [ "llm:greenfield:inv_371_postfix" ], "checked_at": null } } }, { "id": "bd49aacdd7760c14e61b0450e14555cd", "title": "ASIC Formal Verification Engineer, Google Cloud", "employer_name": "Google", "employer_slug": "google", "location_text": "Sunnyvale, CA, USA", "country": "US", "employment_type": "unknown", "remote_status": "unspecified", "remote_status_source": null, "remote_status_enriched_at": null, "days_in_office": null, "timezone_overlap_hours": 6, "salary_min": 138000, "salary_max": 198000, "salary_min_source": null, "salary_max_source": null, "salary_currency": "USD", "salary_type": "base", "salary_type_source": null, "salary_type_enriched_at": null, "salary_period": "year", "base_salary_min": 138000, "base_salary_max": 198000, "salary_disclosed": true, "equity_included": true, "equity_included_source": null, "equity_type": [ "rsu" ], "k401_match": "yes", "match_401k_pct": null, "match_401k_pct_source": null, "k401_match_source_url": null, "k401_match_source_fields": [ "EMPLR_CONTRIB_INCOME_AMT" ], "k401_contribution_source_url": null, "k401_contribution_source_fields": [ "EMPLR_CONTRIB_INCOME_AMT" ], "profit_sharing": false, "bonus_offered": false, "mental_health_support": null, "childcare_subsidy": null, "fertility_family_building_benefits": null, "adoption_assistance_offered": null, "surrogacy_assistance_offered": null, "student_loan_repayment_offered": null, "learning_budget_offered": null, "relocation_assistance": null, "top_startup_sources": [], "posted_at": "2026-06-09T13:08:58.000Z", "apply_url": "https://www.google.com/about/careers/applications/signin?jobId=CiUAL2FckfKujx_cAJ5g-xWgjKCUiTkEXdwhqQLzPY2-vOpCZI8EEjsACxwdTA2EipJuLoPD7yU-dqBcZOZnnvy7_pkw98EhTVIQmhKdthAWWVthWuikNODw55o3FUFsruEbzA%3D%3D_V2&loc=US&title=ASIC+Formal+Verification+Engineer", "apply_url_verified": false, "ats": "google_custom", "url_last_checked_alive": null, "removed_at": null, "description_excerpt": "ASIC Formal Verification Engineer, Google Cloud Sunnyvale, CA, USA In this role, you'll work to shape the future of AI/ML hardware acceleration. You will have an opportunity to drive cutting-edge TPU (Tensor Processing Unit) technology that powers Google's most demanding AI/ML applications. You'll be part of a team that pushes boundaries, developing custom silicon solutions that power the future of Google's TPU. You'll contribute to the innovation behind products loved by millions worldwide, and leverage your design and verification expertise to verify complex digital designs, with a specific focus on TPU architecture and its integration within AI/ML-driven systems. As an ASIC Formal Verification Engineer, you will contribute formal verification expertise to verify the digital designs, with a specific focus on TPU architecture and its integration within AI/ML- driven systems. You will be part of a team developing ASICs used to accelerate computation in data centers. You will have responsibilities in areas such as project definition, formal verification, and silicon bringup. You will participate in the architecture, documentation, and verification of the next generation of data center accelerators. The AI and Infrastructure team is redefining what's possible. We empower Google customers with breakthrough capabilities and insights by delivering AI and Infrastructure at unparalleled scale, efficiency, reliability and velocity. Our customers include Googlers, Google Cloud customers, and billions of Google users worldwide. We're the driving force behind Google's groundbreaking innovations, empowering the development of our cutting-edge AI models, delivering unparalleled computing power to global services, and providing the essential platforms that enable", "parental_leave_weeks": 18, "non_birth_parent_leave_weeks": 18, "parental_leave_weeks_source": null, "non_birth_parent_leave_weeks_source": null, "parental_leave_source_url": "https://blog.google/company-news/outreach-and-initiatives/diversity/international-womens-day-2022/", "pto_days": null, "unlimited_pto": false, "sabbatical_eligible": false, "family_friendly_score": 94, "benefit_verified": true, "benefit_last_verified": "2026-05-07", "hire_states_allowed": [], "state_eligibility_source": null, "state_eligibility_enriched_at": null, "llm_quality_pass_at": null, "llm_signals_at": "2026-06-20T05:42:05.724Z", "llm_extraction_run_id": "postfix_final_004037", "llm_extraction_extracted_at": null, "llm_extraction_field_sources": { "seniority": { "field": "seniority", "source": "llm:greenfield:inv_371_postfix", "db_column": "seniority" }, "years_min": { "field": "years_min", "source": "llm:greenfield:inv_371_postfix", "db_column": "years_experience_min" }, "k401_match": { "source": "dol_form_5500", "source_url": null, "source_fields": [ "EMPLR_CONTRIB_INCOME_AMT" ], "source_label": "DOL Form 5500 filing" }, "salary_max": { "field": "salary_max", "source": "llm:greenfield:inv_371_postfix", "db_column": "base_salary_max" }, "salary_min": { "field": "salary_min", "source": "llm:greenfield:inv_371_postfix", "db_column": "base_salary_min" }, "tech_stack": { "field": "tech_stack", "source": "llm:greenfield:inv_371_postfix", "db_column": "tech_stack" }, "equity_type": { "source": "sec_10k", "source_url": "https://www.sec.gov/Archives/edgar/data/1652044/000165204426000018/goog-20251231.htm", "source_fields": [ "equity_offered", "equity_type" ] }, "role_family": { "field": "role_family", "source": "llm:greenfield:inv_371_postfix", "db_column": "role_family" }, "salary_type": { "field": "salary_type", "source": "llm:greenfield:inv_371_postfix", "db_column": "salary_type" }, "role_function": { "field": "role_function", "source": "llm:greenfield:inv_371_postfix", "db_column": "role_function" }, "salary_period": { "field": "salary_period", "source": "llm:greenfield:inv_371_postfix", "db_column": "salary_period" }, "equity_offered": { "field": "equity_offered", "source": "llm:greenfield:inv_371_postfix", "db_column": "equity_offered" }, "equity_included": { "source": "sec_10k", "source_url": "https://www.sec.gov/Archives/edgar/data/1652044/000165204426000018/goog-20251231.htm", "source_fields": [ "equity_offered", "equity_type" ] }, "salary_currency": { "field": "salary_currency", "source": "llm:greenfield:inv_371_postfix", "db_column": "salary_currency" }, "salary_disclosed": { "field": "salary_disclosed", "source": "derived:greenfield:inv_371_postfix", "db_column": "salary_disclosed" }, "visa_sponsorship": { "field": "visa_sponsorship", "source": "llm:greenfield:inv_371_postfix", "db_column": "visa_sponsorship" }, "education_required": { "field": "education_required", "source": "llm:greenfield:inv_371_postfix", "db_column": "education_required" }, "visible_salary_max": { "field": "visible_salary_max", "source": "derived:greenfield:inv_371_postfix", "db_column": "salary_max" }, "visible_salary_min": { "field": "visible_salary_min", "source": "derived:greenfield:inv_371_postfix", "db_column": "salary_min" }, "parental_leave_weeks": { "field": "parental_leave_weeks", "source": "https://blog.google/company-news/outreach-and-initiatives/diversity/international-womens-day-2022/", "db_column": "parental_leave_weeks", "source_url": "https://blog.google/company-news/outreach-and-initiatives/diversity/international-womens-day-2022/" }, "non_birth_parent_leave_weeks": { "field": "non_birth_parent_leave_weeks", "source": "https://blog.google/company-news/outreach-and-initiatives/diversity/international-womens-day-2022/", "db_column": "non_birth_parent_leave_weeks", "source_url": "https://blog.google/company-news/outreach-and-initiatives/diversity/international-womens-day-2022/" } }, "seniority": "mid", "seniority_source": "llm:greenfield:inv_371_postfix", "years_experience_min": 4, "years_experience_max": 8, "role_function": "engineering", "role_function_source": "llm:greenfield:inv_371_postfix", "company_stage": null, "company_stage_source": null, "employer_industry": "Technology", "employer_industry_source": "source_sector", "employer_size": "5000+", "quality_score": 55, "travel_pct": null, "requires_shift": null, "shift_type": "unknown", "shift_type_source": null, "weekend_work": "unknown", "weekend_work_source": null, "relocation_assistance_source": null, "contractor_w2": "unknown", "required_timezone": null, "fertility_family_building_benefits_source": null, "mental_health_support_source": null, "adoption_assistance_offered_source": null, "childcare_subsidy_source": null, "learning_budget_offered_source": null, "surrogacy_assistance_offered_source": null, "cover_letter_required": null, "cover_letter_required_source": null, "assessment_required": null, "assessment_required_source": null, "application_deadline": null, "application_deadline_source": null, "visa_sponsorship": true, "us_citizenship_required": false, "security_clearance": "none", "education_required": "bachelors", "roll_up_count": null, "roll_up_total_locations": null, "explanations": [ { "schema_version": "inv382.match_signal.v1", "signal_id": "sig.query.description_excerpt.b96dc2f7f60015e389", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "bd49aacdd7760c14e61b0450e14555cd", "signal_type": "query_match", "display_text": "Description: \"formal\"", "tooltip": "Description matched \"formal\" from your search.", "source_binding": "bm25_field_evidence", "source_field": "description_excerpt", "source_value": "ASIC Formal Verification Engineer, Google Cloud Sunnyvale, CA, USA In this role, you'll work to shape the future of AI/ML hardware acceleration. You will have an opportunity to drive cutting-edge TPU (Tensor Processing Unit) technology that powers Google's most demanding AI/ML applications. You'll be part of a team that pushes boundaries, developing custom silicon solutions that power the future of Google's TPU. You'll contribute to the innovation behind products loved by millions worldwide, and leverage your design and verification expertise to verify complex digital designs, with a specific focus on TPU architecture and its integration within AI/ML-driven systems. As an ASIC Formal Verification Engineer, you will contribute formal verification expertise to verify the digital designs, with a specific focus on TPU architecture and its integration within AI/ML- driven systems. You will be part of a team developing ASICs used to accelerate computation in data centers. You will have responsibilities in areas such as project definition, formal verification, and silicon bringup. You will participate in the architecture, documentation, and verification of the next generation of data center accelerators. The AI and Infrastructure team is redefining what's possible. We empower Google customers with breakthrough capabilities and insights by delivering AI and Infrastructure at unparalleled scale, efficiency, reliability and velocity. Our customers include Googlers, Google Cloud customers, and billions of Google users worldwide. We're the driving force behind Google's groundbreaking innovations, empowering the development of our cutting-edge AI models, delivering unparalleled computing power to global services, and providing the essential platforms that enable", "matched_input": "formal", "derivation_source": "candidate_result.raw_match_evidence", "candidate_evidence_id": "ev:gq_08ad77e7e6c643ef20c4:bd49aacdd7760c14e61b0450e14555cd:description:formal", "rerank_evidence_id": null, "taxonomy_alias_id": null, "oracle_verification_method": "candidate_evidence_exists", "counts_for_non_trivial_query": true, "truth_verified": true, "exact": true, "priority": 90, "mobile_priority": 1, "ui": { "icon": "Search", "tone": "match", "href": null } }, { "schema_version": "inv382.match_signal.v1", "signal_id": "sig.query.title.0bae52c2d62354fa83", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "bd49aacdd7760c14e61b0450e14555cd", "signal_type": "query_match", "display_text": "Title: \"formal\"", "tooltip": "Title matched \"formal\" from your search.", "source_binding": "bm25_field_evidence", "source_field": "title", "source_value": "ASIC Formal Verification Engineer, Google Cloud", "matched_input": "formal", "derivation_source": "candidate_result.raw_match_evidence", "candidate_evidence_id": "ev:gq_08ad77e7e6c643ef20c4:bd49aacdd7760c14e61b0450e14555cd:title:formal", "rerank_evidence_id": null, "taxonomy_alias_id": null, "oracle_verification_method": "candidate_evidence_exists", "counts_for_non_trivial_query": true, "truth_verified": true, "exact": true, "priority": 90, "mobile_priority": 1, "ui": { "icon": "Search", "tone": "match", "href": null } }, { "schema_version": "inv382.match_signal.v1", "signal_id": "sig.query.title.94705f28818b146ec7", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "bd49aacdd7760c14e61b0450e14555cd", "signal_type": "query_match", "display_text": "Title: \"formal\"", "tooltip": "Title contains \"formal\" from your search.", "source_binding": "token_match", "source_field": "title", "source_value": "ASIC Formal Verification Engineer, Google Cloud", "matched_input": "formal", "derivation_source": "row_field", "candidate_evidence_id": null, "rerank_evidence_id": null, "taxonomy_alias_id": null, "oracle_verification_method": "row_field_contains", "counts_for_non_trivial_query": true, "truth_verified": true, "exact": true, "priority": 80, "mobile_priority": 2, "ui": { "icon": "SearchCheck", "tone": "match", "href": null } } ], "source_label": "DOL Form 5500 filing", "parental_leave_source_label": "Employer benefits source", "k401_match_source_label": "DOL Form 5500 filing", "k401_contribution_source_label": "DOL Form 5500 filing", "apply_url_checked_at": null, "apply_url_verification_status": "not_reachable_or_not_checked", "apply_url_verification_label": "Not checked or not reachable at last crawl", "field_source_signals": { "salary_min": { "tier": "posting", "verified": true, "label": "From the posting", "source_label": "the posting", "href": "https://www.google.com/about/careers/applications/signin?jobId=CiUAL2FckfKujx_cAJ5g-xWgjKCUiTkEXdwhqQLzPY2-vOpCZI8EEjsACxwdTA2EipJuLoPD7yU-dqBcZOZnnvy7_pkw98EhTVIQmhKdthAWWVthWuikNODw55o3FUFsruEbzA%3D%3D_V2&loc=US&title=ASIC+Formal+Verification+Engineer", "source_values": [ "llm:greenfield:inv_371_postfix" ], "checked_at": "2026-06-20T05:42:05.724Z" }, "salary_max": { "tier": "posting", "verified": true, "label": "From the posting", "source_label": "the posting", "href": "https://www.google.com/about/careers/applications/signin?jobId=CiUAL2FckfKujx_cAJ5g-xWgjKCUiTkEXdwhqQLzPY2-vOpCZI8EEjsACxwdTA2EipJuLoPD7yU-dqBcZOZnnvy7_pkw98EhTVIQmhKdthAWWVthWuikNODw55o3FUFsruEbzA%3D%3D_V2&loc=US&title=ASIC+Formal+Verification+Engineer", "source_values": [ "llm:greenfield:inv_371_postfix" ], "checked_at": "2026-06-20T05:42:05.724Z" }, "salary_type": { "tier": "posting", "verified": true, "label": "From the posting", "source_label": "the posting", "href": "https://www.google.com/about/careers/applications/signin?jobId=CiUAL2FckfKujx_cAJ5g-xWgjKCUiTkEXdwhqQLzPY2-vOpCZI8EEjsACxwdTA2EipJuLoPD7yU-dqBcZOZnnvy7_pkw98EhTVIQmhKdthAWWVthWuikNODw55o3FUFsruEbzA%3D%3D_V2&loc=US&title=ASIC+Formal+Verification+Engineer", "source_values": [ "llm:greenfield:inv_371_postfix" ], "checked_at": "2026-06-20T05:42:05.724Z" }, "equity_included": { "tier": "government", "verified": true, "label": "Verified - SEC 10-K", "source_label": "SEC 10-K", "href": "https://www.sec.gov/Archives/edgar/data/1652044/000165204426000018/goog-20251231.htm", "source_values": [ "sec_10k", "https://www.sec.gov/Archives/edgar/data/1652044/000165204426000018/goog-20251231.htm" ], "checked_at": "2026-06-20T05:42:05.724Z" }, "parental_leave_weeks": { "tier": "posting", "verified": true, "label": "From the posting", "source_label": "the posting", "href": "https://www.google.com/about/careers/applications/signin?jobId=CiUAL2FckfKujx_cAJ5g-xWgjKCUiTkEXdwhqQLzPY2-vOpCZI8EEjsACxwdTA2EipJuLoPD7yU-dqBcZOZnnvy7_pkw98EhTVIQmhKdthAWWVthWuikNODw55o3FUFsruEbzA%3D%3D_V2&loc=US&title=ASIC+Formal+Verification+Engineer", "source_values": [ "https://blog.google/company-news/outreach-and-initiatives/diversity/international-womens-day-2022/" ], "checked_at": "2026-05-07" }, "non_birth_parent_leave_weeks": { "tier": "posting", "verified": true, "label": "From the posting", "source_label": "the posting", "href": "https://www.google.com/about/careers/applications/signin?jobId=CiUAL2FckfKujx_cAJ5g-xWgjKCUiTkEXdwhqQLzPY2-vOpCZI8EEjsACxwdTA2EipJuLoPD7yU-dqBcZOZnnvy7_pkw98EhTVIQmhKdthAWWVthWuikNODw55o3FUFsruEbzA%3D%3D_V2&loc=US&title=ASIC+Formal+Verification+Engineer", "source_values": [ "https://blog.google/company-news/outreach-and-initiatives/diversity/international-womens-day-2022/" ], "checked_at": "2026-05-07" }, "k401_match": { "tier": "government", "verified": true, "label": "Verified - DOL Form 5500", "source_label": "DOL Form 5500", "href": null, "source_values": [ "dol_form_5500", "EMPLR_CONTRIB_INCOME_AMT" ], "checked_at": "2026-05-07" }, "seniority": { "tier": "posting", "verified": true, "label": "From the posting", "source_label": "the posting", "href": "https://www.google.com/about/careers/applications/signin?jobId=CiUAL2FckfKujx_cAJ5g-xWgjKCUiTkEXdwhqQLzPY2-vOpCZI8EEjsACxwdTA2EipJuLoPD7yU-dqBcZOZnnvy7_pkw98EhTVIQmhKdthAWWVthWuikNODw55o3FUFsruEbzA%3D%3D_V2&loc=US&title=ASIC+Formal+Verification+Engineer", "source_values": [ "llm:greenfield:inv_371_postfix" ], "checked_at": "2026-06-20T05:42:05.724Z" }, "role_function": { "tier": "posting", "verified": true, "label": "From the posting", "source_label": "the posting", "href": "https://www.google.com/about/careers/applications/signin?jobId=CiUAL2FckfKujx_cAJ5g-xWgjKCUiTkEXdwhqQLzPY2-vOpCZI8EEjsACxwdTA2EipJuLoPD7yU-dqBcZOZnnvy7_pkw98EhTVIQmhKdthAWWVthWuikNODw55o3FUFsruEbzA%3D%3D_V2&loc=US&title=ASIC+Formal+Verification+Engineer", "source_values": [ "llm:greenfield:inv_371_postfix" ], "checked_at": "2026-06-20T05:42:05.724Z" }, "employer_industry": { "tier": "government", "verified": true, "label": "Verified - SEC 10-K", "source_label": "SEC 10-K", "href": null, "source_values": [ "source_sector" ], "checked_at": "2026-06-20T05:42:05.724Z" } } }, { "id": "75c0267725d02ba97575dba25e12547a", "title": "Quality Auditor Sewing", "employer_name": "Adient PLC", "employer_slug": "adient", "location_text": "Adient Tiflet Morocco", "country": "unknown", "employment_type": "unknown", "remote_status": "unspecified", "remote_status_source": null, "remote_status_enriched_at": null, "days_in_office": null, "timezone_overlap_hours": 3, "salary_min": null, "salary_max": null, "salary_min_source": null, "salary_max_source": null, "salary_currency": "UNSPECIFIED", "salary_type": "unknown", "salary_type_source": null, "salary_type_enriched_at": null, "salary_period": null, "base_salary_min": null, "base_salary_max": null, "salary_disclosed": false, "equity_included": true, "equity_included_source": null, "equity_type": [ "rsu" ], "k401_match": null, "match_401k_pct": null, "match_401k_pct_source": null, "k401_match_source_url": null, "k401_match_source_fields": [], "k401_contribution_source_url": null, "k401_contribution_source_fields": [], "profit_sharing": false, "bonus_offered": false, "mental_health_support": null, "childcare_subsidy": null, "fertility_family_building_benefits": null, "adoption_assistance_offered": null, "surrogacy_assistance_offered": null, "student_loan_repayment_offered": null, "learning_budget_offered": null, "relocation_assistance": null, "top_startup_sources": [], "posted_at": "2026-05-12T00:00:00.000Z", "apply_url": "https://adient.wd3.myworkdayjobs.com/External/job/Adient-Tiflet-Morocco/Quality-Auditor-Sewing_R-26714", "apply_url_verified": false, "ats": "workday", "url_last_checked_alive": null, "removed_at": null, "description_excerpt": "Quality Auditor Sewing Adient Tiflet Morocco posted: Posted 30+ Days Ago", "parental_leave_weeks": null, "non_birth_parent_leave_weeks": null, "parental_leave_weeks_source": null, "non_birth_parent_leave_weeks_source": null, "parental_leave_source_url": null, "pto_days": null, "unlimited_pto": false, "sabbatical_eligible": false, "family_friendly_score": 40, "benefit_verified": false, "benefit_last_verified": null, "hire_states_allowed": [], "state_eligibility_source": null, "state_eligibility_enriched_at": null, "llm_quality_pass_at": null, "llm_signals_at": null, "llm_extraction_run_id": null, "llm_extraction_extracted_at": null, "llm_extraction_field_sources": { "seniority": { "field": "seniority", "source": "llm:greenfield:inv_371_postfix", "db_column": "seniority" }, "equity_type": { "source": "sec_10k", "source_url": "https://www.sec.gov/Archives/edgar/data/1670541/000167054125000152/adnt-20250930.htm", "source_fields": [ "equity_offered", "equity_type" ] }, "salary_type": { "field": "salary_type", "source": "llm:greenfield:inv_371_postfix", "db_column": "salary_type" }, "role_function": { "field": "role_function", "source": "rule", "db_column": "role_function" }, "equity_included": { "source": "sec_10k", "source_url": "https://www.sec.gov/Archives/edgar/data/1670541/000167054125000152/adnt-20250930.htm", "source_fields": [ "equity_offered", "equity_type" ] }, "education_required": { "field": "education_required", "source": "llm:greenfield:inv_371_postfix", "db_column": "education_required" } }, "seniority": "mid", "seniority_source": "llm:greenfield:inv_371_postfix", "years_experience_min": 3, "years_experience_max": 7, "role_function": "finance", "role_function_source": "rule", "company_stage": null, "company_stage_source": null, "employer_industry": "Retail", "employer_industry_source": "source_sector", "employer_size": "5000+", "quality_score": 35, "travel_pct": null, "requires_shift": null, "shift_type": "unknown", "shift_type_source": null, "weekend_work": "unknown", "weekend_work_source": null, "relocation_assistance_source": null, "contractor_w2": "unknown", "required_timezone": null, "fertility_family_building_benefits_source": null, "mental_health_support_source": null, "adoption_assistance_offered_source": null, "childcare_subsidy_source": null, "learning_budget_offered_source": null, "surrogacy_assistance_offered_source": null, "cover_letter_required": null, "cover_letter_required_source": null, "assessment_required": null, "assessment_required_source": null, "application_deadline": null, "application_deadline_source": null, "visa_sponsorship": false, "us_citizenship_required": false, "security_clearance": "none", "education_required": "none", "roll_up_count": null, "roll_up_total_locations": null, "explanations": [ { "schema_version": "inv382.match_signal.v1", "signal_id": "sig.semantic.role_function.07d8cbe6dc266acdf5", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "75c0267725d02ba97575dba25e12547a", "signal_type": "query_match", "display_text": "Role: semantic match", "tooltip": "Role provided semantic evidence for your search intent.", "source_binding": "vector_semantic_evidence", "source_field": "role_function", "source_value": "finance", "matched_input": "formal", "derivation_source": "candidate_result.raw_match_evidence", "candidate_evidence_id": "ev:gq_08ad77e7e6c643ef20c4:75c0267725d02ba97575dba25e12547a:vector", "rerank_evidence_id": null, "taxonomy_alias_id": null, "oracle_verification_method": "candidate_evidence_exists", "counts_for_non_trivial_query": true, "truth_verified": true, "exact": false, "priority": 74, "mobile_priority": 2, "ui": { "icon": "Sparkles", "tone": "match", "href": null } } ], "parental_leave_source_label": null, "k401_match_source_label": null, "k401_contribution_source_label": null, "apply_url_checked_at": null, "apply_url_verification_status": "not_reachable_or_not_checked", "apply_url_verification_label": "Not checked or not reachable at last crawl", "field_source_signals": { "equity_included": { "tier": "government", "verified": true, "label": "Verified - SEC 10-K", "source_label": "SEC 10-K", "href": "https://www.sec.gov/Archives/edgar/data/1670541/000167054125000152/adnt-20250930.htm", "source_values": [ "sec_10k", "https://www.sec.gov/Archives/edgar/data/1670541/000167054125000152/adnt-20250930.htm" ], "checked_at": null }, "seniority": { "tier": "posting", "verified": true, "label": "From the posting", "source_label": "the posting", "href": "https://adient.wd3.myworkdayjobs.com/External/job/Adient-Tiflet-Morocco/Quality-Auditor-Sewing_R-26714", "source_values": [ "llm:greenfield:inv_371_postfix" ], "checked_at": null }, "role_function": { "tier": "posting", "verified": true, "label": "From the posting", "source_label": "the posting", "href": "https://adient.wd3.myworkdayjobs.com/External/job/Adient-Tiflet-Morocco/Quality-Auditor-Sewing_R-26714", "source_values": [ "rule" ], "checked_at": null }, "employer_industry": { "tier": "government", "verified": true, "label": "Verified - SEC 10-K", "source_label": "SEC 10-K", "href": null, "source_values": [ "source_sector" ], "checked_at": null } } } ], "total": 1166, "page": 2, "per_page": 24, "applied_filters": { "q": "Formal", "quality_floor": "all" }, "hidden_unknown_benefits_count": 0, "hidden_quality_floor_count": 0, "quality_floor": "all", "search_profile": { "profile_id": "inv382.d6.pg_textsearch_bge_small_rrf.v1", "bm25_extension": "pg_textsearch", "vector_model": "BAAI/bge-small-en-v1.5", "vector_model_version": "v1.5", "fusion_method": "rrf" }, "explanation_context": { "non_trivial_query": false, "query_terms": [ "formal" ], "active_filter_keys": [], "visible_signal_limit": 3, "visible_trust_limit": 2 }, "event_context": { "query_context": { "query_id": "fdff2581-0c7b-49ed-9d3e-fce82d06eb3f", "issued_at": "2026-08-18T22:09:48.970Z", "route": "/jobs", "page": 2, "per_page": 24, "total_results": 1166, "sort": "relevance", "ranking_policy": "hybrid_rrf_rerank", "ranking_policy_version": "inv382.jobs.search.v2", "query_hash": "hmac_sha256:hb4JtHOPN9qnAh-Ru991A_S-FTankwEqyfXYqpkRrTQ", "filter_hash": "hmac_sha256:CXa8WcNqf8t4vwJUAguBZ01cbEAo2nphmyJ39emOY9s", "query_features": { "has_q": true, "q_term_count": 1, "q_length_bucket": "1_15", "q_pii_redacted": false, "state_count": 0, "benefit_filters": [], "quality_floor": "all" }, "exposures": [ { "result_id": "eaa14c9a5131ca17f70bc3ef3ace0fb4", "position": 25, "page_position": 1, "retrieval_features": { "bm25_score": -10.276759147644043, "vector_score": 0.3660760521888733, "rrf_score": 0.024766899766899768, "rerank_score": -5.098843097686768, "text_match_title": true, "text_match_employer": false, "role_match": true, "benefit_verified": true, "salary_disclosed": false, "posted_age_days": 83, "quality_score": 35 } }, { "result_id": "8e505696cf7036154fbfe703aac26097", "position": 26, "page_position": 2, "retrieval_features": { "bm25_score": -10.167085647583008, "vector_score": 0.35676451663759334, "rrf_score": 0.025098039215686277, "rerank_score": -5.254061222076416, "text_match_title": true, "text_match_employer": false, "role_match": true, "benefit_verified": true, "salary_disclosed": false, "posted_age_days": 98, "quality_score": 35 } }, { "result_id": "5dd00451cfadab8888f10cea5e504a7c", "position": 27, "page_position": 3, "retrieval_features": { "bm25_score": -10.313844680786133, "vector_score": 0.3359694480895996, "rrf_score": 0.02967032967032967, "rerank_score": -5.287570953369141, "text_match_title": true, "text_match_employer": false, "role_match": true, "benefit_verified": true, "salary_disclosed": false, "posted_age_days": 98, "quality_score": 35 } }, { "result_id": "1bb747bf096c3c8cbf38c4eeb2373e45", "position": 28, "page_position": 4, "retrieval_features": { "bm25_score": -10.167085647583008, "vector_score": 0.3633856773376465, "rrf_score": 0.024039829302987197, "rerank_score": -5.403853416442871, "text_match_title": true, "text_match_employer": false, "role_match": true, "benefit_verified": true, "salary_disclosed": false, "posted_age_days": 84, "quality_score": 35 } }, { "result_id": "3dfc75f77626d4a6b832bff64f88c194", "position": 29, "page_position": 5, "retrieval_features": { "bm25_score": -10.059728622436523, "vector_score": 0.354981005191803, "rrf_score": 0.024250440917107582, "rerank_score": -5.415055751800537, "text_match_title": true, "text_match_employer": false, "role_match": true, "benefit_verified": true, "salary_disclosed": false, "posted_age_days": 98, "quality_score": 35 } }, { "result_id": "bd6f1dfcc4d298ec0f5e01711db3d62c", "position": 30, "page_position": 6, "retrieval_features": { "bm25_score": -10.059728622436523, "vector_score": 0.3516042232513428, "rrf_score": 0.024422933730454205, "rerank_score": -5.450315952301025, "text_match_title": true, "text_match_employer": false, "role_match": true, "benefit_verified": true, "salary_disclosed": false, "posted_age_days": 83, "quality_score": 35 } }, { "result_id": "62dfa58e4ce6ed39febcde37326e5525", "position": 31, "page_position": 7, "retrieval_features": { "bm25_score": 0, "vector_score": 0.30891942977905273, "rrf_score": 0.016129032258064516, "text_match_title": false, "text_match_employer": false, "role_match": true, "benefit_verified": false, "salary_disclosed": false, "posted_age_days": 69, "quality_score": 45 } }, { "result_id": "1b01eab0906a3dda1d63ba3f439e177b", "position": 32, "page_position": 8, "retrieval_features": { "bm25_score": -10.313844680786133, "vector_score": 0, "rrf_score": 0.015873015873015872, "text_match_title": true, "text_match_employer": false, "role_match": false, "benefit_verified": true, "salary_disclosed": false, "posted_age_days": 98, "quality_score": 35 } }, { "result_id": "24d2656d34c199927e008c1fab66ec18", "position": 33, "page_position": 9, "retrieval_features": { "bm25_score": -10.313844680786133, "vector_score": 0, "rrf_score": 0.015625, "text_match_title": true, "text_match_employer": false, "role_match": false, "benefit_verified": true, "salary_disclosed": false, "posted_age_days": 98, "quality_score": 35 } }, { "result_id": "5655e2d3d1ff0040d33b1a2f04908e95", "position": 34, "page_position": 10, "retrieval_features": { "bm25_score": 0, "vector_score": 0.3121013045310974, "rrf_score": 0.015384615384615385, "text_match_title": false, "text_match_employer": false, "role_match": true, "benefit_verified": false, "salary_disclosed": false, "posted_age_days": 69, "quality_score": 45 } }, { "result_id": "140735ba159356abdda8604b6b783268", "position": 35, "page_position": 11, "retrieval_features": { "bm25_score": -10.131046295166016, "vector_score": 0, "rrf_score": 0.013157894736842105, "text_match_title": true, "text_match_employer": false, "role_match": false, "benefit_verified": true, "salary_disclosed": false, "posted_age_days": 89, "quality_score": 35 } }, { "result_id": "a1818c076965a1964fe2506c4f055434", "position": 36, "page_position": 12, "retrieval_features": { "bm25_score": -10.095261573791504, "vector_score": 0, "rrf_score": 0.0125, "text_match_title": true, "text_match_employer": false, "role_match": false, "benefit_verified": true, "salary_disclosed": false, "posted_age_days": 98, "quality_score": 35 } }, { "result_id": "1590b46de3354d6f44a95b4f5597dc1d", "position": 37, "page_position": 13, "retrieval_features": { "bm25_score": 0, "vector_score": 0.3530788824879787, "rrf_score": 0.0125, "text_match_title": false, "text_match_employer": false, "role_match": true, "benefit_verified": true, "salary_disclosed": false, "posted_age_days": 98, "quality_score": 35 } }, { "result_id": "f653436f238b2909c65af174a4756962", "position": 38, "page_position": 14, "retrieval_features": { "bm25_score": -10.095261573791504, "vector_score": 0, "rrf_score": 0.012195121951219513, "text_match_title": true, "text_match_employer": false, "role_match": false, "benefit_verified": true, "salary_disclosed": false, "posted_age_days": 98, "quality_score": 35 } }, { "result_id": "206e17bf7889ee3e4960b5828b3b12af", "position": 39, "page_position": 15, "retrieval_features": { "bm25_score": -10.024444580078125, "vector_score": 0, "rrf_score": 0.011627906976744186, "text_match_title": true, "text_match_employer": false, "role_match": false, "benefit_verified": true, "salary_disclosed": false, "posted_age_days": 98, "quality_score": 35 } }, { "result_id": "8a0ce7019fde47565dbdb1074855baa6", "position": 40, "page_position": 16, "retrieval_features": { "bm25_score": -10.024444580078125, "vector_score": 0, "rrf_score": 0.011494252873563218, "text_match_title": true, "text_match_employer": false, "role_match": false, "benefit_verified": true, "salary_disclosed": false, "posted_age_days": 83, "quality_score": 35 } }, { "result_id": "ebb23dd35e0c5aefafeafb526f585328", "position": 41, "page_position": 17, "retrieval_features": { "bm25_score": -10.024444580078125, "vector_score": 0, "rrf_score": 0.011363636363636364, "text_match_title": true, "text_match_employer": false, "role_match": false, "benefit_verified": true, "salary_disclosed": false, "posted_age_days": 98, "quality_score": 35 } }, { "result_id": "1bc17dcc8bf13cb75eb31a4eaf4aa40a", "position": 42, "page_position": 18, "retrieval_features": { "bm25_score": -9.954614639282227, "vector_score": 0, "rrf_score": 0.011235955056179775, "text_match_title": true, "text_match_employer": false, "role_match": false, "benefit_verified": true, "salary_disclosed": false, "posted_age_days": 98, "quality_score": 35 } }, { "result_id": "ce6f7e9e12e6131b00727793c79a382e", "position": 43, "page_position": 19, "retrieval_features": { "bm25_score": 0, "vector_score": 0.3599846363067627, "rrf_score": 0.011235955056179775, "text_match_title": false, "text_match_employer": false, "role_match": true, "benefit_verified": false, "salary_disclosed": false, "posted_age_days": 69, "quality_score": 35 } }, { "result_id": "5ef11e5b11fbb12493d2c7bbe254c935", "position": 44, "page_position": 20, "retrieval_features": { "bm25_score": -9.954614639282227, "vector_score": 0, "rrf_score": 0.011111111111111112, "text_match_title": true, "text_match_employer": false, "role_match": false, "benefit_verified": true, "salary_disclosed": false, "posted_age_days": 98, "quality_score": 35 } }, { "result_id": "08daad0a9678d5310c9280430465fb15", "position": 45, "page_position": 21, "retrieval_features": { "bm25_score": 0, "vector_score": 0.36024121283047006, "rrf_score": 0.011111111111111112, "text_match_title": false, "text_match_employer": false, "role_match": true, "benefit_verified": false, "salary_disclosed": false, "posted_age_days": 91, "quality_score": 35 } }, { "result_id": "9e33fa34b3a3fd637c3f69ff6d314cec", "position": 46, "page_position": 22, "retrieval_features": { "bm25_score": 0, "vector_score": 0.3612852692604065, "rrf_score": 0.01098901098901099, "text_match_title": false, "text_match_employer": false, "role_match": true, "benefit_verified": true, "salary_disclosed": false, "posted_age_days": 67, "quality_score": 35 } }, { "result_id": "bd49aacdd7760c14e61b0450e14555cd", "position": 47, "page_position": 23, "retrieval_features": { "bm25_score": -9.939703941345215, "vector_score": 0, "rrf_score": 0.010869565217391304, "text_match_title": true, "text_match_employer": false, "role_match": false, "benefit_verified": true, "salary_disclosed": true, "posted_age_days": 70, "quality_score": 55 } }, { "result_id": "75c0267725d02ba97575dba25e12547a", "position": 48, "page_position": 24, "retrieval_features": { "bm25_score": 0, "vector_score": 0.3621480249078247, "rrf_score": 0.010869565217391304, "text_match_title": false, "text_match_employer": false, "role_match": true, "benefit_verified": false, "salary_disclosed": false, "posted_age_days": 98, "quality_score": 35 } } ] }, "context_signature": "BPkaDeBeGIM2W01midcMu5xIQ70Ktirec_GzWT7OgEo", "event_token": "BPkaDeBeGIM2W01midcMu5xIQ70Ktirec_GzWT7OgEo" } }