71 formal-verification-computer-science positions at Massachusetts Institute of Technology (MIT)

System Analyst/Slate Captain

Massachusetts Institute of Technology (MIT) | Cambridge, Massachusetts | United States | 9 days ago

Details Posted: Unknown Location: Salary: Summary: Summary here. Details Posted: 27-Aug-25 Location: Cambridge, Massachusetts Type: Full-time Categories: Information Technology Staff/Administrative Internal Number: 25161 SYSTEMS ANALYST/SLATE CAPTAIN, Office of Graduate Education, serves as the...

Senior Research Administrator

Massachusetts Institute of Technology (MIT) | Cambridge, Massachusetts | United States | 19 days ago

Number: 25125 SENIOR RESEARCH ADMINISTRATOR, Materials Science and Engineering, reporting directly to the Senior Manager, Research Administration, administers complex pre- and/or post-award financial

Executive Entrepreneur in Residence

Massachusetts Institute of Technology (MIT) | Cambridge, Massachusetts | United States | 15 days ago

Internal Number: 25145 EXECUTIVE ENTREPRENEUR IN RESIDENCE (XEIR), Executive Degree Programs, will leverage a strong academic background combined with hands-on experience in technology/innovation driven

Senior Video Producer

Massachusetts Institute of Technology (MIT) | Cambridge, Massachusetts | United States | about 2 months ago

Internal Number: 24852 SENIOR VIDEO PRODUCER, Computer Science and Artificial Intelligence, will perform high visibility, public-facing video content about the research and people of CSAIL; create videos

Manager of HR and Administration

Massachusetts Institute of Technology (MIT) | Cambridge, Massachusetts | United States | about 1 month ago

Internal Number: 25097 MANAGER OF HR AND ADMINISTRATION, Biology, to provide human resources consulting, strategic planning, and operational guidance; develop, direct, and implement strategies, activities

Associate Data Analyst

Massachusetts Institute of Technology (MIT) | Cambridge, Massachusetts | United States | about 2 months ago

guidance from AVP, Data Analytics and Program Support the ADA will help maintain Arkalytics (DataLake), DNA CRM/BI tool and all data related systems to help research trends, support opportunities and measure

Technical Associate II

Massachusetts Institute of Technology (MIT) | Cambridge, Massachusetts | United States | 2 months ago

/Administrative Internal Number: 25028 TECHNICAL ASSOCIATE II, Plasma Science and Fusion Center (PSFC), will develop test stations for testing CVD diamond response relevant to inertial and magnetic confinement

Instructor

Massachusetts Institute of Technology (MIT) | Cambridge, Massachusetts | United States | about 2 months ago

Internal Number: 25050 ENERGY INSTRUCTOR, D-Lab, (part-time, 40%) to join a program that works with people around the world to develop and advance collaborative approaches and practical solutions to global

Educational Technologist

Massachusetts Institute of Technology (MIT) | Cambridge, Massachusetts | United States | 12 days ago

Internal Number: 25142 EDUCATIONAL TECHNOLOGIST, Mechanical Engineering, to join the Learning Engineering and Practice (LEAP) Group; collaborate with faculty and subject-matter experts to design and develop

Director, Executive Programs, Executive Education

Massachusetts Institute of Technology (MIT) | Cambridge, Massachusetts | United States | 3 months ago

online with responsibility for client and faculty relationship management, program design, planning/budgeting, educational outcomes and financial performance; maintain an in-depth knowledge of the full