OCaml Developer - Palo Alto - Ahrefs

    Ahrefs
    Ahrefs Palo Alto

    3 days ago

    Description

    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 petabytes of live data, OCaml and Linux on a daily basis.
    Ahrefs OCaml
    Basic Requirements:

    • Proficiency in OCaml
    • Knowledge of C++ is a plus but not essential
    The ideal candidate is expected to:
    • Independently deal with bugs, schedule tasks and investigate code
    • Make well-reasoned technical choices and take responsibility for them
    • Understand the whole technology stack at all levels: from network and user-space code to OS internals and hardware
    • Handle full development cycle of a single component i.e. formalize task, write code and tests, setup and support production, resolve user requests
    • Approach problems with a practical mindset and suppress perfectionism when time is a priority
    • Write flexible, maintainable code and adapt to post-launch requirements/tweaks
    These requirements stem naturally from our approach to development with fast feedback cycle, highly-focused personal areas of responsibility and strong tendency to vertical component splitting.
    If your preference is leaning towards making the web functional and working on user-facing stuff, you may want to consider our ReasonML position instead.
    What You Get
    We offer:
    • Competitive compensation package
    • Informal and thriving work atmosphere
    • Above-average perks and fringe benefits
    • [Office] First-class workplace (hardware, software, etc) in the modern office
    • [Remote] Hardware allowance

  • Backend Engineering Intern

    5 days ago

    Only for registered members Palo Alto

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

  • Ontology Engineer — Formal Verification

    4 weeks ago

    Only for registered members San Francisco Bay Area

    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. · ...

  • Senior Program Analysis Software Engineer

    1 week ago

    Only for registered members San Francisco Full time $160,000 - $207,000 (USD)

    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 ...

  • Ontology Engineer — Formal Verification

    4 weeks ago

    Only for registered members San Francisco

    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 ...

  • Ontology Engineer — Formal Verification

    4 weeks ago

    Only for registered members San Francisco Full time

    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 ...

  • Intern, R&D Undergraduate Summer

    4 weeks ago

    Only for registered members Livermore

    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 ...

  • Intern, R&D Graduate Year Round

    2 weeks ago

    Only for registered members Livermore

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

  • Intern, R&D Undergraduate Summer

    4 weeks ago

    Only for registered members Livermore, CA

    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 ...

  • Senior Software Engineer

    17 hours ago

    Only for registered members US - San Francisco Bay

    We're looking for a Senior Software Engineer to join our AI Research & Solutions group. As a seasoned contributor, you'll build core systems that power enterprise AI agents. · ...

  • Intern, R&D Graduate Year Round

    2 weeks ago

    Only for registered members Livermore, CA

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

Jobs
>
Palo Alto