-
Research Associate, Protein Engineering
6 days ago
Stanford University Stanford, United States**SCHOOL/UNIT DESCRIPTION**: · Sarafan ChEM-H is an interdisciplinary institute focused on connecting Chemistry, Engineering, and Medicine for Human Health. The institute was founded as a joint venture of the Schools of Medicine, Engineering, and Humanities and Sciences. The prox ...
-
Research Engineer
2 days ago
SAIGroup Palo Alto, United StatesAbout SAI Group · SAI Group is a private investment firm that has committed $1 billion to incubate and scale revolutionary AI-powered enterprise software application companies. Our portfolio, a testament to our success, comprises rapidly growing AI companies that collectively cat ...
-
Research Engineer
1 week ago
Pika 1.0 Palo Alto, United StatesROLE: 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 researc ...
-
Research Engineer
6 days ago
SAI Group Inc Defunct Palo Alto, United StatesAbout SAI Group · SAI Group is a private investment firm that has committed $1 billion to incubate and scale revolutionary AI-powered enterprise software application companies. Our portfolio, a testament to our success, comprises rapidly growing AI companies that collectively ca ...
-
Research Engineer
1 week ago
Character Palo Alto, United StatesAbout 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, r ...
-
Research Engineer
1 week ago
Altera Menlo Park, United StatesCompany Overview: At Altera.AL, our mission is to build digital humans that can live, love, and grow with us. We are at the forefront of developing AI agents that can interact autonomously and collaboratively with people. Currently, we are making strides in the gaming world with ...
-
Research Engineer
2 days ago
META Menlo Park, United StatesSummary: · Meta Reality Labs is looking for a Research Engineer to help us unleash human potential by eliminating the bottlenecks between intent and action. To achieve this, we're building a practical neural interface drawing on the rich neuromotor signals that can be measured no ...
-
Research Engineer
1 week ago
Meta Inc Menlo Park, United StatesMeta Reality Labs is looking for a Research Engineer to help us unleash human potential by eliminating the bottlenecks between intent and action. To achieve this, we're building a practical neural interface drawing on the rich neuromotor signals that can be measured non-invasivel ...
-
Research Engineer
1 week ago
META Menlo Park, United States**Summary:** · Meta Reality Labs is looking for a Research Engineer to help us unleash human potential by eliminating the bottlenecks between intent and action. To achieve this, we're building a practical neural interface drawing on the rich neuromotor signals that can be measure ...
-
Research Engineer
1 week ago
Acceler8 Talent Menlo Park, United StatesResearch Engineer (GPU Kernels) · Are you an experienced professional in high-performance computing? If so, we have an exciting opportunity for you Our team is seeking individuals who are passionate about advancing technology to join us in developing cutting-edge algorithms and ...
-
Research Engineer
1 week ago
Character Technologies Menlo Park, United StatesAbout the roleAs a passionate data miner, you wield big data tools and visualization software to line up research developments. You love uncovering interesting subsets of data, creating clear dashboards to communicate your findings, and proposing ideas for unexplored opportunitie ...
-
Research Engineer
1 week ago
Character Technologies Menlo Park, United StatesAbout the roleAs a passionate data miner, you wield big data tools and visualization software to line up research developments. You love uncovering interesting subsets of data, creating clear dashboards to communicate your findings, and proposing ideas for unexplored opportunitie ...
-
Research Engineer
6 days ago
SRI International Menlo Park, United StatesOverview: · The Space & Survivability Lab is seeking an enthusiastic Research Engineer, Computational Antenna Design to join our team on-site at SRI Internationals Menlo Park, California headquarters. This person will have the opportunity to make important contributions to on-go ...
-
Research Engineer
1 week ago
META Menlo Park, United StatesMeta is seeking a Research Engineer with a background in computer vision to join our Fundamental AI Research (FAIR) Team, a research organization focused on making significant progress in AI. We address fundamental research challenges and explore creative new experiences that the ...
-
Research Engineer
5 days ago
Character AI Menlo Park, United StatesAbout the role · We are looking for people with solid engineering and machine learning skills to drive the research required for pushing the boundaries of artificial intelligence. · Requirements: · * 5+ years' experience with deep learning frameworks like Pytorch, Tensorflow, ...
-
Research Engineer
1 week ago
SRI International Menlo Park, United States· Research Engineer - Computational Antenna Design · Job Locations · US-CA-Menlo Park · ID · Category · Engineering · Position Type · Full-Time · Worker Type · On-Site · Overview · The Space & Survivability Lab is seeking an enthusiastic Research Engineer, Computational Antenna ...
-
Research Engineer
5 hours ago
Acceler8 Talent Menlo Park, United StatesResearch Engineer (GPU Kernels) · Are you an experienced professional in high-performance computing? If so, we have an exciting opportunity for you Our team is seeking individuals who are passionate about advancing technology to join us in developing cutting-edge algorithms and ...
-
Research Engineer
1 week ago
Character Technologies Menlo Park, United StatesAbout the roleAs a passionate data miner, you wield big data tools and visualization software to line up research developments. · Apply (by clicking the relevant button) after checking through all the related job information below. · You love uncovering interesting subsets of d ...
-
Research Engineer
1 week ago
Character Menlo Park, United StatesJoining us as a Safety and Alignment Research Engineer on the Post-Training team, you'll be building tools to align our models and making sure they meet the highest standards of safety in the real world. · As increasingly powerful AI models get deployed, building tools to align ...
-
Research Engineer
2 weeks ago
Character AI Menlo Park, United StatesAbout the role · We are looking for people with solid engineering and machine learning skills to drive the research required for pushing the boundaries of artificial intelligence. · Requirements: · * 5+ years' experience with deep learning frameworks like Pytorch, Tensorflow, ...
Research Engineer - Palo Alto, United States - Harmonic
Description
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 ResponsibilitiesConduct 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