Computer Scientist, Neurosymbolic Computing

SRI International; California; Hybrid; USD 102,000 - 150,000; Full time

Job summary

A leading research institute is seeking a Computer Scientist to engage in innovative research in neuro-symbolic AI. This remote position focuses on developing mathematical foundations for robust and ethical AI systems, contributing to projects for government and commercial clients. Candidates should possess a PhD, a strong publication record, and expertise in frameworks like PyTorch.

Qualifications

• Strong mathematical background in AI/ML.
• Solid publication track record in top venues over the last 5 years.
• Ability to travel to project sites and conferences as required.

Responsibilities

• Co-develop research ideas and lead their experimental evaluation.
• Develop mathematical foundations and document findings.
• Participate in neuro-symbolic computing projects for clients.

Skills

Research Experiments

Collaboration

Ethical AI

Education

PhD in Computer Science or related

Tools

PyTorch

Job description

Overview

In the Neurosymbolic AI research group, we develop distributed, multi-agentic, high-assurance, meta-cognitive AI systems capable of tackling profound scientific and engineering challenges. Our focus is on creating self-improving AI capable of abstraction and learning from its failures. Our work encompasses:

• Autonomously discovering innovative cyber-physical system designs such as aircrafts and underwater vehicles.
• Automating the scientific discovery process by generating hypotheses, conducting virtual experiments, and analyzing results at scale such as design of new biomolecules, formulation and proving new mathematical theorems.
• Achieving large-context spatiotemporal understanding in complex environments, from data fusion to dynamic scene interpretation across a wide spectrum of modalities.

We are seeking a Computer Scientist to conduct research and development in neuro-symbolic computing and intelligence with a focus on mathematical foundations of safe, robust, responsible, and ethical AI. The Computer Scientist will actively participate in existing and new projects on neuro-symbolic computing and intelligence for government and commercial clients.

This is a fully REMOTE position.

Responsibilities

• Co-developing research ideas
• Leading the experimental evaluation of these ideas
• Developing mathematical foundations
• Documentation in technical reports and research papers

Qualifications

• PhD in Computer Science or related area with strong mathematical background
• Solid publication track record with papers in top AI/ML/PL venues such as NeurIPS, CVPR, ICCV, ECCV, ICLR, AAAI, UAI, OOPSLA and VLDB in the last 5 years
• One additional area of deep expertise beyond AI/ML that is synergistic such as psychology, automated theorem proving, cybersecurity, formal methods, concentration measures, multimodal testbeds, mathematical foundations of programming languages, and low-energy computing.
• Expertise to run research experiments in frameworks such as PyTorch and write code in a collaborative manner.
• Ability to travel to project sites and conference venues as required

The salary range is: $102,056-$150,000. Salary ranges will vary and are based on several factors, including geographic location, market competitiveness and equity amongst internal employees in similar roles. Positions may also qualify for SRI's Pay for Outstanding Performance program or the annual Performance Based Compensation program. SRI also has a competitive benefits package, to view details please go to https://www.sri.com/resources/benefits/. SRI will accept applications until the position is filled.

SRI is an independent nonprofit research institute headquartered in Menlo Park, Calif., with a rich history of supporting government and industry. We create and deliver world-changing solutions for a safer, healthier, and more sustainable future. For more than 75 years, we have collaborated across technical and scientific disciplines to discover and develop groundbreaking products and technologies and bring innovations and ideas to the marketplace.