Postdoctoral Fellowship in Computer Science - Programming Languages and Artificial Intelligence in Cambridge, MA for Harvard University

Use this area to filter your search results. Each filter option allows for multiple selections.

Discipline
Type
Level
Education

Search Results: 2716 Jobs

Create Notification

Professor of the Practice

Duke University, Electrical and Computer Engineering

Durham, North Carolina

Quantitative Researcher

Hangzhou Longqi Technology

China

Renal Pathologist Opportunity in Berkeley, CA with Kaiser Permanente

The Permanente Medical Group, Inc. (Kaiser Permanente Northern California)

Berkeley, California

Featured!

Senior Director, Membership

Institute of Food Technologists

Chicago, Illinois

Sports Medicine Physician Opportunity with Kaiser Permanente in Northern California

The Permanente Medical Group, Inc. (Kaiser Permanente Northern California)

Elk Grove, California

Featured!

Family Medicine or Internal Medicine Physician

Kaiser Permanente - Washington Permanente Medical Group

Renton, Washington

Featured!

Medical Oncologist

St. Luke’s University Health Network

Bartonsville, Pennsylvania

Featured!

Adult Gastroenterologist Opportunities with Kaiser Permanente in the California Central Valley

The Permanente Medical Group, Inc. (Kaiser Permanente Northern California)

Fresno & Modesto, California

Featured!

Ob/Gyn Physician Opportunities with Kaiser Permanente in Northern & Central California

The Permanente Medical Group, Inc. (Kaiser Permanente Northern California)

Northern & Central California, California

Featured!

Family or Internal Medicine Physician

Kaiser Permanente - Washington Permanente Medical Group

Olympia, Washington

Featured!

Family Medicine or Internal Medicine Physician

Kaiser Permanente - Washington Permanente Medical Group

Spokane, Washington

Featured!

Family Medicine or Internal Medicine Physician

Kaiser Permanente - Washington Permanente Medical Group

Puyallup, Washington

Featured!

Family Medicine or Internal Medicine Physician Panel Replacement Services, South King County

Kaiser Permanente - Washington Permanente Medical Group

Federal Way, Washington

Featured!

Property Accountant

ACX / AmCap

Stamford, Connecticut

Senior Director, Meetings

American Cleaning Institute

D.C.

Seeking Primary Care Physician for Professional Teams Sports Coverage

The Permanente Medical Group, Inc. (Kaiser Permanente Northern California)

San Jose, California

Featured!

Physician Opportunities in Northern & Central California with Kaiser Permanente

The Permanente Medical Group, Inc. (Kaiser Permanente Northern California)

Northern & Central California, California

Featured!

Full-Time & Per Diem Adult & Family Medicine Physician Openings with Kaiser Permanente

The Permanente Medical Group, Inc. (Kaiser Permanente Northern California)

Northern & Central California, California

Featured!

Pediatricians & Pediatric Subspecialty Physicians in No. & Central California with Kaiser Permanente

The Permanente Medical Group, Inc. (Kaiser Permanente Northern California)

Northern & Central California, California

Featured!

Adult & Family Medicine Physician Opportunities with Kaiser Permanente in the CA Central Valley

The Permanente Medical Group, Inc. (Kaiser Permanente Northern California)

Central California, California

Featured!

Psychiatrist Opportunities with Kaiser Permanente in Northern & Central California

The Permanente Medical Group, Inc. (Kaiser Permanente Northern California)

Northern & Central California, California

Featured!

Family Medicine or Internal Medicine Physician

Kaiser Permanente - Washington Permanente Medical Group

Tacoma, Washington

Featured!

Clinical Geneticist/Research Faculty Member

University of Florida

Gainesville, Florida

Neuroradiologist - Daytime Role (No Evenings or Nights)

Mayo Clinic

Mankato, Minnesota

Senior Director, Membership

Institute of Food Technologists

Chicago

Postdoctoral Fellowship in Computer Science - Programming Languages and Artificial Intelligence

School: Harvard John A. Paulson School of Engineering and Applied SciencesDepartment/Area: Computer SciencePosition Description: We're looking for a postdoctoral fellow who will be mentored by Prof. Nada Amin at Harvard SEAS. The postdoctoral fellow should be interested in the intersection of programming languages and artificial intelligence (PL+AI), in particular verification and large language models.Our main goal is to create a PL+AI system that is the best at verified program synthesis. We will use the verification-aware programming language Dafny and co-evolve an LLM and a discovery system for Dafny.Beyond this project, ther

This job listing is no longer active.

Check the left side of the screen for similar opportunities.

Error