{ "results": [ { "id": "75c0267725d02ba97575dba25e12547a", "title": "Quality Auditor Sewing", "employer_name": "Adient PLC", "employer_slug": "adient", "location_text": "Adient Tiflet Morocco", "country": "unknown", "employment_type": "unknown", "remote_status": "unspecified", "remote_status_source": null, "remote_status_enriched_at": null, "days_in_office": null, "timezone_overlap_hours": 3, "salary_min": null, "salary_max": null, "salary_min_source": null, "salary_max_source": null, "salary_currency": "UNSPECIFIED", "salary_type": "unknown", "salary_type_source": null, "salary_type_enriched_at": null, "salary_period": null, "base_salary_min": null, "base_salary_max": null, "salary_disclosed": false, "equity_included": true, "equity_included_source": null, "equity_type": [ "rsu" ], "k401_match": null, "match_401k_pct": null, "match_401k_pct_source": null, "k401_match_source_url": null, "k401_match_source_fields": [], "k401_contribution_source_url": null, "k401_contribution_source_fields": [], "profit_sharing": false, "bonus_offered": false, "mental_health_support": null, "childcare_subsidy": null, "fertility_family_building_benefits": null, "adoption_assistance_offered": null, "surrogacy_assistance_offered": null, "student_loan_repayment_offered": null, "learning_budget_offered": null, "relocation_assistance": null, "top_startup_sources": [], "posted_at": "2026-05-12T00:00:00.000Z", "apply_url": "https://adient.wd3.myworkdayjobs.com/External/job/Adient-Tiflet-Morocco/Quality-Auditor-Sewing_R-26714", "apply_url_verified": false, "ats": "workday", "url_last_checked_alive": null, "removed_at": null, "description_excerpt": "Quality Auditor Sewing Adient Tiflet Morocco posted: Posted 30+ Days Ago", "parental_leave_weeks": null, "non_birth_parent_leave_weeks": null, "parental_leave_weeks_source": null, "non_birth_parent_leave_weeks_source": null, "parental_leave_source_url": null, "pto_days": null, "unlimited_pto": false, "sabbatical_eligible": false, "family_friendly_score": 40, "benefit_verified": false, "benefit_last_verified": null, "hire_states_allowed": [], "state_eligibility_source": null, "state_eligibility_enriched_at": null, "llm_quality_pass_at": null, "llm_signals_at": null, "llm_extraction_run_id": null, "llm_extraction_extracted_at": null, "llm_extraction_field_sources": { "seniority": { "field": "seniority", "source": "llm:greenfield:inv_371_postfix", "db_column": "seniority" }, "equity_type": { "source": "sec_10k", "source_url": "https://www.sec.gov/Archives/edgar/data/1670541/000167054125000152/adnt-20250930.htm", "source_fields": [ "equity_offered", "equity_type" ] }, "salary_type": { "field": "salary_type", "source": "llm:greenfield:inv_371_postfix", "db_column": "salary_type" }, "role_function": { "field": "role_function", "source": "rule", "db_column": "role_function" }, "equity_included": { "source": "sec_10k", "source_url": "https://www.sec.gov/Archives/edgar/data/1670541/000167054125000152/adnt-20250930.htm", "source_fields": [ "equity_offered", "equity_type" ] }, "education_required": { "field": "education_required", "source": "llm:greenfield:inv_371_postfix", "db_column": "education_required" } }, "seniority": "mid", "seniority_source": "llm:greenfield:inv_371_postfix", "years_experience_min": 3, "years_experience_max": 7, "role_function": "finance", "role_function_source": "rule", "company_stage": null, "company_stage_source": null, "employer_industry": "Retail", "employer_industry_source": "source_sector", "employer_size": "5000+", "quality_score": 35, "travel_pct": null, "requires_shift": null, "shift_type": "unknown", "shift_type_source": null, "weekend_work": "unknown", "weekend_work_source": null, "relocation_assistance_source": null, "contractor_w2": "unknown", "required_timezone": null, "fertility_family_building_benefits_source": null, "mental_health_support_source": null, "adoption_assistance_offered_source": null, "childcare_subsidy_source": null, "learning_budget_offered_source": null, "surrogacy_assistance_offered_source": null, "cover_letter_required": null, "cover_letter_required_source": null, "assessment_required": null, "assessment_required_source": null, "application_deadline": null, "application_deadline_source": null, "visa_sponsorship": false, "us_citizenship_required": false, "security_clearance": "none", "education_required": "none", "roll_up_count": null, "roll_up_total_locations": null, "explanations": [ { "schema_version": "inv382.match_signal.v1", "signal_id": "sig.semantic.role_function.07d8cbe6dc266acdf5", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "75c0267725d02ba97575dba25e12547a", "signal_type": "query_match", "display_text": "Role: semantic match", "tooltip": "Role provided semantic evidence for your search intent.", "source_binding": "vector_semantic_evidence", "source_field": "role_function", "source_value": "finance", "matched_input": "formal", "derivation_source": "candidate_result.raw_match_evidence", "candidate_evidence_id": "ev:gq_08ad77e7e6c643ef20c4:75c0267725d02ba97575dba25e12547a:vector", "rerank_evidence_id": null, "taxonomy_alias_id": null, "oracle_verification_method": "candidate_evidence_exists", "counts_for_non_trivial_query": true, "truth_verified": true, "exact": false, "priority": 74, "mobile_priority": 2, "ui": { "icon": "Sparkles", "tone": "match", "href": null } } ], "parental_leave_source_label": null, "k401_match_source_label": null, "k401_contribution_source_label": null, "apply_url_checked_at": null, "apply_url_verification_status": "not_reachable_or_not_checked", "apply_url_verification_label": "Not checked or not reachable at last crawl", "field_source_signals": { "equity_included": { "tier": "government", "verified": true, "label": "Verified - SEC 10-K", "source_label": "SEC 10-K", "href": "https://www.sec.gov/Archives/edgar/data/1670541/000167054125000152/adnt-20250930.htm", "source_values": [ "sec_10k", "https://www.sec.gov/Archives/edgar/data/1670541/000167054125000152/adnt-20250930.htm" ], "checked_at": null }, "seniority": { "tier": "posting", "verified": true, "label": "From the posting", "source_label": "the posting", "href": "https://adient.wd3.myworkdayjobs.com/External/job/Adient-Tiflet-Morocco/Quality-Auditor-Sewing_R-26714", "source_values": [ "llm:greenfield:inv_371_postfix" ], "checked_at": null }, "role_function": { "tier": "posting", "verified": true, "label": "From the posting", "source_label": "the posting", "href": "https://adient.wd3.myworkdayjobs.com/External/job/Adient-Tiflet-Morocco/Quality-Auditor-Sewing_R-26714", "source_values": [ "rule" ], "checked_at": null }, "employer_industry": { "tier": "government", "verified": true, "label": "Verified - SEC 10-K", "source_label": "SEC 10-K", "href": null, "source_values": [ "source_sector" ], "checked_at": null } } }, { "id": "e9e17152c869748aefc662ffb146e858", "title": "F&B Attendant (Banquets) - Casual", "employer_name": "Marriott", "employer_slug": "marriott", "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-12T10:25:24.000Z", "apply_url": "https://careers.marriott.com/f-b-attendant-banquets-casual/job/B804DF615BE255821A618A698CA9F524?utm_source=marriottcareers&utm_medium=referralwebsite", "apply_url_verified": false, "ats": "universal", "url_last_checked_alive": null, "removed_at": null, "description_excerpt": "F&B Attendant (Banquets) - Casual Location not specified", "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.4a932ae98727709947", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "e9e17152c869748aefc662ffb146e858", "signal_type": "query_match", "display_text": "Role: semantic match", "tooltip": "Role provided semantic evidence for your search intent.", "source_binding": "vector_semantic_evidence", "source_field": "role_function", "source_value": "other", "matched_input": "formal", "derivation_source": "candidate_result.raw_match_evidence", "candidate_evidence_id": "ev:gq_08ad77e7e6c643ef20c4:e9e17152c869748aefc662ffb146e858: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.marriott.com/f-b-attendant-banquets-casual/job/B804DF615BE255821A618A698CA9F524?utm_source=marriottcareers&utm_medium=referralwebsite", "source_values": [ "llm:greenfield:inv_371_postfix" ], "checked_at": null } } }, { "id": "02f7adc88f745b7fa9064ac5af064c99", "title": "Supervisor, Quality Assurance", "employer_name": "Flowserve", "employer_slug": "flowserve", "location_text": "Rio de Janeiro, Brazil", "country": "BR", "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://flowserve.wd1.myworkdayjobs.com/applied/job/Rio-de-Janeiro-Brazil/Supervisor--Quality-Assurance_R-19250-1", "apply_url_verified": false, "ats": "workday", "url_last_checked_alive": null, "removed_at": null, "description_excerpt": "Supervisor, Quality Assurance Rio de Janeiro, Brazil 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/30625/000003062526000003/fls-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/30625/000003062526000003/fls-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": "operations", "role_function_source": "rule", "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.6aa60f1eb9dc2ddf3f", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "02f7adc88f745b7fa9064ac5af064c99", "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": "operations", "matched_input": "formal", "derivation_source": "candidate_result.raw_match_evidence", "candidate_evidence_id": "ev:gq_08ad77e7e6c643ef20c4:02f7adc88f745b7fa9064ac5af064c99: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/30625/000003062526000003/fls-20251231.htm", "source_values": [ "sec_10k", "https://www.sec.gov/Archives/edgar/data/30625/000003062526000003/fls-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://flowserve.wd1.myworkdayjobs.com/applied/job/Rio-de-Janeiro-Brazil/Supervisor--Quality-Assurance_R-19250-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://flowserve.wd1.myworkdayjobs.com/applied/job/Rio-de-Janeiro-Brazil/Supervisor--Quality-Assurance_R-19250-1", "source_values": [ "rule" ], "checked_at": null } } }, { "id": "5d3c8227896df8cae679d3eba78d1b0a", "title": "GPU Formal Design Verification Engineer", "employer_name": "Apple", "employer_slug": "apple", "location_text": "Austin, United States of America", "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-02-13T05:12:48.171Z", "apply_url": "https://jobs.apple.com/en-us/details/200646295/gpu-formal-design-verification-engineer?team=HRDWR", "apply_url_verified": false, "ats": "apple_custom", "url_last_checked_alive": null, "removed_at": null, "description_excerpt": "GPU Formal Design Verification Engineer Austin, United States of America Do you love creating elegant solutions to highly complex challenges? As part of our Silicon Technologies group, you'll help design and manufacture our next-generation, high-performance, power-efficient processor, system-on-chip (SoC)! You'll ensure Apple products and services can seamlessly and expertly handle the tasks that make them beloved by millions. Joining this group means you'll be responsible for crafting and building the technology that fuels Apple's devices. Together, you and your team will enable our customers to do all the things they love with their devices! The Graphics Verification Engineer will be responsible for the pre-silicon RTL verification applying formal and property checking methods. This includes deep understanding of the micro-architectural details of their block and how it works within the broader GPU design. In this role you will: - Work with the design team to review and enhance specifications. - Develop verification plans in coordination with design leads, verification leads and micro-architects. - Develop and drive to completion formal verification across multiple design blocks. - Conduct formal verification reviews with design and verification teams. - Handle deliverables and work with multi-functional teams to support product requirements. - Create automated flows and infrastructure for formal verification. - Work with other block and core level engineers to ensure seamless verification flow. Minimum Qualifications: BS degree in Computer Science, Computer Engineering, Electrical Engineering or equivalent field + 3 years of relevant experience. Experience with CPU or GPU design architectures, VLSI circuits, and digital logic", "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": "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" }, "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/320193/000032019325000079/aapl-20250927.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" }, "equity_included": { "source": "sec_10k", "source_url": "https://www.sec.gov/Archives/edgar/data/320193/000032019325000079/aapl-20250927.htm", "source_fields": [ "equity_offered", "equity_type" ] }, "visa_sponsorship": { "field": "visa_sponsorship", "source": "llm:greenfield:inv_371_postfix", "db_column": "visa_sponsorship" }, "industry_vertical": { "field": "industry_vertical", "source": "llm:greenfield:inv_371_postfix", "db_column": "industry_vertical" }, "naics_sector_code": { "field": "naics_sector_code", "source": "llm:greenfield:inv_371_postfix", "db_column": "naics_sector_code" }, "education_required": { "field": "education_required", "source": "llm:greenfield:inv_371_postfix", "db_column": "education_required" }, "naics_sector_title": { "field": "naics_sector_title", "source": "llm:greenfield:inv_371_postfix", "db_column": "naics_sector_title" } }, "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": null, "company_stage_source": null, "employer_industry": "Technology", "employer_industry_source": "source_sector", "employer_size": "5000+", "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": 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.a6adecfe68cd48e28b", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "5d3c8227896df8cae679d3eba78d1b0a", "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": "GPU Formal Design Verification Engineer Austin, United States of America Do you love creating elegant solutions to highly complex challenges? As part of our Silicon Technologies group, you'll help design and manufacture our next-generation, high-performance, power-efficient processor, system-on-chip (SoC)! You'll ensure Apple products and services can seamlessly and expertly handle the tasks that make them beloved by millions. Joining this group means you'll be responsible for crafting and building the technology that fuels Apple's devices. Together, you and your team will enable our customers to do all the things they love with their devices! The Graphics Verification Engineer will be responsible for the pre-silicon RTL verification applying formal and property checking methods. This includes deep understanding of the micro-architectural details of their block and how it works within the broader GPU design. In this role you will: - Work with the design team to review and enhance specifications. - Develop verification plans in coordination with design leads, verification leads and micro-architects. - Develop and drive to completion formal verification across multiple design blocks. - Conduct formal verification reviews with design and verification teams. - Handle deliverables and work with multi-functional teams to support product requirements. - Create automated flows and infrastructure for formal verification. - Work with other block and core level engineers to ensure seamless verification flow. Minimum Qualifications: BS degree in Computer Science, Computer Engineering, Electrical Engineering or equivalent field + 3 years of relevant experience. Experience with CPU or GPU design architectures, VLSI circuits, and digital logic", "matched_input": "formal", "derivation_source": "candidate_result.raw_match_evidence", "candidate_evidence_id": "ev:gq_08ad77e7e6c643ef20c4:5d3c8227896df8cae679d3eba78d1b0a: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.87383b039d6e6a6e10", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "5d3c8227896df8cae679d3eba78d1b0a", "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": "GPU Formal Design Verification Engineer", "matched_input": "formal", "derivation_source": "candidate_result.raw_match_evidence", "candidate_evidence_id": "ev:gq_08ad77e7e6c643ef20c4:5d3c8227896df8cae679d3eba78d1b0a: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.1da59bf043cf7e1f40", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "5d3c8227896df8cae679d3eba78d1b0a", "signal_type": "query_match", "display_text": "Title: \"formal\"", "tooltip": "Title contains \"formal\" from your search.", "source_binding": "token_match", "source_field": "title", "source_value": "GPU Formal Design 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 } } ], "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/320193/000032019325000079/aapl-20250927.htm", "source_values": [ "sec_10k", "https://www.sec.gov/Archives/edgar/data/320193/000032019325000079/aapl-20250927.htm" ], "checked_at": "2026-06-20T05:42:05.724Z" }, "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://jobs.apple.com/en-us/details/200646295/gpu-formal-design-verification-engineer?team=HRDWR", "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.apple.com/en-us/details/200646295/gpu-formal-design-verification-engineer?team=HRDWR", "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": "0e1dec2dcd1b42f550c5dc8ab8d28ce8", "title": "BALENCIAGA - Internal Communication Officer Apprentice - September 2026 (F/M)", "employer_name": "Kering", "employer_slug": "kering", "location_text": "Paris, France", "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": false, "equity_included_source": null, "equity_type": [ "none" ], "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-12T10:25:24.000Z", "apply_url": "https://careers.kering.com/careers/job/563705891612027", "apply_url_verified": false, "ats": "eightfold", "url_last_checked_alive": null, "removed_at": null, "description_excerpt": "BALENCIAGA - Internal Communication Officer Apprentice - September 2026 (F/M) Paris, France", "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" }, "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" }, "education_required": { "field": "education_required", "source": "llm:greenfield:inv_371_postfix", "db_column": "education_required" } }, "seniority": "entry", "seniority_source": "llm:greenfield:inv_371_postfix", "years_experience_min": 0, "years_experience_max": 4, "role_function": "finance", "role_function_source": "rule", "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.403593c9b801003a14", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "0e1dec2dcd1b42f550c5dc8ab8d28ce8", "signal_type": "query_match", "display_text": "Role: semantic match", "tooltip": "Role provided semantic evidence for your search intent.", "source_binding": "vector_semantic_evidence", "source_field": "role_function", "source_value": "finance", "matched_input": "formal", "derivation_source": "candidate_result.raw_match_evidence", "candidate_evidence_id": "ev:gq_08ad77e7e6c643ef20c4:0e1dec2dcd1b42f550c5dc8ab8d28ce8: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": "inferred", "verified": false, "label": "Inferred - source not recorded", "source_label": "source not recorded", "href": null, "source_values": [], "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://careers.kering.com/careers/job/563705891612027", "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://careers.kering.com/careers/job/563705891612027", "source_values": [ "rule" ], "checked_at": null } } }, { "id": "7b00d25a665cf2604974849837da3edf", "title": "Principal Applied Scientist, Automated Reasoning", "employer_name": "Amazon", "employer_slug": "amazon", "location_text": "Seattle, Washington, 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": 198900, "salary_max": 269000, "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": 198900, "base_salary_max": 269000, "salary_disclosed": true, "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": true, "childcare_subsidy": true, "fertility_family_building_benefits": true, "adoption_assistance_offered": true, "surrogacy_assistance_offered": true, "student_loan_repayment_offered": null, "learning_budget_offered": null, "relocation_assistance": null, "top_startup_sources": [], "posted_at": "2026-03-13T00:00:00.000Z", "apply_url": "https://www.amazon.jobs/en/jobs/3204310/principal-applied-scientist-automated-reasoning", "apply_url_verified": false, "ats": "amazon_custom", "url_last_checked_alive": null, "removed_at": null, "description_excerpt": "Principal Applied Scientist, Automated Reasoning Seattle, Washington, USA We are seeking a Principal Applied Scientist to lead research and development in automated reasoning, formal verification, and program analysis. You will drive innovation in making formal methods practical and accessible for real-world systems at cloud scale. Key job responsibilities - Lead research initiatives in automated reasoning, formal verification, SMT solving, model checking, or program analysis - Design and implement novel algorithms and techniques that advance the state of the art - Mentor and guide applied scientists, research scientists, and engineers - Collaborate with product teams to transition research into production systems - Define technical vision and strategy for automated reasoning initiatives - Represent AWS in the academic and research community - Drive cross-organizational impact through technical leadership About the team The Automated Reasoning Group at AWS develops and applies cutting-edge formal methods and automated reasoning techniques to ensure the security, reliability, and correctness of AWS services and customer applications. Our work innovates tools and services to perform verification at scale and apply them to build safe and secure systems at AWS. We are also pioneering the use of formal verification and automated reasoning to develop agentic systems, ensuring AI agents operate within defined safety boundaries. Basic Qualifications: - MS or Ph.D. degree in Electrical Engineering, Computer Science, Mathematics, or related technical field. - Industrial/academic experience in formal verification, and theorem proving. - Experience with program analysis, program verification or synthesis. - Experience with programming languages such as Rust, C, C++, Java,", "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.aboutamazon.com/news/workplace/what-20-weeks-of-fully-paid-leave-does-for-Amazon-families", "pto_days": null, "unlimited_pto": false, "sabbatical_eligible": false, "family_friendly_score": 56, "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": "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" }, "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": "salary_max" }, "salary_min": { "field": "salary_min", "source": "llm:greenfield:inv_371_postfix", "db_column": "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/1018724/000101872426000004/amzn-20251231.htm", "source_fields": [ "equity_offered", "equity_type" ] }, "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" }, "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/1018724/000101872426000004/amzn-20251231.htm", "source_fields": [ "equity_offered", "equity_type" ] }, "visa_sponsorship": { "field": "visa_sponsorship", "source": "llm:greenfield:inv_371_postfix", "db_column": "visa_sponsorship" }, "childcare_subsidy": { "field": "childcare_subsidy", "source": "llm:greenfield:inv_371_postfix", "db_column": "childcare_subsidy" }, "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.aboutamazon.com/news/workplace/what-20-weeks-of-fully-paid-leave-does-for-Amazon-families", "db_column": "parental_leave_weeks", "source_url": "https://www.aboutamazon.com/news/workplace/what-20-weeks-of-fully-paid-leave-does-for-Amazon-families" }, "mental_health_support": { "field": "mental_health_support", "source": "llm:greenfield:inv_371_postfix", "db_column": "mental_health_support" }, "adoption_assistance_offered": { "field": "adoption_assistance_offered", "source": "llm:greenfield:inv_371_postfix", "db_column": "adoption_assistance_offered" }, "non_birth_parent_leave_weeks": { "field": "non_birth_parent_leave_weeks", "source": "llm:greenfield:inv_371_postfix", "db_column": "non_birth_parent_leave_weeks" }, "surrogacy_assistance_offered": { "field": "surrogacy_assistance_offered", "source": "llm:greenfield:inv_371_postfix", "db_column": "surrogacy_assistance_offered" }, "fertility_family_building_benefits": { "field": "fertility_family_building_benefits", "source": "llm:greenfield:inv_371_postfix", "db_column": "fertility_family_building_benefits" } }, "seniority": "principal", "seniority_source": "llm:greenfield:inv_371_postfix", "years_experience_min": 8, "years_experience_max": 12, "role_function": "data", "role_function_source": "llm:greenfield:inv_371_postfix", "company_stage": "public-company", "company_stage_source": "llm:greenfield:inv_371_postfix", "employer_industry": "Industrial", "employer_industry_source": "wikidata_sparql_industry", "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": "masters", "roll_up_count": null, "roll_up_total_locations": null, "explanations": [ { "schema_version": "inv382.match_signal.v1", "signal_id": "sig.query.description_excerpt.3bf9b1967bfe0e3314", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "7b00d25a665cf2604974849837da3edf", "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": "Principal Applied Scientist, Automated Reasoning Seattle, Washington, USA We are seeking a Principal Applied Scientist to lead research and development in automated reasoning, formal verification, and program analysis. You will drive innovation in making formal methods practical and accessible for real-world systems at cloud scale. Key job responsibilities - Lead research initiatives in automated reasoning, formal verification, SMT solving, model checking, or program analysis - Design and implement novel algorithms and techniques that advance the state of the art - Mentor and guide applied scientists, research scientists, and engineers - Collaborate with product teams to transition research into production systems - Define technical vision and strategy for automated reasoning initiatives - Represent AWS in the academic and research community - Drive cross-organizational impact through technical leadership About the team The Automated Reasoning Group at AWS develops and applies cutting-edge formal methods and automated reasoning techniques to ensure the security, reliability, and correctness of AWS services and customer applications. Our work innovates tools and services to perform verification at scale and apply them to build safe and secure systems at AWS. We are also pioneering the use of formal verification and automated reasoning to develop agentic systems, ensuring AI agents operate within defined safety boundaries. Basic Qualifications: - MS or Ph.D. degree in Electrical Engineering, Computer Science, Mathematics, or related technical field. - Industrial/academic experience in formal verification, and theorem proving. - Experience with program analysis, program verification or synthesis. - Experience with programming languages such as Rust, C, C++, Java,", "matched_input": "formal", "derivation_source": "candidate_result.raw_match_evidence", "candidate_evidence_id": "ev:gq_08ad77e7e6c643ef20c4:7b00d25a665cf2604974849837da3edf: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.description_excerpt.1ed2e6daf31667996d", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "7b00d25a665cf2604974849837da3edf", "signal_type": "query_match", "display_text": "Description: \"formal\"", "tooltip": "Description contains \"formal\" from your search.", "source_binding": "token_match", "source_field": "description_excerpt", "source_value": "Principal Applied Scientist, Automated Reasoning Seattle, Washington, USA We are seeking a Principal Applied Scientist to lead research and development in automated reasoning, formal verification, and program analysis. You will drive innovation in making formal methods practical and accessible for real-world systems at cloud scale. Key job responsibilities - Lead research initiatives in automated reasoning, formal verification, SMT solving, model checking, or program analysis - Design and implement novel algorithms and techniques that advance the state of the art - Mentor and guide applied scientists, research scientists, and engineers - Collaborate with product teams to transition research into production systems - Define technical vision and strategy for automated reasoning initiatives - Represent AWS in the academic and research community - Drive cross-organizational impact through technical leadership About the team The Automated Reasoning Group at AWS develops and applies cutting-edge formal methods and automated reasoning techniques to ensure the security, reliability, and correctness of AWS services and customer applications. Our work innovates tools and services to perform verification at scale and apply them to build safe and secure systems at AWS. We are also pioneering the use of formal verification and automated reasoning to develop agentic systems, ensuring AI agents operate within defined safety boundaries. Basic Qualifications: - MS or Ph.D. degree in Electrical Engineering, Computer Science, Mathematics, or related technical field. - Industrial/academic experience in formal verification, and theorem proving. - Experience with program analysis, program verification or synthesis. - Experience with programming languages such as Rust, C, C++, Java,", "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.amazon.jobs/en/jobs/3204310/principal-applied-scientist-automated-reasoning", "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.amazon.jobs/en/jobs/3204310/principal-applied-scientist-automated-reasoning", "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.amazon.jobs/en/jobs/3204310/principal-applied-scientist-automated-reasoning", "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/1018724/000101872426000004/amzn-20251231.htm", "source_values": [ "sec_10k", "https://www.sec.gov/Archives/edgar/data/1018724/000101872426000004/amzn-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.amazon.jobs/en/jobs/3204310/principal-applied-scientist-automated-reasoning", "source_values": [ "https://www.aboutamazon.com/news/workplace/what-20-weeks-of-fully-paid-leave-does-for-Amazon-families" ], "checked_at": "2026-06-07T00:00:00Z" }, "non_birth_parent_leave_weeks": { "tier": "posting", "verified": true, "label": "From the posting", "source_label": "the posting", "href": "https://www.amazon.jobs/en/jobs/3204310/principal-applied-scientist-automated-reasoning", "source_values": [ "llm:greenfield:inv_371_postfix" ], "checked_at": "2026-06-07T00:00:00Z" }, "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://www.amazon.jobs/en/jobs/3204310/principal-applied-scientist-automated-reasoning", "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.amazon.jobs/en/jobs/3204310/principal-applied-scientist-automated-reasoning", "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://www.amazon.jobs/en/jobs/3204310/principal-applied-scientist-automated-reasoning", "source_values": [ "llm:greenfield:inv_371_postfix" ], "checked_at": "2026-06-20T05:42:05.724Z" }, "employer_industry": { "tier": "government", "verified": true, "label": "Verified - Wikidata", "source_label": "Wikidata", "href": null, "source_values": [ "wikidata_sparql_industry" ], "checked_at": "2026-06-20T05:42:05.724Z" }, "fertility_family_building_benefits": { "tier": "posting", "verified": true, "label": "From the posting", "source_label": "the posting", "href": "https://www.amazon.jobs/en/jobs/3204310/principal-applied-scientist-automated-reasoning", "source_values": [ "llm:greenfield:inv_371_postfix" ], "checked_at": "2026-06-07T00:00:00Z" }, "mental_health_support": { "tier": "posting", "verified": true, "label": "From the posting", "source_label": "the posting", "href": "https://www.amazon.jobs/en/jobs/3204310/principal-applied-scientist-automated-reasoning", "source_values": [ "llm:greenfield:inv_371_postfix" ], "checked_at": "2026-06-07T00:00:00Z" }, "adoption_assistance_offered": { "tier": "posting", "verified": true, "label": "From the posting", "source_label": "the posting", "href": "https://www.amazon.jobs/en/jobs/3204310/principal-applied-scientist-automated-reasoning", "source_values": [ "llm:greenfield:inv_371_postfix" ], "checked_at": "2026-06-07T00:00:00Z" }, "childcare_subsidy": { "tier": "posting", "verified": true, "label": "From the posting", "source_label": "the posting", "href": "https://www.amazon.jobs/en/jobs/3204310/principal-applied-scientist-automated-reasoning", "source_values": [ "llm:greenfield:inv_371_postfix" ], "checked_at": "2026-06-07T00:00:00Z" }, "surrogacy_assistance_offered": { "tier": "posting", "verified": true, "label": "From the posting", "source_label": "the posting", "href": "https://www.amazon.jobs/en/jobs/3204310/principal-applied-scientist-automated-reasoning", "source_values": [ "llm:greenfield:inv_371_postfix" ], "checked_at": "2026-06-07T00:00:00Z" } } }, { "id": "40b0dfea2643ea804a2c2d92dc19e015", "title": "Supervisor SHE", "employer_name": "Weir Group", "employer_slug": "weir-group", "location_text": "PE013 - MIN - Arequipa - Calle Ambrocio Vucetich", "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": "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-10T03:52:15.000Z", "apply_url": "https://weir.wd3.myworkdayjobs.com/Weir_External_Careers/job/PE013---MIN---Arequipa---Calle-Ambrocio-Vucetich/Supervisor-SHE_R0037470", "apply_url_verified": false, "ats": "workday", "url_last_checked_alive": null, "removed_at": null, "description_excerpt": "Supervisor SHE PE013 - MIN - Arequipa - Calle Ambrocio Vucetich posted:", "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" }, "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": "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": 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.12eabb69cad3ad5ca3", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "40b0dfea2643ea804a2c2d92dc19e015", "signal_type": "query_match", "display_text": "Role: semantic match", "tooltip": "Role provided semantic evidence for your search intent.", "source_binding": "vector_semantic_evidence", "source_field": "role_function", "source_value": "other", "matched_input": "formal", "derivation_source": "candidate_result.raw_match_evidence", "candidate_evidence_id": "ev:gq_08ad77e7e6c643ef20c4:40b0dfea2643ea804a2c2d92dc19e015: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": "inferred", "verified": false, "label": "Inferred - source not recorded", "source_label": "source not recorded", "href": null, "source_values": [], "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://weir.wd3.myworkdayjobs.com/Weir_External_Careers/job/PE013---MIN---Arequipa---Calle-Ambrocio-Vucetich/Supervisor-SHE_R0037470", "source_values": [ "llm:greenfield:inv_371_postfix" ], "checked_at": null } } }, { "id": "a0fcadbb8ab1abdf8933248ff2a6a3d4", "title": "Stylist", "employer_name": "Estée Lauder Companies (The)", "employer_slug": "est-e-lauder-companies-the", "location_text": "Bodrum,TR-48,Türkiye", "country": "TR", "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-06-12T10:25:24.000Z", "apply_url": "https://elcompanies.eightfold.ai/careers/job/1168272256004", "apply_url_verified": false, "ats": "eightfold", "url_last_checked_alive": null, "removed_at": null, "description_excerpt": "Stylist Bodrum,TR-48,Türkiye", "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/1001250/000100125025000099/el-20250630.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/1001250/000100125025000099/el-20250630.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.d5a37ed8f770878a66", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "a0fcadbb8ab1abdf8933248ff2a6a3d4", "signal_type": "query_match", "display_text": "Role: semantic match", "tooltip": "Role provided semantic evidence for your search intent.", "source_binding": "vector_semantic_evidence", "source_field": "role_function", "source_value": "other", "matched_input": "formal", "derivation_source": "candidate_result.raw_match_evidence", "candidate_evidence_id": "ev:gq_08ad77e7e6c643ef20c4:a0fcadbb8ab1abdf8933248ff2a6a3d4: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/1001250/000100125025000099/el-20250630.htm", "source_values": [ "sec_10k", "https://www.sec.gov/Archives/edgar/data/1001250/000100125025000099/el-20250630.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://elcompanies.eightfold.ai/careers/job/1168272256004", "source_values": [ "llm:greenfield:inv_371_postfix" ], "checked_at": null } } }, { "id": "035c08e9a6ad179667c575366a73e1d0", "title": "Funeral Arranger - Union", "employer_name": "Service Corporation International", "employer_slug": "service-corporation-international", "location_text": "PR - Bayamon", "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" ], "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://sci.wd5.myworkdayjobs.com/SCI/job/PR---Bayamon/Funeral-Arranger---Union_Req161281", "apply_url_verified": false, "ats": "workday", "url_last_checked_alive": null, "removed_at": null, "description_excerpt": "Funeral Arranger - Union PR - Bayamon 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/89089/000162828026007695/sci-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/89089/000162828026007695/sci-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": "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.9bf44dacfa9b882fd7", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "035c08e9a6ad179667c575366a73e1d0", "signal_type": "query_match", "display_text": "Role: semantic match", "tooltip": "Role provided semantic evidence for your search intent.", "source_binding": "vector_semantic_evidence", "source_field": "role_function", "source_value": "other", "matched_input": "formal", "derivation_source": "candidate_result.raw_match_evidence", "candidate_evidence_id": "ev:gq_08ad77e7e6c643ef20c4:035c08e9a6ad179667c575366a73e1d0: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/89089/000162828026007695/sci-20251231.htm", "source_values": [ "sec_10k", "https://www.sec.gov/Archives/edgar/data/89089/000162828026007695/sci-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://sci.wd5.myworkdayjobs.com/SCI/job/PR---Bayamon/Funeral-Arranger---Union_Req161281", "source_values": [ "llm:greenfield:inv_371_postfix" ], "checked_at": null } } }, { "id": "c94ab2863f37fd55bf9aa44cc5b48f39", "title": "ASIC Engineering Technical Leader | RTL development (Verilog, SystemVerilog, VCS, Spyglass, CDC, Formal verification) | Exp - 12+ years", "employer_name": "ThousandEyes", "employer_slug": "thousandeyes", "location_text": "Bangalore, India", "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": 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-05-08T00:00:00.000Z", "apply_url": "https://cisco.wd5.myworkdayjobs.com/Cisco_Careers/job/Bangalore-India/ASIC-Engineering-Technical-Leader---RTL-development--Verilog--SystemVerilog--VCS--Spyglass--CDC--Formal-verification----Exp---12--years_2013404/apply", "apply_url_verified": false, "ats": "phenom_people", "url_last_checked_alive": null, "removed_at": null, "description_excerpt": "ASIC Engineering Technical Leader | RTL development (Verilog, SystemVerilog, VCS, Spyglass, CDC, Formal verification) | Exp - 12+ years Bangalore, India Join us as an ASIC Engineering Technical Leader and drive the development of cutting-edge enterprise and service provider solutions. Lead complex RTL design projects, mentor top talent, and shape the future of high-performance ASICs at Cisco SiliconOne. Make a significant impact in a world-class, innovative environment.", "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": "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": "public-company", "company_stage_source": "llm:greenfield:inv_371_postfix", "employer_industry": null, "employer_industry_source": null, "employer_size": null, "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.description_excerpt.a75207b022e09ab34d", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "c94ab2863f37fd55bf9aa44cc5b48f39", "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 Engineering Technical Leader | RTL development (Verilog, SystemVerilog, VCS, Spyglass, CDC, Formal verification) | Exp - 12+ years Bangalore, India Join us as an ASIC Engineering Technical Leader and drive the development of cutting-edge enterprise and service provider solutions. Lead complex RTL design projects, mentor top talent, and shape the future of high-performance ASICs at Cisco SiliconOne. Make a significant impact in a world-class, innovative environment.", "matched_input": "formal", "derivation_source": "candidate_result.raw_match_evidence", "candidate_evidence_id": "ev:gq_08ad77e7e6c643ef20c4:c94ab2863f37fd55bf9aa44cc5b48f39: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.bb5c28462a8d2d9b59", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "c94ab2863f37fd55bf9aa44cc5b48f39", "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 Engineering Technical Leader | RTL development (Verilog, SystemVerilog, VCS, Spyglass, CDC, Formal verification) | Exp - 12+ years", "matched_input": "formal", "derivation_source": "candidate_result.raw_match_evidence", "candidate_evidence_id": "ev:gq_08ad77e7e6c643ef20c4:c94ab2863f37fd55bf9aa44cc5b48f39: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.cb364075d3e01c1d9a", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "c94ab2863f37fd55bf9aa44cc5b48f39", "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 Engineering Technical Leader | RTL development (Verilog, SystemVerilog, VCS, Spyglass, CDC, Formal verification) | Exp - 12+ years", "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 } } ], "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://cisco.wd5.myworkdayjobs.com/Cisco_Careers/job/Bangalore-India/ASIC-Engineering-Technical-Leader---RTL-development--Verilog--SystemVerilog--VCS--Spyglass--CDC--Formal-verification----Exp---12--years_2013404/apply", "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://cisco.wd5.myworkdayjobs.com/Cisco_Careers/job/Bangalore-India/ASIC-Engineering-Technical-Leader---RTL-development--Verilog--SystemVerilog--VCS--Spyglass--CDC--Formal-verification----Exp---12--years_2013404/apply", "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://cisco.wd5.myworkdayjobs.com/Cisco_Careers/job/Bangalore-India/ASIC-Engineering-Technical-Leader---RTL-development--Verilog--SystemVerilog--VCS--Spyglass--CDC--Formal-verification----Exp---12--years_2013404/apply", "source_values": [ "llm:greenfield:inv_371_postfix" ], "checked_at": "2026-06-20T05:42:05.724Z" } } }, { "id": "7f388bf700cba5390772fe83c3c15623", "title": "ASIC Formal Verification Engineer, TPU Compute", "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": 163000, "salary_max": 237000, "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": 163000, "base_salary_max": 237000, "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-05T15:38:59.000Z", "apply_url": "https://www.google.com/about/careers/applications/signin?jobId=CiUAL2FckdtsSeBXQa5bVchDW3C6PIWOTDG5OQugyVWQXXYDreJuEjsACxwdTNP1EMvVlFR-eO-Gg4J4xSLwprKLPW1hss_2Gfp_tX_iJuLlTY8zVb2iPw55-exzukPjtCRfLw%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, TPU Compute 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'll contribute formal verification expertise to verify complex 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 developers to", "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" }, "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" }, "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" }, "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": 8, "years_experience_max": 12, "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.dfbce3fa7a2dbc5993", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "7f388bf700cba5390772fe83c3c15623", "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, TPU Compute 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'll contribute formal verification expertise to verify complex 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 developers to", "matched_input": "formal", "derivation_source": "candidate_result.raw_match_evidence", "candidate_evidence_id": "ev:gq_08ad77e7e6c643ef20c4:7f388bf700cba5390772fe83c3c15623: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.0ac410b752a8fdd0aa", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "7f388bf700cba5390772fe83c3c15623", "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, TPU Compute", "matched_input": "formal", "derivation_source": "candidate_result.raw_match_evidence", "candidate_evidence_id": "ev:gq_08ad77e7e6c643ef20c4:7f388bf700cba5390772fe83c3c15623: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.f52e69144cc8bf2112", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "7f388bf700cba5390772fe83c3c15623", "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, TPU Compute", "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=CiUAL2FckdtsSeBXQa5bVchDW3C6PIWOTDG5OQugyVWQXXYDreJuEjsACxwdTNP1EMvVlFR-eO-Gg4J4xSLwprKLPW1hss_2Gfp_tX_iJuLlTY8zVb2iPw55-exzukPjtCRfLw%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=CiUAL2FckdtsSeBXQa5bVchDW3C6PIWOTDG5OQugyVWQXXYDreJuEjsACxwdTNP1EMvVlFR-eO-Gg4J4xSLwprKLPW1hss_2Gfp_tX_iJuLlTY8zVb2iPw55-exzukPjtCRfLw%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=CiUAL2FckdtsSeBXQa5bVchDW3C6PIWOTDG5OQugyVWQXXYDreJuEjsACxwdTNP1EMvVlFR-eO-Gg4J4xSLwprKLPW1hss_2Gfp_tX_iJuLlTY8zVb2iPw55-exzukPjtCRfLw%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=CiUAL2FckdtsSeBXQa5bVchDW3C6PIWOTDG5OQugyVWQXXYDreJuEjsACxwdTNP1EMvVlFR-eO-Gg4J4xSLwprKLPW1hss_2Gfp_tX_iJuLlTY8zVb2iPw55-exzukPjtCRfLw%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=CiUAL2FckdtsSeBXQa5bVchDW3C6PIWOTDG5OQugyVWQXXYDreJuEjsACxwdTNP1EMvVlFR-eO-Gg4J4xSLwprKLPW1hss_2Gfp_tX_iJuLlTY8zVb2iPw55-exzukPjtCRfLw%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=CiUAL2FckdtsSeBXQa5bVchDW3C6PIWOTDG5OQugyVWQXXYDreJuEjsACxwdTNP1EMvVlFR-eO-Gg4J4xSLwprKLPW1hss_2Gfp_tX_iJuLlTY8zVb2iPw55-exzukPjtCRfLw%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=CiUAL2FckdtsSeBXQa5bVchDW3C6PIWOTDG5OQugyVWQXXYDreJuEjsACxwdTNP1EMvVlFR-eO-Gg4J4xSLwprKLPW1hss_2Gfp_tX_iJuLlTY8zVb2iPw55-exzukPjtCRfLw%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": "d1b169b4ead04898e223cebfeef74e1f", "title": "Aprendiz", "employer_name": "Bold", "employer_slug": "bold", "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": [ "a16z" ], "posted_at": "2026-06-10T03:52:15.000Z", "apply_url": "https://bold.bamboohr.com/careers/59", "apply_url_verified": false, "ats": "bamboohr", "url_last_checked_alive": null, "removed_at": null, "description_excerpt": "Aprendiz Aprendiz", "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": 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": "51-200", "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.82ff138e92615815d4", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "d1b169b4ead04898e223cebfeef74e1f", "signal_type": "query_match", "display_text": "Role: semantic match", "tooltip": "Role provided semantic evidence for your search intent.", "source_binding": "vector_semantic_evidence", "source_field": "role_function", "source_value": "other", "matched_input": "formal", "derivation_source": "candidate_result.raw_match_evidence", "candidate_evidence_id": "ev:gq_08ad77e7e6c643ef20c4:d1b169b4ead04898e223cebfeef74e1f: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://bold.bamboohr.com/careers/59", "source_values": [ "llm:greenfield:inv_371_postfix" ], "checked_at": null } } }, { "id": "453e8897c2542ca145d8ee865d852725", "title": "Distinguished Formal Verification", "employer_name": "Astera Labs", "employer_slug": "astera-labs", "location_text": "San Jose, CA", "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": 230000, "salary_max": 285000, "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": 230000, "base_salary_max": 285000, "salary_disclosed": true, "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": true, "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-02-23T18:43:57.000Z", "apply_url": "https://job-boards.greenhouse.io/asteralabs/jobs/4664853005", "apply_url_verified": false, "ats": "greenhouse", "url_last_checked_alive": null, "removed_at": null, "description_excerpt": "Distinguished Formal Verification San Jose, CA Astera Labs (NASDAQ: ALAB) provides rack-scale AI infrastructure through purpose-built connectivity solutions. By collaborating with hyperscalers and ecosystem partners, Astera Labs enables organizations to unlock the full potential of modern AI. Astera Labs' Intelligent Connectivity Platform integrates CXL®, Ethernet, NVLink, PCIe®, and UALink™ semiconductor-based technologies with the company's COSMOS software suite to unify diverse components into cohesive, flexible systems that deliver end-to-end scale-up, and scale-out connectivity. The company's custom connectivity solutions business complements its standards-based portfolio, enabling customers to deploy tailored architectures to meet their unique infrastructure requirements. Discover more at www.asteralabs.com . Astera Labs is seeking a Distinguished Engineer, Formal Verification to join our world-class engineering team in San Jose, California. As a hyper-growth leader in AI infrastructure connectivity, we're revolutionizing how data centers handle explosive AI workloads through cutting-edge PCIe Gen 6/7, CXL, Ethernet, UCIe, and UALink technologies. This is a rare opportunity to shape the formal verification strategy across our entire product portfolio while working on the most advanced connectivity solutions powering the AI revolution. In this highly strategic role, you'll serve as Astera Labs' technical authority on formal verification, defining methodologies and best practices that ensure the highest quality standards across all our next-generation connectivity products. You'll work at the intersection of innovation and reliability, leading efforts to catch critical corner-case bugs that traditional verification methods miss, while mentoring a global team of engineers and representing Astera Labs as a thought leader in the formal verification community. This position offers", "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": 44, "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": "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/1736297/000173629726000010/alab-20251231.htm", "source_fields": [ "equity_offered", "equity_type" ] }, "salary_type": { "field": "salary_type", "source": "llm:greenfield:inv_371_postfix", "db_column": "salary_type" }, "bonus_offered": { "field": "bonus_offered", "source": "llm:greenfield:inv_371_postfix", "db_column": "bonus_offered" }, "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" }, "salary_period": { "field": "salary_period", "source": "llm:greenfield:inv_371_postfix", "db_column": "salary_period" }, "equity_included": { "source": "sec_10k", "source_url": "https://www.sec.gov/Archives/edgar/data/1736297/000173629726000010/alab-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" }, "industry_vertical": { "field": "industry_vertical", "source": "llm:greenfield:inv_371_postfix", "db_column": "industry_vertical" }, "naics_sector_code": { "field": "naics_sector_code", "source": "llm:greenfield:inv_371_postfix", "db_column": "naics_sector_code" }, "education_required": { "field": "education_required", "source": "llm:greenfield:inv_371_postfix", "db_column": "education_required" }, "naics_sector_title": { "field": "naics_sector_title", "source": "llm:greenfield:inv_371_postfix", "db_column": "naics_sector_title" }, "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" } }, "seniority": "staff_plus", "seniority_source": "llm:greenfield:inv_371_postfix", "years_experience_min": 15, "years_experience_max": null, "role_function": "engineering", "role_function_source": "llm:greenfield:inv_371_postfix", "company_stage": "public-company", "company_stage_source": "llm:greenfield:inv_371_postfix", "employer_industry": null, "employer_industry_source": null, "employer_size": null, "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.a2d755afe756f68695", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "453e8897c2542ca145d8ee865d852725", "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": "Distinguished Formal Verification San Jose, CA Astera Labs (NASDAQ: ALAB) provides rack-scale AI infrastructure through purpose-built connectivity solutions. By collaborating with hyperscalers and ecosystem partners, Astera Labs enables organizations to unlock the full potential of modern AI. Astera Labs' Intelligent Connectivity Platform integrates CXL®, Ethernet, NVLink, PCIe®, and UALink™ semiconductor-based technologies with the company's COSMOS software suite to unify diverse components into cohesive, flexible systems that deliver end-to-end scale-up, and scale-out connectivity. The company's custom connectivity solutions business complements its standards-based portfolio, enabling customers to deploy tailored architectures to meet their unique infrastructure requirements. Discover more at www.asteralabs.com . Astera Labs is seeking a Distinguished Engineer, Formal Verification to join our world-class engineering team in San Jose, California. As a hyper-growth leader in AI infrastructure connectivity, we're revolutionizing how data centers handle explosive AI workloads through cutting-edge PCIe Gen 6/7, CXL, Ethernet, UCIe, and UALink technologies. This is a rare opportunity to shape the formal verification strategy across our entire product portfolio while working on the most advanced connectivity solutions powering the AI revolution. In this highly strategic role, you'll serve as Astera Labs' technical authority on formal verification, defining methodologies and best practices that ensure the highest quality standards across all our next-generation connectivity products. You'll work at the intersection of innovation and reliability, leading efforts to catch critical corner-case bugs that traditional verification methods miss, while mentoring a global team of engineers and representing Astera Labs as a thought leader in the formal verification community. This position offers", "matched_input": "formal", "derivation_source": "candidate_result.raw_match_evidence", "candidate_evidence_id": "ev:gq_08ad77e7e6c643ef20c4:453e8897c2542ca145d8ee865d852725: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.585984e82df06b985a", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "453e8897c2542ca145d8ee865d852725", "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": "Distinguished Formal Verification", "matched_input": "formal", "derivation_source": "candidate_result.raw_match_evidence", "candidate_evidence_id": "ev:gq_08ad77e7e6c643ef20c4:453e8897c2542ca145d8ee865d852725: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.0c07080c4d17a390e7", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "453e8897c2542ca145d8ee865d852725", "signal_type": "query_match", "display_text": "Title: \"formal\"", "tooltip": "Title contains \"formal\" from your search.", "source_binding": "token_match", "source_field": "title", "source_value": "Distinguished 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": { "salary_min": { "tier": "posting", "verified": true, "label": "From the posting", "source_label": "the posting", "href": "https://job-boards.greenhouse.io/asteralabs/jobs/4664853005", "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://job-boards.greenhouse.io/asteralabs/jobs/4664853005", "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://job-boards.greenhouse.io/asteralabs/jobs/4664853005", "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/1736297/000173629726000010/alab-20251231.htm", "source_values": [ "sec_10k", "https://www.sec.gov/Archives/edgar/data/1736297/000173629726000010/alab-20251231.htm" ], "checked_at": "2026-06-20T05:42:05.724Z" }, "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://job-boards.greenhouse.io/asteralabs/jobs/4664853005", "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://job-boards.greenhouse.io/asteralabs/jobs/4664853005", "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://job-boards.greenhouse.io/asteralabs/jobs/4664853005", "source_values": [ "llm:greenfield:inv_371_postfix" ], "checked_at": "2026-06-20T05:42:05.724Z" } } }, { "id": "fc441ad7e3875ec330bbd676dff6ea2d", "title": "Software Formal Qualitative Testing (FQT) Engineer II", "employer_name": "Raytheon Technologies", "employer_slug": "raytheon-technologies", "location_text": "US-MA-TEWKSBURY-TB3 ~ 50 Apple Hill Dr ~ CONCORD BLDG, Tewksbury Tb3 300 Concord", "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" ], "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-TEWKSBURY-TB3--50-Apple-Hill-Dr--CONCORD-BLDG-Tewksbury-Tb3-300-Concord/Software-Formal-Qualitative-Testing--FQT--Engineer-II_01837025", "apply_url_verified": false, "ats": "workday", "url_last_checked_alive": null, "removed_at": null, "description_excerpt": "Software Formal Qualitative Testing (FQT) Engineer II US-MA-TEWKSBURY-TB3 ~ 50 Apple Hill Dr ~ CONCORD BLDG, Tewksbury Tb3 300 Concord 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" }, "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/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": "data", "role_function_source": "rule", "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.7492daa1a2d0cb9e89", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "fc441ad7e3875ec330bbd676dff6ea2d", "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": "Software Formal Qualitative Testing (FQT) Engineer II US-MA-TEWKSBURY-TB3 ~ 50 Apple Hill Dr ~ CONCORD BLDG, Tewksbury Tb3 300 Concord posted: Posted 30+ Days Ago", "matched_input": "formal", "derivation_source": "candidate_result.raw_match_evidence", "candidate_evidence_id": "ev:gq_08ad77e7e6c643ef20c4:fc441ad7e3875ec330bbd676dff6ea2d: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.2bc52b626d814f1fed", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "fc441ad7e3875ec330bbd676dff6ea2d", "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": "Software Formal Qualitative Testing (FQT) Engineer II", "matched_input": "formal", "derivation_source": "candidate_result.raw_match_evidence", "candidate_evidence_id": "ev:gq_08ad77e7e6c643ef20c4:fc441ad7e3875ec330bbd676dff6ea2d: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.57e333be5f213cda4c", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "fc441ad7e3875ec330bbd676dff6ea2d", "signal_type": "query_match", "display_text": "Title: \"formal\"", "tooltip": "Title contains \"formal\" from your search.", "source_binding": "token_match", "source_field": "title", "source_value": "Software Formal Qualitative Testing (FQT) Engineer II", "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/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-TEWKSBURY-TB3--50-Apple-Hill-Dr--CONCORD-BLDG-Tewksbury-Tb3-300-Concord/Software-Formal-Qualitative-Testing--FQT--Engineer-II_01837025", "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-TEWKSBURY-TB3--50-Apple-Hill-Dr--CONCORD-BLDG-Tewksbury-Tb3-300-Concord/Software-Formal-Qualitative-Testing--FQT--Engineer-II_01837025", "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-TEWKSBURY-TB3--50-Apple-Hill-Dr--CONCORD-BLDG-Tewksbury-Tb3-300-Concord/Software-Formal-Qualitative-Testing--FQT--Engineer-II_01837025", "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-TEWKSBURY-TB3--50-Apple-Hill-Dr--CONCORD-BLDG-Tewksbury-Tb3-300-Concord/Software-Formal-Qualitative-Testing--FQT--Engineer-II_01837025", "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": "1b962c29f2ce5f7b93d34c20ff7ce41c", "title": "Legal Counsel Junior (alle) I befristet 18 Monate (Elternzeitvertretung)", "employer_name": "Michelin", "employer_slug": "michelin", "location_text": "Frankfurt / Main", "country": "DE", "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-05-12T00:00:00.000Z", "apply_url": "https://michelinhr.wd3.myworkdayjobs.com/Michelin/job/Frankfurt--Main/Legal-Counsel_R-2026018931", "apply_url_verified": false, "ats": "workday", "url_last_checked_alive": null, "removed_at": null, "description_excerpt": "Legal Counsel Junior (alle) I befristet 18 Monate (Elternzeitvertretung) Frankfurt / Main 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" }, "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" }, "education_required": { "field": "education_required", "source": "llm:greenfield:inv_371_postfix", "db_column": "education_required" } }, "seniority": "entry", "seniority_source": "llm:greenfield:inv_371_postfix", "years_experience_min": 0, "years_experience_max": 4, "role_function": "legal", "role_function_source": "rule", "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.738f2ab3f97602db9c", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "1b962c29f2ce5f7b93d34c20ff7ce41c", "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": "legal", "matched_input": "formal", "derivation_source": "candidate_result.raw_match_evidence", "candidate_evidence_id": "ev:gq_08ad77e7e6c643ef20c4:1b962c29f2ce5f7b93d34c20ff7ce41c: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://michelinhr.wd3.myworkdayjobs.com/Michelin/job/Frankfurt--Main/Legal-Counsel_R-2026018931", "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://michelinhr.wd3.myworkdayjobs.com/Michelin/job/Frankfurt--Main/Legal-Counsel_R-2026018931", "source_values": [ "rule" ], "checked_at": null } } }, { "id": "fb43bd1af189399efc17ad6fec85dfbf", "title": "Vendeur à temps partiel (20 heures)", "employer_name": "JD Sports", "employer_slug": "jd-sports", "location_text": "BRUXELLES", "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-03-27T09:52:43.000Z", "apply_url": "https://job-boards.eu.greenhouse.io/jdsports/jobs/4824715101", "apply_url_verified": false, "ats": "greenhouse", "url_last_checked_alive": null, "removed_at": null, "description_excerpt": "Vendeur à temps partiel (20 heures) BRUXELLES Êtes-vous... Vous êtes un mordu des baskets et vous souhaitez faire partie de la première organisation internationale de vente au détail de baskets et de vêtements de sport à la mode ? Alors nous vous cherchons pour faire la différence à JD Bruxelles Rue Neuve ! Quelles sont vos fonctions ? En tant que vendeur à temps partiel, vous et votre équipe êtes la force de JD Bruxelles Rue Neuve . Vous êtes formé(e) pour devenir un(e) spécialiste dans le département des chaussures, du textile et/ou du stock. Grâce à vos efforts, vous assurez un magasin soigné selon les directives de JD. Vous approvisionnez le magasin, munissez les produits d'étiquettes, veillez à ce que les remises et les compléments soient corrects et placez les produits les plus vendus au bon endroit dans le magasin. Votre service à la clientèle est de haut niveau et, en combinaison avec l'offre de produits de kiosque et d'entretien, vous atteindrez vos objectifs de vente. Grâce à vos efforts pour le client, vous atteignez non seulement vos propres objectifs, mais vous êtes en partie responsable du succès et de la croissance de votre magasin et de votre équipe. Nous recherchons les collègues suivants... - Être disponible pour 20 heures par semaine ; - Vous parlez couramment l'anglais ou d'autres langues internationales ; - Vous partagez notre passion pour les baskets et la mode ; - Vous avez de bonnes compétences en matière de vente et de service à", "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": "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" }, "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": "retail", "role_function_source": "llm:greenfield:inv_371_postfix", "company_stage": "public-company", "company_stage_source": "llm:greenfield:inv_371_postfix", "employer_industry": null, "employer_industry_source": null, "employer_size": null, "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.semantic.role_function.d44013c3920f1dbf6b", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "fb43bd1af189399efc17ad6fec85dfbf", "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": "retail", "matched_input": "formal", "derivation_source": "candidate_result.raw_match_evidence", "candidate_evidence_id": "ev:gq_08ad77e7e6c643ef20c4:fb43bd1af189399efc17ad6fec85dfbf: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://job-boards.eu.greenhouse.io/jdsports/jobs/4824715101", "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://job-boards.eu.greenhouse.io/jdsports/jobs/4824715101", "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://job-boards.eu.greenhouse.io/jdsports/jobs/4824715101", "source_values": [ "llm:greenfield:inv_371_postfix" ], "checked_at": "2026-06-20T05:42:05.724Z" } } }, { "id": "c2610245af0cbc9e5bc901152af42ab4", "title": "Infirmier (F/H) - Agadir - Français - Expérimenté", "employer_name": "Concentrix", "employer_slug": "concentrix", "location_text": "MAR Agadir - Avenue Hassan II", "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-06-12T00:00:00.000Z", "apply_url": "https://cnx.wd1.myworkdayjobs.com/external_global/job/MAR-Agadir---Avenue-Hassan-II/Infirmier--F-H----Agadir---Franais---Expriment_R1738713", "apply_url_verified": false, "ats": "workday", "url_last_checked_alive": null, "removed_at": null, "description_excerpt": "Infirmier (F/H) - Agadir - Français - Expérimenté MAR Agadir - Avenue Hassan II 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-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/1803599/000180359926000027/cnxc-20251130.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/1803599/000180359926000027/cnxc-20251130.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.327f6796c1dd6e2238", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "c2610245af0cbc9e5bc901152af42ab4", "signal_type": "query_match", "display_text": "Role: semantic match", "tooltip": "Role provided semantic evidence for your search intent.", "source_binding": "vector_semantic_evidence", "source_field": "role_function", "source_value": "other", "matched_input": "formal", "derivation_source": "candidate_result.raw_match_evidence", "candidate_evidence_id": "ev:gq_08ad77e7e6c643ef20c4:c2610245af0cbc9e5bc901152af42ab4: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/1803599/000180359926000027/cnxc-20251130.htm", "source_values": [ "sec_10k", "https://www.sec.gov/Archives/edgar/data/1803599/000180359926000027/cnxc-20251130.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://cnx.wd1.myworkdayjobs.com/external_global/job/MAR-Agadir---Avenue-Hassan-II/Infirmier--F-H----Agadir---Franais---Expriment_R1738713", "source_values": [ "llm:greenfield:inv_371_postfix" ], "checked_at": null } } }, { "id": "7d2418d612b6d451c7126013f86f5376", "title": "Quality Assurance Supervisor", "employer_name": "Hexcel", "employer_slug": "hexcel", "location_text": "Spain - Parla", "country": "ES", "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", "profit_share" ], "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-13T00:00:00.000Z", "apply_url": "https://hexcel.wd5.myworkdayjobs.com/HexcelCareers/job/Spain---Parla/Quality-Assurance-Supervisor_R019993", "apply_url_verified": false, "ats": "workday", "url_last_checked_alive": null, "removed_at": null, "description_excerpt": "Quality Assurance Supervisor Spain - Parla 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/717605/000119312526046377/hxl-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/717605/000119312526046377/hxl-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": "operations", "role_function_source": "rule", "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.0eee36117a7ffdb564", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "7d2418d612b6d451c7126013f86f5376", "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": "operations", "matched_input": "formal", "derivation_source": "candidate_result.raw_match_evidence", "candidate_evidence_id": "ev:gq_08ad77e7e6c643ef20c4:7d2418d612b6d451c7126013f86f5376: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/717605/000119312526046377/hxl-20251231.htm", "source_values": [ "sec_10k", "https://www.sec.gov/Archives/edgar/data/717605/000119312526046377/hxl-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://hexcel.wd5.myworkdayjobs.com/HexcelCareers/job/Spain---Parla/Quality-Assurance-Supervisor_R019993", "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://hexcel.wd5.myworkdayjobs.com/HexcelCareers/job/Spain---Parla/Quality-Assurance-Supervisor_R019993", "source_values": [ "rule" ], "checked_at": null } } }, { "id": "e5f9932adb0d5ad6c188cd4d189ca651", "title": "Superviseur.eure, d'organisme technique acceptable (OTA) (Gatineau, Qc)/ Acceptable Technical Organization (ATO) Supervisor (Gatineau, Qc).", "employer_name": "Textron", "employer_slug": "textron", "location_text": "CA-Quebec-Gatineau", "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" ], "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-10T03:52:15.000Z", "apply_url": "https://textron.taleo.net/careersection/textron/jobdetail.ftl?job=1534976&lang=en", "apply_url_verified": false, "ats": "taleo", "url_last_checked_alive": null, "removed_at": null, "description_excerpt": "Superviseur.eure, d'organisme technique acceptable (OTA) (Gatineau, Qc)/ Acceptable Technical Organization (ATO) Supervisor (Gatineau, Qc). CA-Quebec-Gatineau", "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/217346/000021734626000006/txt-20260103.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/217346/000021734626000006/txt-20260103.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": "engineering", "role_function_source": "rule", "company_stage": null, "company_stage_source": null, "employer_industry": "Industrial", "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.a6c3e12edfb1edfa6d", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "e5f9932adb0d5ad6c188cd4d189ca651", "signal_type": "query_match", "display_text": "Role: semantic match", "tooltip": "Role provided semantic evidence for your search intent.", "source_binding": "vector_semantic_evidence", "source_field": "role_function", "source_value": "engineering", "matched_input": "formal", "derivation_source": "candidate_result.raw_match_evidence", "candidate_evidence_id": "ev:gq_08ad77e7e6c643ef20c4:e5f9932adb0d5ad6c188cd4d189ca651: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/217346/000021734626000006/txt-20260103.htm", "source_values": [ "sec_10k", "https://www.sec.gov/Archives/edgar/data/217346/000021734626000006/txt-20260103.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://textron.taleo.net/careersection/textron/jobdetail.ftl?job=1534976&lang=en", "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://textron.taleo.net/careersection/textron/jobdetail.ftl?job=1534976&lang=en", "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": "a880f16dc0ec5202170e9f2338fcdc4c", "title": "Référent comptable", "employer_name": "Sysco", "employer_slug": "sysco", "location_text": "Paris", "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-05-12T00:00:00.000Z", "apply_url": "https://sysco.wd5.myworkdayjobs.com/syscocareers/job/Paris/Rfrent-comptable_R241078", "apply_url_verified": false, "ats": "workday", "url_last_checked_alive": null, "removed_at": null, "description_excerpt": "Référent comptable Paris 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/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.a3b15faa65d63e115e", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "a880f16dc0ec5202170e9f2338fcdc4c", "signal_type": "query_match", "display_text": "Role: semantic match", "tooltip": "Role provided semantic evidence for your search intent.", "source_binding": "vector_semantic_evidence", "source_field": "role_function", "source_value": "other", "matched_input": "formal", "derivation_source": "candidate_result.raw_match_evidence", "candidate_evidence_id": "ev:gq_08ad77e7e6c643ef20c4:a880f16dc0ec5202170e9f2338fcdc4c: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/Rfrent-comptable_R241078", "source_values": [ "llm:greenfield:inv_371_postfix" ], "checked_at": null } } }, { "id": "eec59ed265a148a1f729dfdaf694d98c", "title": "Formal & Civilian Training Manager", "employer_name": "Department of the Air Force", "employer_slug": "department-of-the-air-force", "location_text": "Holloman AFB, New Mexico", "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": 50460, "salary_max": 65599, "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": 50460, "base_salary_max": 65599, "salary_disclosed": true, "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-09T11:20:05.000Z", "apply_url": "https://www.usajobs.gov:443/job/872305500", "apply_url_verified": false, "ats": "usajobs", "url_last_checked_alive": null, "removed_at": null, "description_excerpt": "Formal & Civilian Training Manager Holloman AFB, New Mexico Summary Click on \"Learn more about this agency\" button below to view Eligibilities being considered and other IMPORTANT information. Duties Summary: The primary purpose of this position is to perform technical and specialized support work in the execution of formal military training and civilian development programs for the installation. The incumbent applies established policies, procedures, and systems to process, coordinate, track, and document training actions. The position supports mission readiness by ensuring training requirements are accurately executed, recorded, and reported, while operating within defined guidelines and established authorities. Duties: Executes assigned formal military training actions by processing and monitoring training requests in accordance with established Air Force instructions and procedures. Performs general clerical and administrative tasks to support office operations. Maintains and updates training and education records for military and civilian personnel across multiple automated systems. Provides technical guidance and customer support to military members, civilians, supervisors, and unit training managers regarding formal training and civilian development processes. Education IF USING EDUCATION TO QUALIFY: If position has a positive degree requirement or education forms the basis for qualifications, you MUST submit transcripts with the application. Official transcripts are not required at the time of application; however, if position has a positive degree requirement, qualifying based on education alone or in combination with experience, transcripts must be verified prior to appointment. An accrediting institution recognized by the U.S. Department of Education must accredit education. Click here to check accreditation. FOREIGN EDUCATION: Education", "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": 44, "benefit_verified": false, "benefit_last_verified": null, "hire_states_allowed": [ "NM" ], "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" }, "salary_max": { "field": "salary_max", "source": "llm:greenfield:inv_371_postfix", "db_column": "salary_max" }, "salary_min": { "field": "salary_min", "source": "llm:greenfield:inv_371_postfix", "db_column": "salary_min" }, "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" }, "education_required": { "field": "education_required", "source": "llm:greenfield:inv_371_postfix", "db_column": "education_required" }, "assessment_required": { "field": "assessment_required", "source": "llm:greenfield:inv_371_postfix", "db_column": "assessment_required" }, "hire_states_allowed": { "field": "hire_states_allowed", "source": "rule:state_eligibility", "db_column": "hire_states_allowed" }, "application_deadline": { "field": "application_deadline", "source": "llm:greenfield:inv_371_postfix", "db_column": "application_deadline" } }, "seniority": "mid", "seniority_source": "llm:greenfield:inv_371_postfix", "years_experience_min": 5, "years_experience_max": 9, "role_function": "operations", "role_function_source": "llm:greenfield:inv_371_postfix", "company_stage": null, "company_stage_source": null, "employer_industry": "Defense", "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": 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.5d99ef614958b5b743", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "eec59ed265a148a1f729dfdaf694d98c", "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 & Civilian Training Manager Holloman AFB, New Mexico Summary Click on \"Learn more about this agency\" button below to view Eligibilities being considered and other IMPORTANT information. Duties Summary: The primary purpose of this position is to perform technical and specialized support work in the execution of formal military training and civilian development programs for the installation. The incumbent applies established policies, procedures, and systems to process, coordinate, track, and document training actions. The position supports mission readiness by ensuring training requirements are accurately executed, recorded, and reported, while operating within defined guidelines and established authorities. Duties: Executes assigned formal military training actions by processing and monitoring training requests in accordance with established Air Force instructions and procedures. Performs general clerical and administrative tasks to support office operations. Maintains and updates training and education records for military and civilian personnel across multiple automated systems. Provides technical guidance and customer support to military members, civilians, supervisors, and unit training managers regarding formal training and civilian development processes. Education IF USING EDUCATION TO QUALIFY: If position has a positive degree requirement or education forms the basis for qualifications, you MUST submit transcripts with the application. Official transcripts are not required at the time of application; however, if position has a positive degree requirement, qualifying based on education alone or in combination with experience, transcripts must be verified prior to appointment. An accrediting institution recognized by the U.S. Department of Education must accredit education. Click here to check accreditation. FOREIGN EDUCATION: Education", "matched_input": "formal", "derivation_source": "candidate_result.raw_match_evidence", "candidate_evidence_id": "ev:gq_08ad77e7e6c643ef20c4:eec59ed265a148a1f729dfdaf694d98c: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.9cf89861bcccf17280", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "eec59ed265a148a1f729dfdaf694d98c", "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 & Civilian Training Manager", "matched_input": "formal", "derivation_source": "candidate_result.raw_match_evidence", "candidate_evidence_id": "ev:gq_08ad77e7e6c643ef20c4:eec59ed265a148a1f729dfdaf694d98c: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.c5fa5164fbd0cf3188", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "eec59ed265a148a1f729dfdaf694d98c", "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 & Civilian Training Manager", "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 } } ], "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": { "salary_min": { "tier": "posting", "verified": true, "label": "From the posting", "source_label": "the posting", "href": "https://www.usajobs.gov:443/job/872305500", "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.usajobs.gov:443/job/872305500", "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.usajobs.gov:443/job/872305500", "source_values": [ "llm:greenfield:inv_371_postfix" ], "checked_at": "2026-06-20T05:42:05.724Z" }, "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" }, "hire_states_allowed": { "tier": "posting", "verified": true, "label": "From the posting", "source_label": "the posting", "href": "https://www.usajobs.gov:443/job/872305500", "source_values": [ "rule:state_eligibility" ], "checked_at": "2026-06-20T05:42:05.724Z" }, "seniority": { "tier": "posting", "verified": true, "label": "From the posting", "source_label": "the posting", "href": "https://www.usajobs.gov:443/job/872305500", "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.usajobs.gov:443/job/872305500", "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": "69e10053c59f260deab9b3a8134cb59f", "title": "Supervisor(a) de Almacén Pt", "employer_name": "Ingredion", "employer_slug": "ingredion", "location_text": "Guadalajara, JAL", "country": "MX", "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": 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-13T00:00:00.000Z", "apply_url": "https://ingredion.wd1.myworkdayjobs.com/IngredionCareers/job/Guadalajara-JAL/Supervisor-a--de-Almacn-Pt_Req-37495", "apply_url_verified": false, "ats": "workday", "url_last_checked_alive": null, "removed_at": null, "description_excerpt": "Supervisor(a) de Almacén Pt Guadalajara, JAL 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/1046257/000162828026008603/ingr-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/1046257/000162828026008603/ingr-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": "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.003924d23b9bfe9c54", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "69e10053c59f260deab9b3a8134cb59f", "signal_type": "query_match", "display_text": "Role: semantic match", "tooltip": "Role provided semantic evidence for your search intent.", "source_binding": "vector_semantic_evidence", "source_field": "role_function", "source_value": "other", "matched_input": "formal", "derivation_source": "candidate_result.raw_match_evidence", "candidate_evidence_id": "ev:gq_08ad77e7e6c643ef20c4:69e10053c59f260deab9b3a8134cb59f: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/1046257/000162828026008603/ingr-20251231.htm", "source_values": [ "sec_10k", "https://www.sec.gov/Archives/edgar/data/1046257/000162828026008603/ingr-20251231.htm" ], "checked_at": null }, "seniority": { "tier": "posting", "verified": true, "label": "From the posting", "source_label": "the posting", "href": "https://ingredion.wd1.myworkdayjobs.com/IngredionCareers/job/Guadalajara-JAL/Supervisor-a--de-Almacn-Pt_Req-37495", "source_values": [ "llm:greenfield:inv_371_postfix" ], "checked_at": null } } }, { "id": "baf652fc3b2a248c939f37b15184cc1f", "title": "Research Software Engineer, Formal Methods (Hybrid)", "employer_name": "Pratt & Whitney", "employer_slug": "pratt-whitney", "location_text": "cambridge, Massachusetts, United States of America", "country": "US", "employment_type": "unknown", "remote_status": "hybrid", "remote_status_source": null, "remote_status_enriched_at": null, "days_in_office": 2, "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": 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-04-01T00: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", "apply_url_verified": false, "ats": "phenom_people", "url_last_checked_alive": null, "removed_at": null, "description_excerpt": "Research Software Engineer, Formal Methods (Hybrid) cambridge, Massachusetts, United States of America Date Posted. 2026-04-01Country. United States of AmericaLocation. US-MA-CAMBRIDGE-BBN06 ~ 10 & 50 Moulton St ~ MOULTON B6Position Role Type. Hybrid. U.S. Citizen, U.S. Person, or Immigration Status Re...", "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": "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" }, "remote_status": { "field": "remote_status", "source": "rule:remote_status", "db_column": "remote_status" }, "role_function": { "field": "role_function", "source": "llm:greenfield:inv_371_postfix", "db_column": "role_function" }, "days_in_office": { "field": "days_in_office", "source": "rule:remote_status", "db_column": "days_in_office" }, "education_required": { "field": "education_required", "source": "llm:greenfield:inv_371_postfix", "db_column": "education_required" }, "us_citizenship_required": { "field": "us_citizenship_required", "source": "llm:greenfield:inv_371_postfix", "db_column": "us_citizenship_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": null, "company_stage_source": null, "employer_industry": null, "employer_industry_source": null, "employer_size": null, "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": true, "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.0ebac43cb5ae37f303", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "baf652fc3b2a248c939f37b15184cc1f", "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) cambridge, Massachusetts, United States of America Date Posted. 2026-04-01Country. United States of AmericaLocation. US-MA-CAMBRIDGE-BBN06 ~ 10 & 50 Moulton St ~ MOULTON B6Position Role Type. Hybrid. U.S. Citizen, U.S. Person, or Immigration Status Re...", "matched_input": "formal", "derivation_source": "candidate_result.raw_match_evidence", "candidate_evidence_id": "ev:gq_08ad77e7e6c643ef20c4:baf652fc3b2a248c939f37b15184cc1f: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.00b9bb192dde84cc68", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "baf652fc3b2a248c939f37b15184cc1f", "signal_type": "query_match", "display_text": "Title: \"formal\"", "tooltip": "Title matched \"formal\" from your search.", "source_binding": "bm25_field_evidence", "source_field": "title", "source_value": "Research Software Engineer, Formal Methods (Hybrid)", "matched_input": "formal", "derivation_source": "candidate_result.raw_match_evidence", "candidate_evidence_id": "ev:gq_08ad77e7e6c643ef20c4:baf652fc3b2a248c939f37b15184cc1f: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.e606ebb8c82cef7588", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "baf652fc3b2a248c939f37b15184cc1f", "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 } } ], "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": { "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/apply", "source_values": [ "rule:remote_status" ], "checked_at": "2026-06-20T05:42:05.724Z" }, "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://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", "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://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", "source_values": [ "llm:greenfield:inv_371_postfix" ], "checked_at": "2026-06-20T05:42:05.724Z" } } }, { "id": "9f3c3bb9912c836aaae432d95d152bcb", "title": "Software Formal Qualitative Testing (FQT) Engineer II", "employer_name": "Pratt & Whitney", "employer_slug": "pratt-whitney", "location_text": "tewksbury, Massachusetts, United States of America", "country": "US", "employment_type": "unknown", "remote_status": "onsite", "remote_status_source": null, "remote_status_enriched_at": null, "days_in_office": 5, "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": 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-04-10T00:00:00.000Z", "apply_url": "https://globalhr.wd5.myworkdayjobs.com/REC_RTX_Ext_Gateway/job/US-MA-TEWKSBURY-TB3--50-Apple-Hill-Dr--CONCORD-BLDG-Tewksbury-Tb3-300-Concord/Software-Formal-Qualitative-Testing--FQT--Engineer-II_01837025/apply", "apply_url_verified": false, "ats": "phenom_people", "url_last_checked_alive": null, "removed_at": null, "description_excerpt": "Software Formal Qualitative Testing (FQT) Engineer II tewksbury, Massachusetts, United States of America Date Posted. 2026-04-10Country. United States of AmericaLocation. US-MA-TEWKSBURY-TB3 ~ 50 Apple Hill Dr ~ CONCORD BLDG, Tewksbury Tb3 300 ConcordPosition Role Type. Onsite. U.S. Citizen, U.S. Person,...", "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": "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" }, "remote_status": { "field": "remote_status", "source": "rule:remote_status", "db_column": "remote_status" }, "role_function": { "field": "role_function", "source": "llm:greenfield:inv_371_postfix", "db_column": "role_function" }, "days_in_office": { "field": "days_in_office", "source": "rule:remote_status", "db_column": "days_in_office" }, "education_required": { "field": "education_required", "source": "llm:greenfield:inv_371_postfix", "db_column": "education_required" }, "us_citizenship_required": { "field": "us_citizenship_required", "source": "llm:greenfield:inv_371_postfix", "db_column": "us_citizenship_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": "public-company", "company_stage_source": "llm:greenfield:inv_371_postfix", "employer_industry": null, "employer_industry_source": null, "employer_size": null, "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": true, "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.5bb3ea78cfb662b0b9", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "9f3c3bb9912c836aaae432d95d152bcb", "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": "Software Formal Qualitative Testing (FQT) Engineer II tewksbury, Massachusetts, United States of America Date Posted. 2026-04-10Country. United States of AmericaLocation. US-MA-TEWKSBURY-TB3 ~ 50 Apple Hill Dr ~ CONCORD BLDG, Tewksbury Tb3 300 ConcordPosition Role Type. Onsite. U.S. Citizen, U.S. Person,...", "matched_input": "formal", "derivation_source": "candidate_result.raw_match_evidence", "candidate_evidence_id": "ev:gq_08ad77e7e6c643ef20c4:9f3c3bb9912c836aaae432d95d152bcb: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.d1e7691f25de83a951", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "9f3c3bb9912c836aaae432d95d152bcb", "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": "Software Formal Qualitative Testing (FQT) Engineer II", "matched_input": "formal", "derivation_source": "candidate_result.raw_match_evidence", "candidate_evidence_id": "ev:gq_08ad77e7e6c643ef20c4:9f3c3bb9912c836aaae432d95d152bcb: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.87a7ff325e32e77ee0", "query_id": "gq_08ad77e7e6c643ef20c4", "job_id": "9f3c3bb9912c836aaae432d95d152bcb", "signal_type": "query_match", "display_text": "Title: \"formal\"", "tooltip": "Title contains \"formal\" from your search.", "source_binding": "token_match", "source_field": "title", "source_value": "Software Formal Qualitative Testing (FQT) Engineer II", "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 } } ], "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": { "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-TEWKSBURY-TB3--50-Apple-Hill-Dr--CONCORD-BLDG-Tewksbury-Tb3-300-Concord/Software-Formal-Qualitative-Testing--FQT--Engineer-II_01837025/apply", "source_values": [ "rule:remote_status" ], "checked_at": "2026-06-20T05:42:05.724Z" }, "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://globalhr.wd5.myworkdayjobs.com/REC_RTX_Ext_Gateway/job/US-MA-TEWKSBURY-TB3--50-Apple-Hill-Dr--CONCORD-BLDG-Tewksbury-Tb3-300-Concord/Software-Formal-Qualitative-Testing--FQT--Engineer-II_01837025/apply", "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://globalhr.wd5.myworkdayjobs.com/REC_RTX_Ext_Gateway/job/US-MA-TEWKSBURY-TB3--50-Apple-Hill-Dr--CONCORD-BLDG-Tewksbury-Tb3-300-Concord/Software-Formal-Qualitative-Testing--FQT--Engineer-II_01837025/apply", "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://globalhr.wd5.myworkdayjobs.com/REC_RTX_Ext_Gateway/job/US-MA-TEWKSBURY-TB3--50-Apple-Hill-Dr--CONCORD-BLDG-Tewksbury-Tb3-300-Concord/Software-Formal-Qualitative-Testing--FQT--Engineer-II_01837025/apply", "source_values": [ "llm:greenfield:inv_371_postfix" ], "checked_at": "2026-06-20T05:42:05.724Z" } } } ], "total": 1166, "page": 3, "per_page": 24, "applied_filters": { "q": "Formal", "quality_floor": "all" }, "hidden_unknown_benefits_count": 0, "hidden_quality_floor_count": 0, "quality_floor": "all", "search_profile": { "profile_id": "inv382.d6.pg_textsearch_bge_small_rrf.v1", "bm25_extension": "pg_textsearch", "vector_model": "BAAI/bge-small-en-v1.5", "vector_model_version": "v1.5", "fusion_method": "rrf" }, "explanation_context": { "non_trivial_query": false, "query_terms": [ "formal" ], "active_filter_keys": [], "visible_signal_limit": 3, "visible_trust_limit": 2 }, "event_context": { "query_context": { "query_id": "14fef8c6-2a5a-4059-aa80-fab5f34a66a2", "issued_at": "2026-08-19T00:23:12.108Z", "route": "/jobs", "page": 3, "per_page": 24, "total_results": 1166, "sort": "relevance", "ranking_policy": "hybrid_rrf_rerank", "ranking_policy_version": "inv382.jobs.search.v2", "query_hash": "hmac_sha256:hb4JtHOPN9qnAh-Ru991A_S-FTankwEqyfXYqpkRrTQ", "filter_hash": "hmac_sha256:CXa8WcNqf8t4vwJUAguBZ01cbEAo2nphmyJ39emOY9s", "query_features": { "has_q": true, "q_term_count": 1, "q_length_bucket": "1_15", "q_pii_redacted": false, "state_count": 0, "benefit_filters": [], "quality_floor": "all" }, "exposures": [ { "result_id": "75c0267725d02ba97575dba25e12547a", "position": 49, "page_position": 1, "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": 99, "quality_score": 35 } }, { "result_id": "e9e17152c869748aefc662ffb146e858", "position": 50, "page_position": 2, "retrieval_features": { "bm25_score": 0, "vector_score": 0.36298237067565975, "rrf_score": 0.010638297872340425, "text_match_title": false, "text_match_employer": false, "role_match": true, "benefit_verified": false, "salary_disclosed": false, "posted_age_days": 67, "quality_score": 35 } }, { "result_id": "02f7adc88f745b7fa9064ac5af064c99", "position": 51, "page_position": 3, "retrieval_features": { "bm25_score": 0, "vector_score": 0.3634017516196293, "rrf_score": 0.010416666666666666, "text_match_title": false, "text_match_employer": false, "role_match": true, "benefit_verified": true, "salary_disclosed": false, "posted_age_days": 99, "quality_score": 35 } }, { "result_id": "5d3c8227896df8cae679d3eba78d1b0a", "position": 52, "page_position": 4, "retrieval_features": { "bm25_score": -9.593670845031738, "vector_score": 0, "rrf_score": 0.010416666666666666, "text_match_title": true, "text_match_employer": false, "role_match": false, "benefit_verified": true, "salary_disclosed": false, "posted_age_days": 186, "quality_score": 45 } }, { "result_id": "0e1dec2dcd1b42f550c5dc8ab8d28ce8", "position": 53, "page_position": 5, "retrieval_features": { "bm25_score": 0, "vector_score": 0.36363738775253296, "rrf_score": 0.010309278350515464, "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": "7b00d25a665cf2604974849837da3edf", "position": 54, "page_position": 6, "retrieval_features": { "bm25_score": -9.593670845031738, "vector_score": 0, "rrf_score": 0.01020408163265306, "text_match_title": false, "text_match_employer": false, "role_match": false, "benefit_verified": true, "salary_disclosed": true, "posted_age_days": 159, "quality_score": 55 } }, { "result_id": "40b0dfea2643ea804a2c2d92dc19e015", "position": 55, "page_position": 7, "retrieval_features": { "bm25_score": 0, "vector_score": 0.36387187242507935, "rrf_score": 0.01020408163265306, "text_match_title": false, "text_match_employer": false, "role_match": true, "benefit_verified": true, "salary_disclosed": false, "posted_age_days": 69, "quality_score": 35 } }, { "result_id": "a0fcadbb8ab1abdf8933248ff2a6a3d4", "position": 56, "page_position": 8, "retrieval_features": { "bm25_score": 0, "vector_score": 0.3647657036781311, "rrf_score": 0.010101010101010102, "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": "035c08e9a6ad179667c575366a73e1d0", "position": 57, "page_position": 9, "retrieval_features": { "bm25_score": 0, "vector_score": 0.3650358536860845, "rrf_score": 0.01, "text_match_title": false, "text_match_employer": false, "role_match": true, "benefit_verified": true, "salary_disclosed": false, "posted_age_days": 99, "quality_score": 35 } }, { "result_id": "c94ab2863f37fd55bf9aa44cc5b48f39", "position": 58, "page_position": 10, "retrieval_features": { "bm25_score": -9.40636157989502, "vector_score": 0, "rrf_score": 0.01, "text_match_title": true, "text_match_employer": false, "role_match": false, "benefit_verified": false, "salary_disclosed": false, "posted_age_days": 103, "quality_score": 45 } }, { "result_id": "7f388bf700cba5390772fe83c3c15623", "position": 59, "page_position": 11, "retrieval_features": { "bm25_score": -9.339126586914062, "vector_score": 0, "rrf_score": 0.009900990099009901, "text_match_title": true, "text_match_employer": false, "role_match": false, "benefit_verified": true, "salary_disclosed": true, "posted_age_days": 74, "quality_score": 55 } }, { "result_id": "d1b169b4ead04898e223cebfeef74e1f", "position": 60, "page_position": 12, "retrieval_features": { "bm25_score": 0, "vector_score": 0.36598873138427734, "rrf_score": 0.009708737864077669, "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": "453e8897c2542ca145d8ee865d852725", "position": 61, "page_position": 13, "retrieval_features": { "bm25_score": -9.262045860290527, "vector_score": 0, "rrf_score": 0.009615384615384616, "text_match_title": true, "text_match_employer": false, "role_match": false, "benefit_verified": true, "salary_disclosed": true, "posted_age_days": 176, "quality_score": 55 } }, { "result_id": "fc441ad7e3875ec330bbd676dff6ea2d", "position": 62, "page_position": 14, "retrieval_features": { "bm25_score": -9.186685562133789, "vector_score": 0, "rrf_score": 0.009523809523809525, "text_match_title": true, "text_match_employer": false, "role_match": false, "benefit_verified": true, "salary_disclosed": false, "posted_age_days": 99, "quality_score": 35 } }, { "result_id": "1b962c29f2ce5f7b93d34c20ff7ce41c", "position": 63, "page_position": 15, "retrieval_features": { "bm25_score": 0, "vector_score": 0.3661472797393799, "rrf_score": 0.009523809523809525, "text_match_title": false, "text_match_employer": false, "role_match": true, "benefit_verified": false, "salary_disclosed": false, "posted_age_days": 99, "quality_score": 35 } }, { "result_id": "fb43bd1af189399efc17ad6fec85dfbf", "position": 64, "page_position": 16, "retrieval_features": { "bm25_score": 0, "vector_score": 0.36620986461639404, "rrf_score": 0.009433962264150943, "text_match_title": false, "text_match_employer": false, "role_match": true, "benefit_verified": false, "salary_disclosed": false, "posted_age_days": 144, "quality_score": 45 } }, { "result_id": "c2610245af0cbc9e5bc901152af42ab4", "position": 65, "page_position": 17, "retrieval_features": { "bm25_score": 0, "vector_score": 0.366234638319334, "rrf_score": 0.009345794392523364, "text_match_title": false, "text_match_employer": false, "role_match": true, "benefit_verified": true, "salary_disclosed": false, "posted_age_days": 68, "quality_score": 35 } }, { "result_id": "7d2418d612b6d451c7126013f86f5376", "position": 66, "page_position": 18, "retrieval_features": { "bm25_score": 0, "vector_score": 0.3664822578430176, "rrf_score": 0.009259259259259259, "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": "e5f9932adb0d5ad6c188cd4d189ca651", "position": 67, "page_position": 19, "retrieval_features": { "bm25_score": 0, "vector_score": 0.36678606271743774, "rrf_score": 0.009174311926605505, "text_match_title": false, "text_match_employer": false, "role_match": true, "benefit_verified": true, "salary_disclosed": false, "posted_age_days": 69, "quality_score": 35 } }, { "result_id": "a880f16dc0ec5202170e9f2338fcdc4c", "position": 68, "page_position": 20, "retrieval_features": { "bm25_score": 0, "vector_score": 0.36704301834106445, "rrf_score": 0.00909090909090909, "text_match_title": false, "text_match_employer": false, "role_match": true, "benefit_verified": true, "salary_disclosed": false, "posted_age_days": 99, "quality_score": 35 } }, { "result_id": "eec59ed265a148a1f729dfdaf694d98c", "position": 69, "page_position": 21, "retrieval_features": { "bm25_score": -9.147819519042969, "vector_score": 0, "rrf_score": 0.00909090909090909, "text_match_title": true, "text_match_employer": false, "role_match": false, "benefit_verified": false, "salary_disclosed": true, "posted_age_days": 70, "quality_score": 55 } }, { "result_id": "69e10053c59f260deab9b3a8134cb59f", "position": 70, "page_position": 22, "retrieval_features": { "bm25_score": 0, "vector_score": 0.36705100536346436, "rrf_score": 0.009009009009009009, "text_match_title": false, "text_match_employer": false, "role_match": true, "benefit_verified": false, "salary_disclosed": false, "posted_age_days": 98, "quality_score": 35 } }, { "result_id": "baf652fc3b2a248c939f37b15184cc1f", "position": 71, "page_position": 23, "retrieval_features": { "bm25_score": -9.128005981445312, "vector_score": 0, "rrf_score": 0.009009009009009009, "text_match_title": true, "text_match_employer": false, "role_match": false, "benefit_verified": false, "salary_disclosed": false, "posted_age_days": 140, "quality_score": 45 } }, { "result_id": "9f3c3bb9912c836aaae432d95d152bcb", "position": 72, "page_position": 24, "retrieval_features": { "bm25_score": -9.070070266723633, "vector_score": 0, "rrf_score": 0.008928571428571428, "text_match_title": true, "text_match_employer": false, "role_match": false, "benefit_verified": false, "salary_disclosed": false, "posted_age_days": 131, "quality_score": 45 } } ] }, "context_signature": "e6gy9OAD0nZPqpacmHkpzV4PGcN8f6KxwPXPKpvXcHc", "event_token": "e6gy9OAD0nZPqpacmHkpzV4PGcN8f6KxwPXPKpvXcHc" } }