Research Scientist, Formal Methods & AI Security (all genders)

Make AI privacy provable: define, measure and prove what AI agents can leak when they reason over confidential data.

About Serinyx

Serinyx builds AI for high-stakes decisions on confidential data. On our decision-intelligence platform, AI agents break a hard question down, research it with checked citations and debate the findings under human review. The result is a verified, cited and signed report. Our second product gives universities and research institutes an always-current, AI-built view of their research. We were founded in Saarbrücken in 2026 and are now building our engineering team.

The role

You lead our research on AI agents that reason over confidential data across organisations without leaking it. You define what “no leakage” means, how to measure it and how to prove it. You also design the secure link between a private deployment on a customer’s own servers and our public cloud platform, which a distributed-systems engineer in the team builds.

Why this role

• An open problem where formal methods, cryptography and LLMs meet.
• Your theory goes straight into a working system, built by an engineer in the team.
• You lead the research agenda and write up the results for a peer-reviewed venue.

What you will do in your first year

• Define, formally, a measurable bound on what a debate between AI agents can leak, and build and validate an estimator for it.
• Design the link between the private and public sides: the protocol agents use to exchange arguments across it, and the proof that protected data cannot cross it directly.
• Design, with our CTO, how the checks that protect confidential data can be proven to an outside auditor.
• Set the measurement method, run the main leakage measurements and write up the results for a peer-reviewed venue.

What you bring

• A PhD (or a submitted thesis) in computer science, security, cryptography or a related field.
• Formal methods or information-flow control: non-interference, security type systems, protocol verification.
• Statistics for estimation: confidence bounds, variance reduction.
• Publications at strong security, formal-methods or machine-learning venues.
• Enough Python to build and run your own experiments.

Nice to have

Zero-knowledge proofs; multi-agent LLM systems; Tamarin, ProVerif, TLA+, Lean or Coq.

How we work

• One team, one backlog. Everyone builds from day one and works directly with our CTO, Dr Raja Naeem Akram.
• Owners, not ticket-takers. Each engineer owns parts of the codebase and leads the AI coding agents working in them: writing their work orders, reviewing every pull request and deciding what merges.
• A typical week. Much of your time goes into specifying and reviewing work done by AI coding agents; the hardest parts you write yourself.
• AI agents take the routine platform work. Infrastructure, deployment and monitoring are done by AI agents under engineering review, so your time goes into design and the hard problems. You still own what you build once it is live.
• Quality is part of the job. You write the tests for your own work and keep CI green. Done means tests pass, security scans are clean, docs are updated and container images are signed.
• Two-week cycles. Planning on day one, a demo on day ten and a short written retro.
• English first. English is our working language; German is welcome but not required.

What we offer

• Real ownership. An early role in a small team: you shape the product, the code and how we work, not a ticket queue.
• A modern stack. Python, FastAPI, Temporal, Kubernetes, React with TypeScript, and the best AI models for each task.
• Fully remote work.
• 30 days of holidays per year.
• International applicants welcome. If you come from outside the EU, we support you through the work-permit process, usually the EU Blue Card.

How to apply

Send your CV and one link that shows your work (code, a paper or a project you built) to contact@serinyx.com with the job title in the subject line. English or German is fine. The process has three steps: a call with our CTO, a technical interview on a problem typical of the role, with your usual AI tools, and a conversation with the founders.

Equal opportunity

• We welcome applications from everyone, whatever their ethnic origin, gender, religion or belief, disability, age or sexual identity. You don’t need to include a photo or your date of birth.