CrawlJobs Logo
Meta Logo Meta · IT - Software Development

Postdoctoral Researcher, Ai Verification, Separation Logic In Lean

United Kingdom, London · Job Posted June 03, 2026
Apply Position
Job Link Share

Job Description

Meta is seeking a Postdoctoral Researcher to advance research in program verification. In this role, you will conduct original research focused on embedding Separation Logic into the Lean proof assistant. You will collaborate with research scientists and engineers to publish high-impact work, develop prototype systems, and contribute to the broader scientific community while helping shape the direction of verification by and for AI.

Job Responsibility

  • Conduct original research on program verification, with emphasis on use of AI to discover proofs automatically
  • Work on embedding Separation Logic into the Lean proof assistant
  • Collaborate with or build on ongoing community efforts such as CSLib and Iris-Lean
  • Automate proofs of programs from leading research papers and textbooks, especially for concurrent programs. Investigate proof discovery beyond the leading edge
  • Develop evaluations and datasets to measure the effectiveness of proof methods
  • Collaborate with research scientists and engineers on problems related to data for machine learning algorithms and guardrails for AI agents
  • Author and co-author research papers for submission to peer-reviewed conferences and journals
  • Collaborate with Meta researchers and engineers on internal verification problems relevant to Meta
  • Participate in research community programs, seminars, and collaborative initiatives that strengthen the scientific culture of the team

Requirements

  • Currently has, or is in the process of obtaining, a PhD degree in Computer Science or a related field
  • Experience with Lean and/or Separation Logic
  • Experience communicating research findings through written publications, technical reports, or presentations at academic or industry venues

Nice to have

  • Publication record at peer-reviewed AI or Verification/PL venues
  • Experience writing research-quality code, including reproducible experiment pipelines and analysis frameworks
  • Experience building AI agents, ML models and Benchmarks
Meta - All Job Offers

Looking for more opportunities?

Search for other job offers that match your skills and interests.

Suggested Tags: Frontend Developer Secretary Talent Manager Salesforce Administrator Data Analyst
Similar Jobs for

Postdoctoral Researcher, Ai Verification, Separation Logic In Lean

8 matching positions

New

IT Training Lead

The IT Training Lead will drive technology learning and user adoption across the...
Location
Location
United States , Delray Beach
Salary
Salary:
Not provided
https://www.roberthalf.com Logo
Robert Half
Expiration Date
Until further notice
Flip Icon
Requirements
Requirements
  • Experience in IT training, instructional design, technical enablement, or learning and development
  • Strong knowledge of Microsoft 365
  • Excellent communication, facilitation, and content development skills
  • Ability to translate technical concepts into practical, user-friendly training.
Job Responsibility
Job Responsibility
  • Design, develop, and deliver IT training programs in instructor-led, virtual, and self-paced formats
  • Take lead in the Microsoft Copilot and AI training strategy, including onboarding, advanced use cases, responsible AI usage, and ongoing enablement
  • Partner with IT leadership to support new technology rollouts, system upgrades, and digital transformation initiatives
  • Create and maintain training content, including videos, guides, tutorials, and job aids
  • Identify skill gaps and develop targeted learning solutions to improve adoption and productivity
  • Gather feedback and measure training effectiveness to continuously improve programs.
Read More
Arrow Right
New

K Kitchen Representative

The position includes, but is not limited to, the following essential job duties...
Location
Location
United States , New Albany
Salary
Salary:
Not provided
https://www.circlek.com Logo
Circle K
Expiration Date
Until further notice
Flip Icon
Requirements
Requirements
  • Excellent communication skills
  • Team player who can work well with others or independently
  • Acts with integrity
  • keeps commitments
  • Contagious positive attitude
  • Focuses on achieving results while having fun
  • Frequently bend, twist at waist, kneel, squat, stand, and walk
  • Occasionally climb and descend ladders
  • Tolerate extreme cold and hot temperatures and work in and around fryers, ovens, grills, coolers, freezers, sharp objects, and loud noises
  • Reach, grasp, and manipulate objects with hands for entire shift, including reaching for objects overhead
Job Responsibility
Job Responsibility
  • Provides excellent guest service in a fast and friendly manner
  • Maintains a clean restaurant environment by cleaning and performing general housekeeping duties
  • Prepares and serves food items in accordance with all Brand, Company, and health department regulations
  • Ensures product quality, food safety, and operational standards are met
  • Keeps accurate cash, sales, and inventory control records
  • Follows all government laws and safety codes
  • Completes reports on all incidents following our 5-minute rule policy
  • Lives our Company values: One Team, Do the Right Thing, Takes Ownership, Play to Win
What we offer
What we offer
  • Medical, Dental, Vision, Term Life and AD&D plans
  • Flexible spending and health savings accounts (FT)
  • Vacation paid time off
  • Company holidays paid at time and a half
  • Matching 401(k)
  • Tuition Reimbursement
  • Stock Purchase Plan
  • Employee Discount Program
  • Discount Meal Benefit
  • Wellness Plan
Read More
Arrow Right
New

K Kitchen Representative

Location
Location
United States , Decatur
Salary
Salary:
Not provided
https://www.circlek.com Logo
Circle K
Expiration Date
Until further notice
Flip Icon
Requirements
Requirements
  • Excellent communication skills
  • Team player who can work well with others or independently
  • Acts with integrity
  • keeps commitments
  • Contagious positive attitude
  • Focuses on achieving results while having fun
  • Frequently bend, twist at waist, kneel, squat, stand, and walk
  • Occasionally climb and descend ladders
  • Tolerate extreme cold and hot temperatures and work in and around fryers, ovens, grills, coolers, freezers, sharp objects, and loud noises
  • Reach, grasp, and manipulate objects with hands for entire shift, including reaching for objects overhead
Job Responsibility
Job Responsibility
  • Provides excellent guest service in a fast and friendly manner
  • Maintains a clean restaurant environment by cleaning and performing general housekeeping duties
  • Prepares and serves food items in accordance with all Brand, Company, and health department regulations
  • Ensures product quality, food safety, and operational standards are met
  • Keeps accurate cash, sales, and inventory control records
  • Follows all government laws and safety codes
  • Completes reports on all incidents following our 5-minute rule policy
  • Lives our Company values: One Team, Do the Right Thing, Takes Ownership, Play to Win
What we offer
What we offer
  • Medical, Dental, Vision, Term Life and AD&D plans
  • Flexible spending and health savings accounts (FT)
  • Vacation paid time off
  • Company holidays paid at time and a half
  • Matching 401(k)
  • Tuition Reimbursement
  • Stock Purchase Plan
  • Employee Discount Program
  • Discount Meal Benefit
  • Wellness Plan
Read More
Arrow Right
New

Restaurant Assistant Manager

This position assists the Restaurant Manager (RM) with daily operations of the r...
Location
Location
United States , Holly Springs
Salary
Salary:
Not provided
https://www.circlek.com Logo
Circle K
Expiration Date
Until further notice
Flip Icon
Requirements
Requirements
  • Full time required
  • availability during all hours of operation and at least one hour pre-opening and post-closing required
  • Valid state Driver's License required
  • Excellent communication skills
  • Motivates, coaches, and leads team members
  • Acts with integrity
  • keeps commitments
  • Contagious positive attitude
  • Focuses on achieving results while having fun
  • Ability to gain control during stressful situations
Job Responsibility
Job Responsibility
  • Assists the Restaurant Manager with daily operations of the restaurant and supervises the team in their absence
  • Leads and coaches Restaurant Team Members and partners with the management team to maintain the Company and Brand operational standards
  • Provides excellent guest service in a fast and friendly manner
  • coaches and corrects team
  • Conducts second interviews for team members and shift leads
  • Maintains a clean restaurant environment by cleaning and performing general housekeeping duties
  • Assigns shift duties to team members and follows up to ensure completion
  • Directs team and ensures all food items are prepared and served in accordance with all Brand, Company, and health department regulations
  • Coaches team members to follow guidelines for food preparation and production management
  • Cascades relevant information to team members and assists with new product training
What we offer
What we offer
  • Unlimited tip pooling
  • Medical, Dental, Vision, Term Life and AD&D plans
  • Flexible spending and health savings accounts
  • Short-Term Disability
  • Vacation paid time off
  • Company holidays paid at time and a half
  • Matching 401(k)
  • Tuition Reimbursement
  • Stock Purchase Plan
  • Employee Discount Program
  • Fulltime
Read More
Arrow Right
New

Plant Operator - Crushing and Screen

Are you an experienced and ticketed Machine Operator looking for stable, high-ho...
Location
Location
Australia , Petrie
Salary
Salary:
42.00 - 52.00 AUD / Hour
https://www.randstad.com Logo
Randstad
Expiration Date
July 09, 2026
Flip Icon
Requirements
Requirements
  • Proven Experience working in a quarry, concrete recycling, or heavy industrial yard
  • Current tickets for Front-End Loader (LL) and Excavator (LE)
  • Truck License: Heavy Rigid (HR) or higher is highly regarded
  • Reliability with strong work ethic and punctuality
  • Own reliable vehicle and current driver's license
Job Responsibility
Job Responsibility
  • Safe and efficient operation of heavy machinery in a fast-paced recycling and quarry environment
  • Operating Front-End Loaders
  • Operating Excavators utilized as material handlers
  • Operating Moxy (Articulated Dump Trucks) and other yard machinery as required
  • Assisting with daily machinery pre-starts, basic maintenance, and ensuring the yard runs smoothly
  • Adhering strictly to site health and safety protocols
What we offer
What we offer
  • Top Rates: $42.00 to $52.00 per hour + overtime penalties
  • Big Hours: Consistent 40 to 55-hour work weeks
  • Career Progression: Pathway from casual to permanent full-time employment within 3-6 months
  • Local Work: Convenient Brisbane Northside location (Petrie)
  • Immediate Start
  • Fulltime
Read More
Arrow Right

Graduate Student Instructors

Location
Location
United States , Ann Arbor
Salary
Salary:
Not provided
umich.edu Logo
University of Michigan
Expiration Date
Until further notice
Flip Icon
Requirements
Requirements
  • Enrolled in good standing as a graduate student at the University of Michigan
  • Available to teach the scheduled section times
  • Have previously taken at least 1 philosophy course (or equivalent course) in this general area as an undergraduate or graduate student, and have demonstrated expertise and interest in subject area
  • Experience with Canvas
  • If the language of instruction at a student's undergraduate institution was not English, they must be evaluated by the English Language Institute (ELI) for English proficiency and either pass the GSI-OET or have this test waived by the ELI before they can be eligible for a GSI appointment in LS&A.
Job Responsibility
Job Responsibility
  • Attend all lectures and exams for your preferred course
  • Run discussion sections as scheduled
  • Hold at least 2 office hours each week
  • Grade assignments, per lead faculty instruction
  • Meet weekly with the lead instructor, and respond promptly to emails
  • Additional items listed in fraction calculation form
  • Parttime
Read More
Arrow Right

Shift Supervisor

We're building a world of health around every individual — shaping a more connec...
Location
Location
United States , Colorado Springs
Salary
Salary:
17.16 - 26.16 USD / Hour
https://www.cvshealth.com/ Logo
CVS Health
Expiration Date
Until further notice
Flip Icon
Requirements
Requirements
  • Deductive reasoning ability, analytical skills and computer skills
  • Advanced communication skills and supervision skills
  • Ability to work a flexible schedule, including some early morning, overnight and weekend shifts, to work overtime as needed, and to respond to urgent issues at the store when they arise
Job Responsibility
Job Responsibility
  • Work effectively with store management and store crews
  • Supervise the store's crew through assigning, directing and following up of all activities
  • Effectively communicate information both to and from store management and crews
  • Assist customers with their questions, problems and complaints
  • Promote CVS customer service culture
  • Handle all customer relations issues in accordance with company policy and promote a positive shopping experience for all CVS customers
  • Maintain customer/patient confidentiality
  • Price merchandise
  • Stock shelves
  • Execute the displays, sign and inventory of weekly, promotional, and seasonal merchandise
What we offer
What we offer
  • Dental
  • Vision
  • Wellness resources
  • Employee discounts
  • Access to certain voluntary benefits
  • Other programs
  • Parttime
Read More
Arrow Right

Shift Supervisor

We’re building a world of health around every individual — shaping a more connec...
Location
Location
United States , Ardmore
Salary
Salary:
16.00 - 23.00 USD / Hour
https://www.cvshealth.com/ Logo
CVS Health
Expiration Date
July 18, 2026
Flip Icon
Requirements
Requirements
  • Deductive reasoning ability, analytical skills and computer skills
  • Advanced communication skills and supervision skills
  • Ability to work a flexible schedule, including some early morning, overnight and weekend shifts, to work overtime as needed, and to respond to urgent issues at the store when they arise
Job Responsibility
Job Responsibility
  • Work effectively with store management and store crews
  • Supervise the store's crew through assigning, directing and following up of all activities
  • Effectively communicate information both to and from store management and crews
  • Assist customers with their questions, problems and complaints
  • Promote CVS customer service culture. (Greet, offer help, and thank)
  • Handle all customer relations issues in accordance with company policy and promote a positive shopping experience for all CVS customers
  • Maintain customer/patient confidentiality
  • Price merchandise
  • Stock shelves
  • Execute the displays, sign and inventory of weekly, promotional, and seasonal merchandise
What we offer
What we offer
  • Dental
  • Vision
  • Wellness resources
  • Employee discounts
  • Access to certain voluntary benefits
  • Other programs
  • Parttime
Read More
Arrow Right