Research Scientist – Formal Methods in united states (1000+)
2 weeks ago
Research Scientist – Formal Methods
Riverside Research
/
Association · Government · Late Stage
Lexington, MA
Full-time
$72K/yr - $140K/yr
Onsite
Entry, Mid Level
2+ years expLess than 25 applicants
Comp. & BenefitsNo H1B
4 months ago
Principal Research Scientist - Formal Methods & Cryptography
Two Six Technologies
/
Cyber Security · Information Technology · Late Stage
Arlington, VAFull-time$158K/yr - $237K/yrOnsiteLead/Staff10+ years exp53 applicants
No H1B
1 day agoBe an early applicant
Research Scientist or Postdoctoral Associate in Formal Methods for Security and Machine Learning
Inside Higher Ed
/
Digital Media · Education · Growth Stage
Lowell, MAFull-time$70K/yr - $85K/yrOnsiteMid, Senior Level2+ years expLess than 25 applicants
5 hours ago
Associate Research Scientist, Center for Computational Quantum Physics
Simons Foundation
/
Association · Biotechnology · Growth Stage
New York, NYFull-time$130K/yr - $165K/yrOnsiteMid, Senior Level2+ years exp99 applicants
Comp. & BenefitsH1B Sponsor Likely
13 hours agoBe an early applicant
DTRA Postdoc Scholars
The Johns Hopkins University
/
Education · Higher Education · Late Stage
Fort Belvoir, VAFull-timeOnsiteNew GradLess than 25 applicants
Growth OpportunitiesNo H1B
6 hours agoBe an early applicant
Sr Research Scientist QRC
The Hershey Company
/
Confectionery · Food and Beverage · Public
Hershey, PAFull-timeOnsiteMid, Senior Level3+ years expLess than 25 applicants
H1B Sponsor Likely
16 hours agoBe an early applicant
2026 Summer Intern –PhD – Foundations: Localization, RVA & Mapping
Motional
/
Automotive · Autonomous Vehicles · Late Stage
Pittsburgh, Pennsylvania, United StatesInternshipHybridIntern
Start in 2026 SummerLess than 25 applicants
Growth OpportunitiesH1B Sponsor Likely
15 hours agoBe an early applicant
Research Scientist / Engineer — Voice Agents
Luma AI
/
Artificial Intelligence (AI) · Foundational AI · Growth Stage
Palo Alto, CAFull-timeHybridMid, Senior LevelLess than 25 applicants
H1B Sponsor Likely
13 hours agoBe an early applicant
Research Scientist - Language Research Scientist
Meta
/
Computer Software · Late Stage
Seattle, WAFull-timeOnsiteSenior Level6+ years expLess than 25 applicants
Comp. & Benefits
15 hours ago
Staff Research Scientist
Prime Solutions Group, Inc.
/
Information Services · Information Technology · Growth Stage
Goodyear,AZ,USFull-timeOnsiteSenior Level, Lead/Staff7+ years exp67 applicants
No H1B
21 hours ago
Computational Scientist
BayOne Solutions
/
Information and Communications Technology (ICT) · Information Services · Late Stage
San Francisco Bay AreaContract$35/hr - $40/hrHybridMid Level3+ years exp56 applicants
Growth OpportunitiesH1B Sponsor Likely
20 hours agoBe an early applicant
Temporary Computational Science Specialist
North Carolina State University
/
Education · Non Profit · Late Stage
Raleigh, NCFull-time$40/hr - $40/hrHybridMid Level3+ years expLess than 25 applicants
H1B Sponsor Likely13 hours agoBe an early applicant
Research Scientist - Language Research Scientist
Meta
/
Computer Software · Late Stage
Menlo Park, CAFull-timeOnsiteSenior Level6+ years expLess than 25 applicants
Comp. & Benefits
1 day ago
Research Intern - Algorithms Group: Theory
Microsoft
/
Agentic AI · Application Performance Management · Public
Redmond, WAInternship$8,760/mo - $14,360/moOnsiteIntern27 applicants
Growth OpportunitiesH1B Sponsor Likely
1 day ago
Research Associate - LTI - School of Computer Science
Carnegie Mellon University
/
Education · Higher Education · Late Stage
Pittsburgh, PAFull-timeOnsiteNew Grad, Entry Level56 applicants
Growth OpportunitiesH1B Sponsor Likely
1 day ago
Postdoc Position in Materials Modeling, Simulation, and AI/ML
Los Alamos National Laboratory
/
Security · Late Stage
Los Alamos, NMFull-timeOnsiteSenior Level53 applicants
Growth OpportunitiesNo H1B
1 day ago
Research Scientist Graduate (Foundation Model-Multimodal) - 2026 Start（PhD）
ByteDance
/
Content · Data Mining · Late Stage
San Jose, CAFull-time$187K/yr - $360K/yrOnsiteNew Grad, Entry Level39 applicants
Comp. & BenefitsH1B Sponsor Likely
1 day ago
Computational Scientist I
Broad Institute of MIT and Harvard
/
Biotechnology · Clinical Trials · Late Stage
Cambridge, MAFull-time$88K/yr - $124K/yrOnsiteMid, Senior Level4+ years exp42 applicants
Growth OpportunitiesH1B Sponsor Likely
1 day ago
2026 Summer Intern (Computational Sciences - Cluster of Excellence)
Genentech
/
Biotechnology · Life Science · Public
South San Francisco, CAInternship$50/hr - $50/hrOnsiteInternStart in 2026 Summer39 applicants
Comp. & BenefitsH1B Sponsor Likely
2 weeks ago
Research Engineer - Formal Methods
Code Metal
/
Artificial Intelligence (AI) · Information Technology · Growth Stage
United StatesFull-timeRemoteMid, Senior LevelLess than 25 applicants
