{"schemaVersion":"jobsearcher.job.v1","id":"bc3e5daced5a30a783b15a74","url":"https://jobsearcher.com/jobs/bc3e5daced5a30a783b15a74","canonicalUrl":"https://jobsearcher.com/jobs/bc3e5daced5a30a783b15a74","title":"Remote Lean 4 Formal Methods Researcher","description":"Sign in to set job alerts for \"Researcher\" roles.Research Analyst, Private Markets (EquityZen)Austin, Texas Metropolitan Area 1 day ago Mixed Methods Researcher - Music MissionQuantitative Researcher — AI-Driven HFT FirmPhysics Researcher (Python) - Freelance AI TrainerBloomberg Intelligence Biotech Equity Research AnalystQuantitative Researcher - Early Career (USA)Consumer Research Specialist/Assistant ManagerPhysics Researcher (Python) - Freelance AI TrainerPhysics Researcher (Python) - Freelance AI TrainerPhysics Researcher (Python) - Freelance AI TrainerPhysics Researcher (Python) - Freelance AI Trainer #J-18808-Ljbffr","company":"Alignerr","rawCompany":"alignerr","isRemote":true,"isActive":false,"createdAt":"2026-04-09T12:03:45.225Z","occupations":[{"code":"19-3022.00","title":"Survey Researchers","slug":"survey-researchers"},{"code":"19-3099.00","title":"Social Scientists and Related Workers, All Other","slug":"social-scientists-and-related-workers-all-other"},{"code":"19-1042.00","title":"Medical Scientists, Except Epidemiologists","slug":"medical-scientists-except-epidemiologists"}],"industries":[{"code":"541910","title":"Marketing Research and Public Opinion Polling","slug":"marketing-research-and-public-opinion-polling"},{"code":"541720","title":"Research and Development in the Social Sciences and Humanities","slug":"research-and-development-in-the-social-sciences-and-humanities"},{"code":"541690","title":"Other Scientific and Technical Consulting Services","slug":"other-scientific-and-technical-consulting-services"}],"jobPosting":{"@context":"https://schema.org","@type":"JobPosting","title":"Remote Lean 4 Formal Methods Researcher","description":"Sign in to set job alerts for \"Researcher\" roles.Research Analyst, Private Markets (EquityZen)Austin, Texas Metropolitan Area 1 day ago Mixed Methods Researcher - Music MissionQuantitative Researcher — AI-Driven HFT FirmPhysics Researcher (Python) - Freelance AI TrainerBloomberg Intelligence Biotech Equity Research AnalystQuantitative Researcher - Early Career (USA)Consumer Research Specialist/Assistant ManagerPhysics Researcher (Python) - Freelance AI TrainerPhysics Researcher (Python) - Freelance AI TrainerPhysics Researcher (Python) - Freelance AI TrainerPhysics Researcher (Python) - Freelance AI Trainer #J-18808-Ljbffr","datePosted":"2026-04-09T12:03:45.225Z","dateModified":"2026-04-09T12:03:45.225Z","hiringOrganization":{"@type":"Organization","name":"Alignerr","sameAs":"https://jobsearcher.com"},"jobLocationType":"TELECOMMUTE","applicantLocationRequirements":{"@type":"Country","name":"US"},"identifier":{"@type":"PropertyValue","name":"JobSearcher","value":"bc3e5daced5a30a783b15a74"},"url":"https://jobsearcher.com/jobs/bc3e5daced5a30a783b15a74"}}