{ "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.2721191410598080bd", "query_id": "gq_cfc17aa9303de792d228", "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_cfc17aa9303de792d228: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.20ffff2c88043446b7", "query_id": "gq_cfc17aa9303de792d228", "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_cfc17aa9303de792d228: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.5410f92c8425dffe1a", "query_id": "gq_cfc17aa9303de792d228", "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:2d5ebea9f57dd11fd8b745a8", "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.6c42c5190546cb64fb", "query_id": "gq_cfc17aa9303de792d228", "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.16db1600b7b2274cc0", "query_id": "gq_cfc17aa9303de792d228", "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_cfc17aa9303de792d228: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.9f1ddb934c91c67b62", "query_id": "gq_cfc17aa9303de792d228", "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_cfc17aa9303de792d228: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.f70e4307f0d20f2e20", "query_id": "gq_cfc17aa9303de792d228", "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_cfc17aa9303de792d228: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.367ee580b27257da24", "query_id": "gq_cfc17aa9303de792d228", "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:70060480da475fb248f8be24", "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.62a01fedbaf1141c8a", "query_id": "gq_cfc17aa9303de792d228", "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.5e7b36fdf213ebfe4c", "query_id": "gq_cfc17aa9303de792d228", "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_cfc17aa9303de792d228: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.6e854d70dea08d86a4", "query_id": "gq_cfc17aa9303de792d228", "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_cfc17aa9303de792d228: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.fd3d12456a66506fab", "query_id": "gq_cfc17aa9303de792d228", "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_cfc17aa9303de792d228: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.b162465a67afa97757", "query_id": "gq_cfc17aa9303de792d228", "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:65b2ef3c8c11d508778f1f6c", "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.fc3beba2a7e6b9e24b", "query_id": "gq_cfc17aa9303de792d228", "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.40c25d3db57f559214", "query_id": "gq_cfc17aa9303de792d228", "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_cfc17aa9303de792d228: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.c806995bbab60376a0", "query_id": "gq_cfc17aa9303de792d228", "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_cfc17aa9303de792d228: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.e092a0ffa38cdba127", "query_id": "gq_cfc17aa9303de792d228", "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_cfc17aa9303de792d228: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.8e3ab3f2b4fbda2bcb", "query_id": "gq_cfc17aa9303de792d228", "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:748f06904e98ec617fe21a35", "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.6fa201ba4427be7658", "query_id": "gq_cfc17aa9303de792d228", "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.35d600a4b414cf61f5", "query_id": "gq_cfc17aa9303de792d228", "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_cfc17aa9303de792d228: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.d0990acd3ca88fb9d1", "query_id": "gq_cfc17aa9303de792d228", "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_cfc17aa9303de792d228: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.de0c1a40637d1cc535", "query_id": "gq_cfc17aa9303de792d228", "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_cfc17aa9303de792d228: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.8ca106771dc98edbf8", "query_id": "gq_cfc17aa9303de792d228", "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:fa36070a780c9d1c4c62febc", "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.e965b1476f3aa56a4e", "query_id": "gq_cfc17aa9303de792d228", "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.b509449a0730e7646f", "query_id": "gq_cfc17aa9303de792d228", "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_cfc17aa9303de792d228: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.0201cb2bd63808f22a", "query_id": "gq_cfc17aa9303de792d228", "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_cfc17aa9303de792d228: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.ee949e8cdc1363264c", "query_id": "gq_cfc17aa9303de792d228", "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_cfc17aa9303de792d228: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.b28f0fe151c9190681", "query_id": "gq_cfc17aa9303de792d228", "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:a3003f788918ec5dadce2613", "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.59c65b5ae0180911b4", "query_id": "gq_cfc17aa9303de792d228", "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.61b3687e3756325b4a", "query_id": "gq_cfc17aa9303de792d228", "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_cfc17aa9303de792d228: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.bc4d6d3815d3ecd502", "query_id": "gq_cfc17aa9303de792d228", "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.d4d6e4b6598db2a897", "query_id": "gq_cfc17aa9303de792d228", "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_cfc17aa9303de792d228: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.d831ee7145a20c283d", "query_id": "gq_cfc17aa9303de792d228", "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_cfc17aa9303de792d228: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.e0c1249145dd168db3", "query_id": "gq_cfc17aa9303de792d228", "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_cfc17aa9303de792d228: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.e468587b11c9a4ff6a", "query_id": "gq_cfc17aa9303de792d228", "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.694a3953341158a6b6", "query_id": "gq_cfc17aa9303de792d228", "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_cfc17aa9303de792d228: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.8a2464c9b978ad5fbd", "query_id": "gq_cfc17aa9303de792d228", "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_cfc17aa9303de792d228: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.bd38ac9728ee39af1b", "query_id": "gq_cfc17aa9303de792d228", "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.3f0151dddf7e9a6142", "query_id": "gq_cfc17aa9303de792d228", "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.4d6c5b2cb6f067e544", "query_id": "gq_cfc17aa9303de792d228", "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_cfc17aa9303de792d228: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.51a11f7e9194a2a9bd", "query_id": "gq_cfc17aa9303de792d228", "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_cfc17aa9303de792d228: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.d30a3945b4a68e8062", "query_id": "gq_cfc17aa9303de792d228", "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_cfc17aa9303de792d228: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.eefec3db1c9d67115e", "query_id": "gq_cfc17aa9303de792d228", "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.e349e3a45af68815df", "query_id": "gq_cfc17aa9303de792d228", "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_cfc17aa9303de792d228: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.5032cb8def7d457d79", "query_id": "gq_cfc17aa9303de792d228", "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_cfc17aa9303de792d228: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.5a6f13a792fad0ca7a", "query_id": "gq_cfc17aa9303de792d228", "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.9726850da09e424ccc", "query_id": "gq_cfc17aa9303de792d228", "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_cfc17aa9303de792d228: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.fbfa812babb3f3fb4f", "query_id": "gq_cfc17aa9303de792d228", "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_cfc17aa9303de792d228: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.1f2f6788b2cc020c53", "query_id": "gq_cfc17aa9303de792d228", "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_cfc17aa9303de792d228: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.cf2519c71a52ae7a2f", "query_id": "gq_cfc17aa9303de792d228", "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.c3a7f5acb4484c712d", "query_id": "gq_cfc17aa9303de792d228", "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_cfc17aa9303de792d228: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.9042240e48058dd2bb", "query_id": "gq_cfc17aa9303de792d228", "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_cfc17aa9303de792d228: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.920f07e214201b40a1", "query_id": "gq_cfc17aa9303de792d228", "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.cd2942db4630d0d7f7", "query_id": "gq_cfc17aa9303de792d228", "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_cfc17aa9303de792d228: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.e1456ed95fd6c2a8ab", "query_id": "gq_cfc17aa9303de792d228", "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_cfc17aa9303de792d228: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.927dd23b07ff8305e3", "query_id": "gq_cfc17aa9303de792d228", "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.bebf76430473eed1e7", "query_id": "gq_cfc17aa9303de792d228", "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_cfc17aa9303de792d228: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.881add1954168f6704", "query_id": "gq_cfc17aa9303de792d228", "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_cfc17aa9303de792d228: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.e7a27492938084ec19", "query_id": "gq_cfc17aa9303de792d228", "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.022804c7f8c1c8b395", "query_id": "gq_cfc17aa9303de792d228", "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_cfc17aa9303de792d228: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.0f850b4ffcdf958e92", "query_id": "gq_cfc17aa9303de792d228", "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_cfc17aa9303de792d228: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.756857c1a5778bdc0d", "query_id": "gq_cfc17aa9303de792d228", "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.7b4e73c3e9be371d3c", "query_id": "gq_cfc17aa9303de792d228", "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_cfc17aa9303de792d228: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.f58953f82e80e881b1", "query_id": "gq_cfc17aa9303de792d228", "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_cfc17aa9303de792d228: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.fe5b10442d9ad722d2", "query_id": "gq_cfc17aa9303de792d228", "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_cfc17aa9303de792d228: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.43fc2938949a9fa7ff", "query_id": "gq_cfc17aa9303de792d228", "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.e9b06b5cc92c7fbbbb", "query_id": "gq_cfc17aa9303de792d228", "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_cfc17aa9303de792d228: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.aec10a4f8c6cdd3536", "query_id": "gq_cfc17aa9303de792d228", "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_cfc17aa9303de792d228: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.affb809b04dbea0fb1", "query_id": "gq_cfc17aa9303de792d228", "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_cfc17aa9303de792d228: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.64c608a3f1eefb7e52", "query_id": "gq_cfc17aa9303de792d228", "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_cfc17aa9303de792d228: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.b79adc8ae5a6453008", "query_id": "gq_cfc17aa9303de792d228", "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.6e19fc6699dc435dfc", "query_id": "gq_cfc17aa9303de792d228", "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_cfc17aa9303de792d228: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" }, "hidden_unknown_benefits_count": 0, "hidden_quality_floor_count": 0, "quality_floor": "default", "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": "ed70eded-25b2-4cb3-90e0-9c7c626455e4", "issued_at": "2026-08-18T14:13:41.921Z", "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:Sl27NXrPD1PoYAD3eMXKjnSArFA9t_kkPwEA5HCSNaI", "filter_hash": "hmac_sha256:6CBErDPXOFVCSNkSGbTmuw6GxoMjwSLro0KqZMtxL_0", "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": "default" }, "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": "SsA_zheyE2s8trjjKtitXpv5cQvu5wmhIB8RGv53WO8", "event_token": "SsA_zheyE2s8trjjKtitXpv5cQvu5wmhIB8RGv53WO8" } }