Research Engineer

1 week ago


Palo Alto, United States Harmonic Full time

Harmonic is a seed-stage AI startup building the world’s most advanced mathematical reasoning engine. We are building an elite team and are backed by some of the world’s most prominent investors. We are seeking a highly motivated and skilled Research Scientist to join our AI & Formal Methods team. The initial focus of this position will be on advancing mathematical theorem proving using cutting-edge AI techniques. The successful candidate will play a key role in developing new algorithms and models that integrate AI with formal methods to solve complex problems in theorem proving and beyond. Key Responsibilities

Conduct high-quality research in the intersection of AI and formal methods, with a focus on mathematical theorem proving. Develop and implement novel AI algorithms and models for theorem proving. Collaborate with a multidisciplinary team to integrate AI techniques with formal methods. Stay abreast of the latest developments in AI, formal methods, and related fields. Requirements

PhD in Computer Science, Mathematics, or a related field. Strong background in AI, particularly in areas relevant to theorem proving (e.g., machine learning, natural language processing). Proficiency in formal methods, including experience with theorem proving systems. Proven track record of high-quality research demonstrated by publications, patents, or software contributions. Excellent programming skills and experience with machine learning frameworks. Strong analytical and problem-solving skills. Excellent communication and collaboration skills. Preferred Qualifications

Postdoctoral or industry experience in a related field. Experience in applying AI to solve practical problems in formal methods. Contributions to open-source projects or development of software tools in the field. We are an equal opportunity employer and do not discriminate on the basis of race, religion, national origin, gender, sexual orientation, age, veteran status, disability or any other legally protected status.

#J-18808-Ljbffr


  • Research Engineer

    1 week ago


    Palo Alto, United States Pika 1.0 Full time

    ROLE: RESEARCH ENGINEER Summary: As a Research Engineer specializing in Machine Learning and Systems Engineering at our company, you will be instrumental in pioneering sophisticated AI solutions. This role demands a unique blend of leadership in conducting end-to-end research projects and technical expertise in building scalable systems. You'll be part of an...


  • Palo Alto, United States CareerBuilder Full time

    Job Description: We are looking for a Speech Research Engineer to work on cutting-edge speech recognition, synthesis, and voice cloning models. You will leverage advanced transformer architectures to build multilingual, robust, and scalable speech AI systems. Responsibilities: 1. Research and develop state-of-the-art end-to-end speech recognition models...


  • Palo Alto, United States Character Full time

    About us Characters mission is to empower everyone with AGI. Our vision is to enable people with our technology so that they can use Character.AI any moment of any day.Achieving our mission will require solving ambitious technical challenges, including engineering, research, and design, and we are assembling a world-class team to do so. Our founding team...


  • Palo Alto, United States Character Full time

    About us Character’s mission is to empower everyone with AGI. Our vision is to enable people with our technology so that they can use Character.AI any moment of any day. Achieving our mission will require solving ambitious technical challenges, including engineering, research, and design, and we are assembling a world-class team to do so. Our founding team...

  • Research Engineer

    5 days ago


    Palo Alto, United States Character Full time

    About us Characters mission is to empower everyone with AGI. Our vision is to enable people with our technology so that they can use Character.AI any moment of any day.Achieving our mission will require solving ambitious technical challenges, including engineering, research, and design, and we are assembling a world-class team to do so. Our founding team...


  • Palo Alto, United States AIMon Full time

    We're seeking a talented and experienced ML Engineer who thrives in researching and implementing high-performance ML solutions that can handle massive scale. You'll play a key role in designing, developing, and deploying next-generation applications that unlock the reliable adoption of Generative AI technologies. Traits : The ideal candidate will possess the...

  • LLM Research Engineer

    Found in: Appcast US C2 - 2 weeks ago


    Palo Alto, United States CHAI: AI Platform Full time

    AI Research Engineer (LLM Optimization)$250-350K | PALO ALTO, CAChai is one of the fastest-growing, generative AI startups in Silicon Valley. YouTube but for LLM's - we have over 1 million active users.Who we are looking for:We need a relentless engineer with 3+ years of experience overseeing and being responsible for optimizing our LLMs. Ensuring they are...

  • LLM Research Engineer

    Found in: Appcast Linkedin GBL C2 - 2 weeks ago


    Palo Alto, United States CHAI: AI Platform Full time

    AI Research Engineer (LLM Optimization)$250-350K | PALO ALTO, CAChai is one of the fastest-growing, generative AI startups in Silicon Valley. YouTube but for LLM's - we have over 1 million active users.Who we are looking for:We need a relentless engineer with 3+ years of experience overseeing and being responsible for optimizing our LLMs. Ensuring they are...

  • Research Engineer

    1 week ago


    Palo Alto, United States Character Full time

    About us Character’s mission is to empower everyone with AGI. Our vision is to enable people with our technology so that they can use Character.AI any moment of any day. Achieving our mission will require solving ambitious technical challenges, including engineering, research, and design, and we are assembling a world-class team to do so. Our founding team...

  • Research Leader

    Found in: Jooble US O C2 - 2 weeks ago


    Palo Alto, CA, United States Electric Power Research Institute, Inc. Full time

    Research Leader – Power System Climate Resilience and Adaptation page is loaded Research Leader – Power System Climate Resilience and Adaptation Apply locations Remote/Home Based Dallas, TX Charlotte, NC Palo Alto, CA time type Full time posted on Posted 4 Days Ago job requisition id REQ-3166 Job Title: Research Leader – Power System Climate...

  • Senior Machine Learning Engineer/Researcher at PlayHT

    Found in: beBee jobs US - 2 weeks ago


    Palo Alto, California, United States PlayHT Full time

    About Us:PlayHT is at the forefront of generative voice and conversational LLMs. With our Speech Synthesis and Voice Cloning models, we are building the SOTA conversational AI products.We are building a platform and infrastructure for Conversational AI Voice Agents so that every business, developer, or tinkerer can easily build talking human-like AI agents...


  • Palo Alto, United States Acceler8 Talent Full time

    About the Company: We are a well-funded Stanford Spinout, based in Palo Alto, on a mission to redefine efficiency and affordability in hardware engineering. We are already partnered with some of the world's largest semiconductor companies and are rapidly expanding our customer base... As a company, we are dedicated to revolutionizing the hardware engineering...

  • Founding Applied Machine Learning Researcher

    Found in: Appcast US C2 - 2 weeks ago


    Palo Alto, United States Acceler8 Talent Full time

    About the Company: We are a well-funded Stanford Spinout, based in Palo Alto, on a mission to redefine efficiency and affordability in hardware engineering. We are already partnered with some of the world's largest semiconductor companies and are rapidly expanding our customer base...As a company, we are dedicated to revolutionizing the hardware engineering...

  • Founding Applied Machine Learning Researcher

    Found in: Appcast Linkedin GBL C2 - 2 weeks ago


    Palo Alto, United States Acceler8 Talent Full time

    About the Company: We are a well-funded Stanford Spinout, based in Palo Alto, on a mission to redefine efficiency and affordability in hardware engineering. We are already partnered with some of the world's largest semiconductor companies and are rapidly expanding our customer base...As a company, we are dedicated to revolutionizing the hardware engineering...


  • Palo Alto, United States Acceler8 Talent Full time

    About the Company: We are a well-funded Stanford Spinout, based in Palo Alto, on a mission to redefine efficiency and affordability in hardware engineering. We are already partnered with some of the world's largest semiconductor companies and are rapidly expanding our customer base...As a company, we are dedicated to revolutionizing the hardware engineering...

  • UX Research Manager

    Found in: beBee jobs US - 2 weeks ago


    Palo Alto, California, United States SAP Full time

    We help the world run better At SAP, we enable you to bring out your best. Our company culture is focused on collaboration and a shared passion to help the world run better. How? We focus every day on building the foundation for tomorrow and creating a workplace that embraces differences, values flexibility, and is aligned to our purpose-driven and...

  • UX Research Manager

    Found in: beBee jobs US - 2 weeks ago


    Palo Alto, California, United States SAP Full time

    We help the world run betterAt SAP, we enable you to bring out your best. Our company culture is focused on collaboration and a shared passion to help the world run better. How? We focus every day on building the foundation for tomorrow and creating a workplace that embraces differences, values flexibility, and is aligned to our purpose-driven and...

  • Clinical Researcher

    1 week ago


    Palo Alto, United States LVIS Full time

    Job DescriptionJob DescriptionCompany DescriptionLVIS Corporation is on a mission to revolutionize the entire continuum of neurological care by developing AI driven software tools to help physicians accelerate patient throughput and improve patient diagnostic and treatment outcomes. We have an international team with our headquarters located in Palo Alto,...

  • Clinical Researcher

    2 days ago


    Palo Alto, United States LVIS Full time

    Job DescriptionJob DescriptionCompany DescriptionLVIS Corporation is on a mission to revolutionize the entire continuum of neurological care by developing AI driven software tools to help physicians accelerate patient throughput and improve patient diagnostic and treatment outcomes. We have an international team with our headquarters located in Palo Alto,...

  • Senior Machine Learning Engineer/Researcher at PlayHT

    Found in: beBee S US - 2 weeks ago


    Palo Alto, United States Play Full time

    About Us: PlayHT is at the forefront of generative voice and conversational LLMs. With our Speech Synthesis and Voice Cloning models, we are building the SOTA conversational AI products. We are building a platform and infrastructure for Conversational AI Voice Agents so that every business, developer, or tinkerer can easily build talking human-like AI agents...