Remote Lean 4 Formal Methods Researcher

Alignerr

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 Mission Quantitative Researcher — AI-Driven HFT Firm Physics Researcher (Python) - Freelance AI Trainer Bloomberg Intelligence Biotech Equity Research Analyst Quantitative Researcher - Early Career (USA) Consumer Research Specialist/Assistant Manager Physics Researcher (Python) - Freelance AI Trainer Physics Researcher (Python) - Freelance AI Trainer Physics Researcher (Python) - Freelance AI Trainer Physics Researcher (Python) - Freelance AI Trainer #J-18808-Ljbffr

Apply

Vacancy posted 3 days ago

Similar jobs that could be interesting for youBased on the Remote Lean 4 Formal Methods Researcher in Sheffield, TX vacancy

Remote: Formal Verification Scientist (Lean 4/Mathlib)
...A leading AI research partner seeks a Formal Verification Scientist specializing in Lean 4 and Mathlib. The ideal candidate will be experienced in translating informal... ...researchers on verification strategies. This is a fully remote position with competitive hourly compensation...
Remote work
Hourly pay
10 hours per week
Flexible hours
Alignerr
Sheffield, TX
3 days ago
Formal Verification Scientist (Lean 4 & Mathlib)
$170 per hour
...Formal Verification Scientist (Lean 4 & Mathlib) $170-200/hr Remote Freelance STEM What if your deep mathematical training could directly shape how AI understands... ...their expertise to matter in cutting-edge AI research. Organization: Alignerr Type: Hourly...
Remote work
Hourly pay
Ongoing contract
Contract work
Freelance
Flexible hours
Alignerr
United States
14 hours ago
Remote Lean 4 Proof Engineer: Formalize Math for AI
...Alignerr is seeking a Lean 4 Proof Engineer to transform informal mathematics... ...-verifiable formalizations. This remote position offers flexibility to... ...into Lean 4, analyzing gaps in formal arguments, and collaborating with AI researchers. Ideal candidates hold a Master's...
Remote work
Alignerr
New York, NY
4 days ago
Remote Lean 4 Proof Engineer: Formalize Math
...A leading AI research organization seeks a Lean 4 Proof Engineer specializing in mathematical formalization. This role involves translating informal mathematical proofs into machine... ...offers competitive hourly pay, flexible remote work, and opportunities to collaborate on...
Remote work
Hourly pay
Flexible hours
Alignerr
Sheffield, TX
2 days ago
Mixed Methods Researcher (Fulltime Remote)
...community. Leveraging our fintech product and research findings, we bring our members' voices and... ...work. We’re looking for a Mixed Methods Researcher who is equal parts scientist and... ...it. Relevant Experience You bring 4–6+ years of research experience in nonprofit...
Remote work
Full time
Local area
Shift work
Day shift
SaverLife
San Francisco, CA
3 days ago
UI/UX Researcher 4
...Job Title - UI/UX Researcher 4 Request # 75703-1 Location: Chicago, IL, Remote Possibility : Hybrid: go in the office when needed, Must be able to go back... ...focus on: Empathy 1. We're looking for methods of their organization and synthesis of both stakeholder...
Remote work
Full time
Work at office
Local area
Kasmo Global
Chicago, IL
4 days ago
Mathematician (Foundations / Formalization)
...Mathematician (Foundations / Formalization) About the Role... ...and rigorous proof methods could directly shape... ...mathematical arguments in Lean 4 and contributing to... .... This is a fully remote, flexible contract role... ...-level textbooks and research across mathematical disciplines...
Remote work
Hourly pay
Ongoing contract
Contract work
Freelance
Flexible hours
Alignerr
New York, NY
1 day ago
Senior Mixed Methods Researcher
...Senior Mixed Methods Researcher, this full-time position involves leading complex research studies, influencing product strategy through user insights, and mentoring other researchers. Key Responsibilities Lead high-stakes research studies to shape product vision and...
Remote work
Full time
Virtual Vocations Inc
United States
2 days ago
Mathematical Formalization Specialist (Lean / Formal Proof Systems)
$50 - $150 per hour
...Mathematical Formalization Specialist (Lean / Formal Proof Systems) $50-150/hr Remote Freelance STEM About the Role What if your... ...fail Collaborate with AI researchers to design, refine, and evaluate... ...experience with Lean (Lean 3 or Lean 4), Coq, Isabelle/HOL, Agda, or...
Remote work
Hourly pay
Ongoing contract
Contract work
Freelance
Flexible hours
Alignerr
United States
1 hour ago
Senior Product Designer and UX Researcher (Remote, 4-day week)
$140k - $180k
...eCommerce brands with everyday social media users. We are a high-growth, remote-first startup that offers a flexible 4-day work week. You will own end-to-end product design while conducting research to understand user needs and drive product strategy. We're looking...
Remote work
Flexible hours
Stack Influence
United States
2 days ago
Lead Product Designer & UX Researcher - Remote, 4-Day Week
$140k - $180k
...Stack Influence, a remote-first startup in the U.S., is seeking a Product Designer to lead end-to... ...design processes. This position offers a flexible 4-day work week and requires a strong background in product design and UX research. The ideal candidate has over 5 years of...
Remote work
Flexible hours
Stack Influence
New York, NY
1 day ago
Senior Threat Researcher, Ransomware Affiliates (US Remote, selected states)
...Senior Threat Researcher Work Style This role can be fully remote from the following states: NY, NJ, PA, CT, DC, TX, CA... ...information handling. Qualifications 4+ years of cyber threat... ...intelligence processes: analytical methods, the intelligence cycle, intelligence...
Remote work
Work at office
Work from home
Flexible hours
Shift work
Standard Chartered
United States
14 hours ago
Applied AI Researcher (India)
...Applied AI Researcher Articul8 AI is seeking an Applied AI Researcher to advance our domain... ..., or a related field; or MSc with 4+ years of post-graduation research experience... ...retrieval. You can derive the math behind the methods you use. Infrastructure: Experience...
Remote work
Articul8
United States
1 hour ago
Security Researcher
...Vulnerability Research Position We're looking for individuals with exceptional talent... .... Decompilation, program analysis, formal methods, and programming languages. You love Z3... ...or has worked here. Flexible hours, remote work, and both full-time and part-time...
Remote work
Full time
Temporary work
Part time
Work at office
Flexible hours
Zellic
United States
13 hours ago
Product Researcher
$160k - $230k
...Product Researcher You'll be the person who figures out what Firecrawl... ...: San Francisco, CA or Remote (Americas, UTC-3 to UTC-10)... ...customers than writing code - and leaned into it. What We're NOT Looking... ...- 3 paid months off after 4 years, do something fun and new...
Remote work
Full time
Temporary work
Freelance
Firecrawl
United States
3 days ago
Senior Machine Learning Researcher
$132k - $160k
...Southeastern United States (Hybrid/Remote) Transform Maritime... ...experienced machine learning researcher ready to push the limits of AI... ...sequences) with design-of-experiment methods for data collection and... ...Comprehensive benefits: 401(k) with 4% company matching, full...
Remote work
Permanent employment
Visa sponsorship
Work visa
Tocaro Blue
Birmingham, AL
18 hours ago
Principal AI Security & Risk Researcher
...Ciph Lab | Remote | Equity-Only (Pre-Seed) About Ciph Lab Ciph Lab... ...governance at scale. We're a 4-month-old AI governance company... ...Principal AI Security & Risk Researcher to join our founding research... ...(while protecting proprietary methods) What We're Looking For Required...
Remote work
Part time
Flexible hours
Ciph Lab
San Francisco, CA
3 days ago
Senior Design Researcher-Part time REMOTE
$66 per hour
...currently seeks a Part‐time Senior Design Researcher to join our team remotely. This role is 20 hours per week.... ...research and usability testing methods is critical to this role. Responsibilities... ...to test design concepts through lean research and usability testing. Facilitate...
Remote work
Hourly pay
Temporary work
Part time
Flexible hours
NTT DATA North America
Kansas City, MO
4 days ago
Associate Researcher - Impact Analytics
...Signalfire, and IVP. Our U.S. based team is lean, mission-driven, and growing quickly.... ...complementary streams of work: structured literature research that supports the Chief Medical Officer's... ..., screening, and evidence-synthesis methods Notion (or a comparable structured...
Remote work
Solace
United States
13 hours ago
AI & ML Researchers
...Hyderabad India, we are a team of 4,500+ passionate problem-... ...Summary: We are seeking AI/ML Researchers to drive innovation in large... ...Hybrid office-based roles and remote availability for some roles,... ...be made from ModMed without a formal interview process, and valid...
Remote work
Fixed term contract
Work at office
Flexible hours
Modernizing Medicine
Boca Raton, FL
3 days ago
Formal Methods Researcher
...Job Description Job Description The candidate will be performing hands-on research on high-assurance connect car system assurance using formal methods and design by contract concepts. Research areas include high-assurance connected software architecture & software...
Contract work
Local area
MSR Technology Group
Mountain View, CA
3 days ago
Remote Lean Formalization Specialist
$50 - $150 per hour
...A leading AI partner is looking for a Mathematical Formalization Specialist to join their remote team. This role focuses on translating informal mathematical... ...proofs into formal, machine-verifiable formats using Lean and other proof systems. Candidates should have a...
Remote work
Hourly pay
Alignerr
San Francisco, CA
3 days ago
Program Researcher/Designer
...Role Overview The Program Researcher/Designer is a strategic, research... ...ensure smooth delivery 4. Evaluate & Improve Programs... ...experience with user research methods Understand UX, HCI, learning... ...Time Commitment ~ Flexible, remote‑friendly ~3–6 hours per week...
Remote work
Flexible hours
Outcome School
Los Angeles, CA
3 days ago
Pure Math & Lean 4 AI Trainer - Freelance (Remote)
$35 - $65 per hour
...training company is seeking a Pure Mathematics Specialist to contribute to an exciting freelance project. This remote role is ideal for experts fluent in Lean 4 and theoretical mathematics. You will engage with advanced topics while constructing complex proofs and...
Remote work
Hourly pay
Freelance
Invisible Agency
New York, NY
1 day ago
Principal User Researcher, Mixed Methods, B2B
$165k - $292k
...underwritten. About the role We're looking for a researcher to establish and scale the user research... ...and agent experiences. Lead mixed-method research efforts, designing and... ...foundational elements for a growing team. #LI-Remote #LI-CM1 The US national base salary...
Remote work
Full time
Ethos Life
United States
4 days ago
Principal UX Researcher
$198.7k - $275k
...brings together product design, research, and content strategy to shape... ...qualitative and quantitative methods ~ Experience building or... ...available in the following locations: Remote Time zone requirements The... ...or twice per quarter for 2-4 consecutive days at a time....
Remote work
Summer work
Currently hiring
Local area
Work from home
UpStart
United States
4 days ago
Senior UX Researcher Design (Remote - Europe)
...Senior UX Researcher Design (Remote - Europe) We are seeking a seasoned UX Researcher to help shape the... ...diversity and cultural context Requirements 4–8 years of professional UX research... ...qualitative and quantitative research methods, including generative and evaluative approaches...
Remote work
Full time
Contract work
Flexible hours
Shift work
Jobgether
New York, NY
1 day ago
Remote Senior Product Designer & UX Researcher (4-Day Week)
$130k - $180k
...collaborating with product and engineering teams, conducting user research, and creating impactful designs. Candidates should have a... ...design, UX research experience, and expert-level Figma skills. This remote-first startup offers a competitive salary between $130-180k USD...
Remote work
Stack Influence
Doral, FL
3 days ago
User Experience Researcher
$55 - $65 per hour
...searching for a Part-Time UX Researcher for our faith-based tech client... ...independently and know how to scope for lean, fast-paced environments You’... ...~20 hours per week Location: Remote (U.S.-based) Duration: Ongoing... ...States $70,000.00-$125,000.00 4 weeks ago User Experience...
Remote work
Contract work
Part time
52 Limited
New York, NY
1 day ago
Application Development - UX Researcher
...Innovation Research Lead We are seeking a collaborative research... ..., attitudes and actions using methods that enable project and practice... ...applying design thinking and lean startup methodologies to ambiguous... ...levels and sizes, both in-person and via remote technology....
Remote work
Work experience placement
Flexible hours
Samprasoft
Hopkins, MN
1 day ago

Do you want to receive more vacancies?

Subscribe and receive similar vacancies to Remote Lean 4 Formal Methods Researcher. Be the first to apply!