Senior Program Analysis Engineer, Code - Remote

Semgrep

1 week ago

Semgrep

Program Analysis

Static Analysis

Software Development

Functional Programming

Join Semgrep as a Senior Program Analysis Engineer to enhance security tools and mentor junior developers.

Join o1Labs as a Crypto Research Intern to work on innovative cryptographic projects in a remote setting.

Program Analysis Engineer - Remote

Semgrep

13 weeks ago

Semgrep

Program Analysis

Static Analysis Tools

Compiler Development

Functional Programming

Join Semgrep as a Program Analysis Engineer to enhance code analysis capabilities and improve supply chain security.

Program Synthesis Engineering - Remote

PlantingSpace

22 weeks ago

PlantingSpace

Program Synthesis

Software Engineering

Algorithms

Bayesian Statistics

Join our team as a software engineer to build an innovative AI program synthesis pipeline.

OCaml Developer - Remote

Ahrefsjobs

25 weeks ago

Ahrefsjobs

OCaml

C++

Linux

Distributed Systems

Ahrefs is seeking a backend developer proficient in OCaml to work with large-scale data and contribute to efficient architectural designs.