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: 2719 Jobs

Create Notification

Professor of the Practice

Duke University, Electrical and Computer Engineering

Durham, North Carolina

Junior Group Leaders in Artificial Intelligence and Data Science (F/M)

Paris Brain Institute

Paris, France

Quantitative Researcher

Hangzhou Longqi Technology

China

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!

Psychiatrist Opportunities with Kaiser Permanente in Northern & Central California

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

Northern & Central California, 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!

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!

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!

Family Medicine or Internal Medicine Physician

Kaiser Permanente - Washington Permanente Medical Group

Tacoma, Washington

Featured!

Neuroradiologist - Daytime Role (No Evenings or Nights)

Mayo Clinic

Mankato, Minnesota

Clinical Geneticist/Research Faculty Member

University of Florida

Gainesville, Florida

Senior Director, Membership

Institute of Food Technologists

Chicago

Renal Pathologist Opportunity in Berkeley, CA with Kaiser Permanente

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

Berkeley, California

Featured!

Neuroradiologist

Mayo Clinic

Rochester, Minnesota

Chief Operating Officer (COO)

ISA

US-REMOTE

Faculty Physician- General Urologist and Female Pelvic Medicine and Reconstructive Surgeon (Assistant or Associate Professor- Academic or Clinician Track)

University of Minnesota Physicians

St. John's Hospital, Minnesota

Featured!

Medical Oncologist

St. Luke’s University Health Network

Bartonsville, Pennsylvania

Featured!

Family Medicine or Internal Medicine Physician

Kaiser Permanente - Washington Permanente Medical Group

Renton, Washington

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!

DIAGNOSTIC RADIOLOGIST - Nationwide Remote Radiology

Expert Radiology

United States - Nationwide

Family or Internal Medicine Physician

Kaiser Permanente - Washington Permanente Medical Group

Olympia, Washington

Featured!

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