Jane Street est une société de trading et de tenue de marché qui s'appuie sur la recherche quantitative et le développement logiciel.
Formal Methods Engineer
Jane Street recrute un Formal Methods Engineer pour créer une nouvelle équipe dédiée aux méthodes formelles à Londres. Le poste combine recherche et ingénierie logicielle, avec un intérêt pour les assistants de preuve, les prouveurs automatiques et l’analyse statique.
Repères sur Jane Street
- Domaine officiel
- janestreet.com
- Offres ouvertes
- 64
Détails de l’offre
La description complète publiée par Jane Street.
About the Position We're looking for software engineers and researchers to establish a new Formal Methods team at Jane Street. With the emergence of agentic programming, we think formal methods will play a major role in providing feedback for agents and helping validate agent-generated code. Our vision is to make formal methods as useful a tool for building software as type systems are for us today, both by leveraging existing tools and technology, and pursuing novel approaches. We're looking to build a new team with engineers who have: - Deep experience with formal methods.
There's no specific checklist. We're broadly interested in people with backgrounds in interactive proof assistants, automated theorem provers, static analysis, refinement types, program logics, property-based testing, and related areas. - Top-notch software engineering skills. We're looking for people who can turn cutting-edge research ideas into practical tools, and get these tools in use across the firm and beyond. - Strong interpersonal skills. Software engineering at Jane Street is highly collaborative, and we're looking for people who can work effectively in small, close-knit teams.
We are interested in exploring a wide variety of approaches. While we are eager to integrate new tools into our existing infrastructure, no previous experience with OCaml or functional programming is required. Why do it here? The whole world is thinking about what agents mean for the future of programming, and there's no shortage of efforts trying to mix formal methods and agents. But think there are things about Jane Street that make this a unique opportunity. First, we have deep control of the language we're using, which lets us shape it into a better home for proof-oriented techniques.
We can adjust the language and the proof system at the same time in ways that aren't possible when you have to take the language as given. Second, we have a community of programmers who are eager to adopt new tools, and have the right intellectual toolkit to do so. That community is an unparalleled source of both feedback and leverage for the work we do here. We're in the early stages of building this team, with an enormous amount of work ahead of us, and we'd love you to be a part of it.
If you're a recruiting agency and want to partner with us, please reach out to [email protected] .
Prérequis
- Deep experience with formal methods
- Top-notch software engineering skills
- Strong interpersonal skills
Candidater à cette offre
Comment candidater ?
L’offre est publiée sur le site de Jane Street. Ouvrez l’offre originale ↗ pour y déposer votre candidature. Screeningpass ne remplit pas de formulaire à votre place.
À qui écrire chez Jane Street pour ce poste ?
Lancez une recherche de contact depuis cette page. Screeningpass vous propose jusqu’à trois personnes liées au poste. Vous choisissez celle à qui écrire, puis Screeningpass cherche son e-mail professionnel et prépare un message. Vous le relisez et l’envoyez vous-même avec Gmail. Une adresse e-mail n’est pas toujours disponible, et une réponse n’est jamais garantie.
Combien coûte la recherche d’un contact ?
Une recherche coûte 1 crédit. Le crédit vous est rendu si la recherche échoue. L’inscription offre 3 crédits, soit 3 recherches.
À quoi sert Screeningpass ?
Screeningpass rassemble des offres de stage, d’alternance et d’emploi publiées par les entreprises. Pour une offre, Screeningpass trouve une personne à contacter dans l’entreprise, cherche son e-mail professionnel et prépare un message à partir de votre CV. Voir le fonctionnement en détail.
D’autres offres chez Jane Street
63 autres offres actuellement disponibles.
Le stage se déroule au sein du groupe Formal Methods de l’équipe OCaml Language de Jane Street, à Londres. Vous contribuerez à des outils de vérification formelle pour OCaml, par exemple au test fondé sur les propriétés ou aux types de raffinement. Le poste s’adresse à des doctorants, postdoctorants et étudiants en master ayant une expérience de recherche en vérification de programmes ou dans des domaines connexes.
Jane Street recrute un·e Machine Learning Compiler Engineer au sein d’une nouvelle équipe dédiée aux compilateurs ML. Le poste consiste à développer la stack de compilation pour accélérer l’entraînement et l’inférence, avec des technologies comme PyTorch, JAX, TensorFlow, Triton et CUDA.
Jane Street recherche un AML and Onboarding Analyst pour rejoindre son équipe Legal and Compliance à Londres. Le poste couvre l’onboarding des contreparties, les screenings AML, les questionnaires AML/KYC et les mises à jour KYC. Une expérience en AML ou en documentation d’entreprise est souhaitée, avec un anglais courant à l’oral comme à l’écrit.
Jane Street recrute un Compliance Analyst au sein de l’équipe Regulatory Disclosures and Reporting à Londres. Le poste couvre le suivi des obligations de reporting réglementaire au Royaume-Uni et dans l’Union européenne, l’analyse des nouvelles réglementations et l’amélioration des outils de conformité.
Jane Street recrute un spécialiste de la sécurité informatique au sein de son équipe IT Security à Londres, avec un focus sur la sécurité Windows et macOS. Le poste consiste notamment à déployer des contrôles de sécurité, gérer les vulnérabilités, répondre aux incidents et automatiser les tâches avec PowerShell.