Research Scientist 3
Cambridge, MA · On-site
... theoretical computer science, machine learning, use of machine learning for enhancing mathematical discovery and formal verification; help set the project's research direction, lead several of the ...
Cambridge, MA · On-site
... theoretical computer science, machine learning, use of machine learning for enhancing mathematical discovery and formal verification; help set the project's research direction, lead several of the ...
Cambridge, MA · On-site
... theoretical computer science, machine learning, use of machine learning for enhancing mathematical discovery and formal verification; help set the project's research direction, lead several of the ...
New York, NY · On-site
$98K/yr
The department has strengths in theoretical computer science and cryptography, distributed computing and networking, machine learning and data science, computer vision and graphics, scientific ...
New York, NY · On-site
$98K/yr
The department has strengths in theoretical computer science and cryptography, distributed computing and networking, machine learning and data science, computer vision and graphics, scientific ...
Hempstead, NY · On-site
$62K - $85K/yr
... gaps between theory and practice. The Academy's focus on character development and community ... Job Summary The Computer Science teacher will work with a diverse range of students to develop ...
Hempstead, NY · On-site
$62K - $85K/yr
... gaps between theory and practice. The Academy's focus on character development and community ... Job Summary The Computer Science teacher will work with a diverse range of students to develop ...
Piscataway, NJ · On-site
Posting Summary DIMACS, the Center for Discrete Mathematics and Theoretical Computer Science, invites applications for postdoctoral associate positions for 2026-2028. The postdoc will be mentored by ...
Piscataway, NJ · On-site
Posting Summary DIMACS, the Center for Discrete Mathematics and Theoretical Computer Science, invites applications for postdoctoral associate positions for 2026-2028. The postdoc will be mentored by ...
Hempstead, NY · On-site
$62K - $85K/yr
... gaps between theory and practice. The Academy's focus on character development and community ... Job Summary The Computer Science teacher will work with a diverse range of students to develop ...
Hempstead, NY · On-site
$62K - $85K/yr
... gaps between theory and practice. The Academy's focus on character development and community ... Job Summary The Computer Science teacher will work with a diverse range of students to develop ...
Hempstead, NY · On-site
$62K - $85K/yr
... gaps between theory and practice. The Academy's focus on character development and community ... Job Summary The Computer Science teacher will work with a diverse range of students to develop ...
Quick apply
Hempstead, NY · On-site
$62K - $85K/yr
... gaps between theory and practice. The Academy's focus on character development and community ... Job Summary The Computer Science teacher will work with a diverse range of students to develop ...
... theory and practice Preferred Qualifications • Prior classroom experience, preferably at the middle or high school level(s) • AP Computer Science teaching experience or certification; experience ...
... theory and practice Preferred Qualifications • Prior classroom experience, preferably at the middle or high school level(s) • AP Computer Science teaching experience or certification; experience ...
New Rochelle, NY · On-site
$47K - $60K/yr
... theory and practice Preferred Qualifications • Prior classroom experience, preferably at the middle or high school level(s) • AP Computer Science teaching experience or certification; experience ...
Quick apply
New Rochelle, NY · On-site
$47K - $60K/yr
... theory and practice Preferred Qualifications • Prior classroom experience, preferably at the middle or high school level(s) • AP Computer Science teaching experience or certification; experience ...
New Rochelle, NY · On-site
$47K - $60K/yr
... theory and practice Preferred Qualifications • Prior classroom experience, preferably at the middle or high school level(s) • AP Computer Science teaching experience or certification; experience ...
New Rochelle, NY · On-site
$47K - $60K/yr
... theory and practice Preferred Qualifications • Prior classroom experience, preferably at the middle or high school level(s) • AP Computer Science teaching experience or certification; experience ...
... theory, web programming, software engineering, data structures, algorithm development, data-science ... Masters or Doctorate in Computer Science or a closely related field or equivalent credentials.
... theory, web programming, software engineering, data structures, algorithm development, data-science ... Masters or Doctorate in Computer Science or a closely related field or equivalent credentials.
... theory, web programming, software engineering, data structures, algorithm development, data-science ... Masters or Doctorate in Computer Science or a closely related field or equivalent credentials.
... theory, web programming, software engineering, data structures, algorithm development, data-science ... Masters or Doctorate in Computer Science or a closely related field or equivalent credentials.
Significant experience with data science , including data wrangling, machine learning, modeling, and analytic tool development * Knowledge of compiler theory, computer architecture, database theory ...
Quick apply
Significant experience with data science , including data wrangling, machine learning, modeling, and analytic tool development * Knowledge of compiler theory, computer architecture, database theory ...
Significant experience with data science , including data wrangling, machine learning, modeling, and analytic tool development * Knowledge of compiler theory, computer architecture, database theory ...
Significant experience with data science , including data wrangling, machine learning, modeling, and analytic tool development * Knowledge of compiler theory, computer architecture, database theory ...
The right candidate will apply requisite computer science skills (operating systems, compiler theory, databased theory, algorithm analysis, computer architecture, discrete math, programming language ...
The right candidate will apply requisite computer science skills (operating systems, compiler theory, databased theory, algorithm analysis, computer architecture, discrete math, programming language ...
$87K - $157K/yr
Design, develop, deploy, and sustain solutions to complex cryptologic computer science problems. * Apply expertise in areas such as operating systems, algorithms, compiler theory, computer ...
$87K - $157K/yr
Design, develop, deploy, and sustain solutions to complex cryptologic computer science problems. * Apply expertise in areas such as operating systems, algorithms, compiler theory, computer ...
$107K - $195K/yr
Design, develop, deploy, and sustain solutions to complex cryptologic computer science problems. * Apply expertise in areas such as operating systems, algorithms, compiler theory, computer ...
$107K - $195K/yr
Design, develop, deploy, and sustain solutions to complex cryptologic computer science problems. * Apply expertise in areas such as operating systems, algorithms, compiler theory, computer ...
Austin, TX · On-site
$65K/yr
Study problems in pseudorandomness and more broadly in theoretical computer science. * Read and write manuscripts for publication in peer-reviewed conferences and journals. * Present research ...
Austin, TX · On-site
$65K/yr
Study problems in pseudorandomness and more broadly in theoretical computer science. * Read and write manuscripts for publication in peer-reviewed conferences and journals. * Present research ...
Odenton, MD · On-site
$107K - $195K/yr
Design, develop, deploy, and sustain solutions to complex cryptologic computer science problems. * Apply expertise in areas such as operating systems, algorithms, compiler theory, computer ...
Odenton, MD · On-site
$107K - $195K/yr
Design, develop, deploy, and sustain solutions to complex cryptologic computer science problems. * Apply expertise in areas such as operating systems, algorithms, compiler theory, computer ...
Annapolis Junction, MD · On-site
$133K - $148K/yr
The right candidate will apply requisite computer science skills (operating systems, compiler theory, databased theory, algorithm analysis, computer architecture, discrete math, programming language ...
Annapolis Junction, MD · On-site
$133K - $148K/yr
The right candidate will apply requisite computer science skills (operating systems, compiler theory, databased theory, algorithm analysis, computer architecture, discrete math, programming language ...
Everett, WA · On-site
$19K/mo
Computer Science & Engineering Opening Date: 11/10/2025 Bargaining Unit: AFT First review date ... the theoretical foundations and practical skills needed for the region's competitive market.
Everett, WA · On-site
$19K/mo
Computer Science & Engineering Opening Date: 11/10/2025 Bargaining Unit: AFT First review date ... the theoretical foundations and practical skills needed for the region's competitive market.
$11K - $25.5K
0% of jobs
$25.5K - $40.1K
0% of jobs
$40.1K - $54.6K
0% of jobs
$54.6K - $69.2K
13% of jobs
$69.2K - $83.7K
6% of jobs
$92.2K is the 25th percentile. Wages below this are outliers.
$83.7K - $98.3K
9% of jobs
$98.3K - $112.8K
16% of jobs
$112.8K - $127.4K
0% of jobs
$127.4K - $141.9K
0% of jobs
The median wage is $143.3K / yr.
$141.9K - $156.5K
48% of jobs
$156.5K - $171K
6% of jobs
$11K
$126.6K
$171K
To thrive in Theoretical Computer Science, a strong background in mathematics, algorithms, and computational theory is essential, usually backed by an advanced degree such as a master's or PhD in computer science or a related field. Familiarity with formal verification tools, mathematical modeling software, and programming languages like Python or C++ is often required. Critical thinking, analytical reasoning, and effective written communication are standout soft skills for this role. These competencies are vital for developing rigorous proofs, articulating complex concepts, and contributing meaningful insights to the field.
Theoretical Computer Science professionals often spend their days conducting original research, developing new algorithms, and analyzing computational problems from a mathematical perspective. They may collaborate closely with other researchers in interdisciplinary teams, attend academic conferences, and contribute to scholarly publications. While much of the work is individual and highly focused, regular interaction with collaborators and the broader academic community is common. This role can also involve mentoring students and engaging in peer review, making it both intellectually stimulating and highly collaborative.
A Theoretical Computer Science job focuses on studying the fundamental principles of computation, algorithms, complexity, and mathematical models of computing. Professionals in this field work on problems related to computational efficiency, cryptography, machine learning theory, and formal methods. They often conduct research in academia, develop new algorithms, or contribute to cutting-edge technology in industry. These roles typically require strong mathematical skills and expertise in logic, discrete mathematics, and algorithm design.

RESEARCH SCIENTIST 3, Computer Science and Artificial Intelligence Lab, to lead a research program on Provable AI Safety through Self-Proving Models; advance AI safety research, a strategic priority at MIT, by building both the theoretical foundations and the practical implementation of AI systems that prove the correctness of their own outputs; serve as a key member of a research team spanning theoretical computer science, machine learning, use of machine learning for enhancing mathematical discovery and formal verification; help set the project's research direction, lead several of the program's parallel research tracks, and supervise PhD students; and publish their research and work.
The full job description is available, here: https://www.dropbox.com/scl/fi/v0fh102aidthd9klzwqz8/Research-Scientist-3-Job-Description.docx?rlkey=sfv1s790df7ozb9e3uedukkku&st=1ckptkco&dl=0
Sourced by ZipRecruiter
Our mission is to advance a vibrant and diverse work community where individuals and groups thrive and contribute to MIT's excellence. We offer Support, Services, and Programs to enhance your work life. We're here to help. MIT is committed to helping employees achieve a healthy balance between their careers and the full lives they lead off-campus. Explore all of MIT's Work & Life resources, including MyLife Services, which provides 24/7 access to a network of experts available to help with life’s challenges.
Human resource programs administration
1 - 10 Employees
Cambridge, MA, US
2014