OCaml Developer - Palo Alto - Ahrefs

Ahrefs is looking for a backend developer with deep understanding of networks, distributed systems, OS fundamentals and taste for simple and efficient architectural designs. Our backend is mostly implemented in OCaml with some C++. · In this role, be prepared to deal with 25 peta ...

To ensure someone can be effectively supported throughout the intern we cn only look to hire an intern in either Singapore or in Europe. · ...

Are you interested in solving complex problems that are geared towards improving the privacy of people using Meta's family of apps? Do you have an adversarial mindset and are excited about investigating and analyzing potential threats? Come join us at Meta · Meta is seeking a Se ...

Are you interested in solving complex problems that are geared towards improving the privacy of people using Meta's family of apps? Do you have an adversarial mindset and are excited about investigating and analyzing potential threats? Come join us at Meta Meta is seeking a Secur ...

Are you interested in solving complex problems that are geared towards improving the privacy of people using Meta's family of apps? Do you have an adversarial mindset and are excited about investigating and analyzing potential threats? Come join us at Meta Meta is seeking a Secur ...

We are seeking an Ontology Engineer specializing in Formal Verification and Automated Reasoning to define and maintain the formal semantic foundations of complex software and AI-driven systems. · ...

Semgrep empowers invention without friction by securing code as it's written and providing guardrails that pave the road for developers to move fast and stay secure. · You'll work on the beating heart of our business - the world-class Semgrep engine that analyzes source code to d ...

About Semgrep · Semgrep, the leader in code security for builders, empowers invention without friction. Teams catch, flag, and fix real issues before they ship, powered by security that learns as they build. Semgrep secures code as it's written and provides guardrails that pave t ...

We are seeking an Ontology Engineer specializing in Formal Verification and Automated Reasoning to define and maintain the formal semantic foundations of complex software and AI-driven systems. · Design ontological models that serve as the source of truth for formal specification ...

About Semgrep · Semgrep, the leader in code security for builders, empowers invention without friction. Teams catch, flag, and fix real issues before they ship, powered by security that learns as they build. Semgrep secures code as it's written and provides guardrails that pave t ...

We're building AI systems with general physical ability — the capacity to experiment, engineer, or manufacture anything. We believe achieving this is a key step towards building superintelligence. · Strong experience in ontology engineering or knowledge representation. · Ability ...

We are seeking a summer R&D undergraduate intern to help with our formal methods research and development. · As an intern in Sandia's Digital Foundations and Mathematics Department, you will help advance formal methods computer science projects under the direction of Sandia techn ...

We are looking for passionate talented and motivated people to join us in helping our customers build deploy and scale apps agents fast helping them accelerate innovation while enabling secure governed human-AI collaboration. · ...

We are seeking a year-round graduate level intern to help with our formal methods research and development. · ...

We are seeking a summer R&D undergraduate intern to help with our formal methods research and development. · Currently attending and enrolled full time in the spring term immediately preceding the internship (or scheduled to graduate in the spring) in an accredited undergraduate ...

What Your Job Will Be Like · We are seeking a year-round, graduate level intern to help with our formal methods research and development. As an intern in Sandia's 8740 Group, you will help advance formal methods computer science projects under the direction of Sandia technical st ...

We are seeking a year-round graduate level intern to help with our formal methods research and development. · ...

There are NO limits to your career: come shape the future and be part of a truly unique global culture at OutSystems · Hybrid role requiring three days per week on-site in Menlo Park. · Join the AI Research & Solutions Group · As a **Senior Software Engineer** in the AI Research ...