1

Mathematical Logic Phd Jobs (NOW HIRING)

You will measure the progress of these AI chatbots, evaluate their logic, and solve problems to ... Mathematics. Benefits (PhD track) This is a full-time or part-time REMOTE position You'll be able ...

next page

Showing results 1-20

Mathematical Logic Phd information

See salary details

$17

$29

$43

How much do mathematical logic phd jobs pay per hour?

As of May 31, 2026, the average hourly pay for mathematical logic phd in the United States is $29.61, according to ZipRecruiter salary data. Most workers in this role earn between $24.28 and $33.65 per hour, depending on experience, location, and employer.

What are the key skills and qualifications needed to thrive as a Mathematical Logic PhD, and why are they important?

To thrive as a Mathematical Logic PhD, you need advanced knowledge of mathematical logic, formal systems, set theory, and proof techniques, typically supported by a doctoral degree in mathematics or a related field. Proficiency with mathematical software (such as LaTeX, Coq, or Mathematica) and experience with academic research tools are highly valuable. Strong analytical thinking, perseverance, and clear written and verbal communication skills help you excel in both independent research and collaborative academic environments. These competencies are crucial for advancing theoretical understanding, producing publishable research, and contributing to the broader mathematical community.

What are the typical research and collaboration opportunities available to someone with a PhD in Mathematical Logic?

A PhD in Mathematical Logic opens doors to research positions in academia, technology companies, and research institutes, where collaboration is key. You may work as part of interdisciplinary teams with computer scientists, mathematicians, and philosophers on projects like formal verification, artificial intelligence, or foundations of mathematics. Challenges often include communicating complex ideas to those outside your specialty and balancing independent research with collaborative projects. These roles frequently provide opportunities to publish, attend conferences, and mentor students, fostering both personal growth and professional networking.

What is a Mathematical Logic PhD?

A Mathematical Logic PhD is a doctoral degree focused on the study of formal systems, reasoning, and the foundations of mathematics. Students in this program research topics such as set theory, model theory, recursion theory, and proof theory. Graduates often pursue careers in academia, research, or industry roles that require advanced logical reasoning and mathematical skills. The program typically involves coursework, comprehensive exams, and original research culminating in a dissertation.

What is the difference between Mathematical Logic Phd vs Data Scientist?

AspectMathematical Logic PhdData Scientist
Required CredentialsPhD in Mathematics or Logic, strong analytical skillsBachelor's or Master's in Data Science, Statistics, or related fields
Work EnvironmentAcademic, research institutions, or specialized think tanksCorporate, tech companies, or consulting firms
Industry UsageResearch, academia, theoretical developmentData analysis, machine learning, business insights
Common Search/ComparisonMathematical Logic Phd vs Data Scientist

The Mathematical Logic Phd typically focuses on theoretical research and academic roles requiring advanced mathematical and logical expertise. In contrast, a Data Scientist applies statistical and computational skills to analyze data and solve practical business problems. While both roles require strong analytical skills, their work environments and industry applications differ significantly.

More about Mathematical Logic Phd jobs
What cities are hiring for Mathematical Logic Phd jobs? Cities with the most Mathematical Logic Phd job openings:
What states have the most Mathematical Logic Phd jobs? States with the most job openings for Mathematical Logic Phd jobs include:
Research Scientist, HW/SW Co-Design (PhD)

Research Scientist, HW/SW Co-Design (PhD)

Meta

Menlo Park, CA

$122K/yr

Full-time

Posted 2 days ago


Meta rating

7.5

Company rating: 7.5 out of 10

Based on 43 frontline employees who took The Breakroom Quiz

117th of 184 rated software companies


Job description

Our teams’ mission is to explore, develop and help productionize high performance software & hardware technologies for AI at datacenter scale. We achieve this via concurrent design and optimization of many aspects of the system from models and runtime all the way to the AI hardware, optimizing across compute, network and storage. The team invests significantly into model optimization on existing accelerator systems and guiding the future of models and AI HW at Meta. This drives improved performance, new model architectures and reduces cost of ownership for all key AI services at Meta: Generative AI and Recommendations.This is an exciting space that spans exploration and productization, coupled with close collaborations with industry, academia, Meta’s Infrastructure and Product groups. Collaborating closely with product teams, the team's mode of operation is going from ideation and rapid prototyping, all the way to assisting productization of high leverage ideas, working with many partner teams to bring learnings from prototype into production.In addition to the real-world impact on billions of users of the Meta products, our team members have won Best Paper Awards at prestigious conferences such as ISCA, ASPLOS, SOSP, and OSDI, with multiple papers selected for IEEE Micro Top Picks. We regularly publish in ICML, NeurIPS, SC, HPCA, NSDI, VLDB, MLSys, and more. Overall, our work largely corresponds to the research communities of systems in general and especially systems for ML (MLSys, SOSP, OSDI, SIGCOMM, NSDI), hardware architecture (ISCA, ASPLOS), ML (NeurIPS, ICML, ICLR) and supercomputing (SC, ICS).We are seeking a Research Scientist to join our AI and Systems CoDesign Group. You will focus on cutting-edge research and development at the intersection of Generative AI workload analysis, model enablement, and co-designing the architecture for Meta's custom AI accelerators. This role involves exploring the theoretical underpinnings and practical implementation of novel hardware-aware mapping techniques to push the boundaries of AI efficiency and performance on Meta’s own silicon.
Research Scientist, HW/SW Co-Design (PhD) Responsibilities:
  • Pioneer hardware-software co-design efforts for Meta's custom AI silicon, focusing on programmability, performance, and power efficiency
  • Integrate new silicon and system technologies into Meta’s custom AI accelerator roadmap based on workload analysis and future model/GenAI requirements
  • Build system performance models and simulators to analyze options for Meta's custom datacenter infrastructure
  • Co-optimize deep learning kernels and primitives with hardware architects and internal compiler teams for maximum efficiency on Meta's hardware platform
  • Influence the hardware roadmap of Meta’s custom AI accelerators
  • Architect and implement advanced frameworks and tooling to facilitate comprehensive comparative analyses across diverse system architectures
  • Lead cross-functional initiatives spanning multiple engineering organizations to drive high-impact technical milestones
  • Publish research results in recognized conferences (e.g., NeurIPS, ICML, ICLR, ASPLOS, ISCA, HPCA, MLSys, Micro)

Minimum Qualifications:
  • Currently has, or is in the process of obtaining a PhD degree in Computer Science, Electrical Engineering, Applied Mathematics, relevant technical field, or equivalent practical experience. Degree must be completed prior to joining Meta
  • Theoretical background and practical experience with AI models (e.g., CNNs, Transformers, LLMs, Diffusion Models)
  • Research experience in one or more of the following areas: hardware-aware model enablement, performance modeling of AI systems or prevailing accelerators/silicon architectures
  • Experience in system-level performance analysis, profiling, and benchmarking of AI workloads
  • Hands-on proficiency with end-to-end AI hardware architecture or on-device mapping algorithm development, encompassing logic, architecture, and optimizations for performance, power, and area (PPA)
  • In-depth experience of Python and experience with at least one major AI framework
  • Track record of publishing research in peer-reviewed venues, with experience communicating technical results to both technical and non-technical stakeholders
  • Must obtain work authorization in country of employment at the time of hire, and maintain ongoing work authorization during employment
  • Currently has, or is in the process of obtaining a Bachelor's degree in Computer Science, Computer Engineering, relevant technical field, or equivalent practical experience. Degree must be completed prior to joining Meta

Preferred Qualifications:
  • Experience working with state-of-the-art performance modeling infrastructure, as well as contributing to AI model performance projections
  • Proven track record of achieving significant results as demonstrated by grants, fellowships, patents, as well as first-authored publications at leading workshops or conferences that are relevant to the position
  • Experience with deploying AI agents and prevalent techniques for increased efficiency
  • Familiarity with low-level programming for specialized hardware (e.g., CUDA, HIP, Triton) or hardware description languages (HDL)
  • Experience in co-designing hardware/software interfaces or influencing the architecture of custom silicon
  • Experience working and communicating cross-functionally in a team environment

About Meta:
Meta builds technologies that help people connect, find communities, and grow businesses. When Facebook launched in 2004, it changed the way people connect. Apps like Messenger, Instagram and WhatsApp further empowered billions around the world. Now, Meta is moving beyond 2D screens toward immersive experiences like augmented and virtual reality to help build the next evolution in social technology. People who choose to build their careers by building with us at Meta help shape a future that will take us beyond what digital connection makes possible today—beyond the constraints of screens, the limits of distance, and even the rules of physics.
Meta is proud to be an Equal Employment Opportunity and Affirmative Action employer. We do not discriminate based upon race, religion, color, national origin, sex (including pregnancy, childbirth, or related medical conditions), sexual orientation, gender, gender identity, gender expression, transgender status, sexual stereotypes, age, status as a protected veteran, status as an individual with a disability, or other applicable legally protected characteristics. We also consider qualified applicants with criminal histories, consistent with applicable federal, state and local law. Meta participates in the E-Verify program in certain locations, as required by law. Please note that Meta may leverage artificial intelligence and machine learning technologies in connection with applications for employment.
Meta is committed to providing reasonable accommodations for candidates with disabilities in our recruiting process. If you need any assistance or accommodations due to a disability, please let us know at accommodations-ext@meta.com.
$122,000/year to $181,000/year + bonus + equity + benefits
Individual compensation is determined by skills, qualifications, experience, and location. Compensation details listed in this posting reflect the base hourly rate, monthly rate, or annual salary only, and do not include bonus, equity or sales incentives, if applicable. In addition to base compensation, Meta offers benefits. Learn more about benefits at Meta.

What Meta employees say

Pay

Benefits

Hours and flexibility

Workplace

Get the full story on Breakroom