Applied Scientist — Formal Methods & Policy Verification

About the Position

Our client is a global enterprise software provider, serving over 1,500 customers across financial services, government, media, and IT. They offer enterprise-grade PostgreSQL solutions, managed cloud services, and 24/7 support, enabling application modernization, database migration from legacy systems, and hybrid/multi-cloud deployments. Their platform unifies transactional, analytical, and AI workloads while ensuring security, compliance, and high availability, with built-in AI capabilities.

We are looking for an Applied Scientist who will build and verify formal guarantees for agent behavior against governance policy using SMT-based methods. Candidates must be based in EU or the USA.

Responsibilities

• Encode governance policies as formal specifications; verify agent/action compliance using Z3 or comparable SMT solvers
• Design proof strategies for policy conformance checks integrated into the audit/escalation pipeline
• Work with the config/extensibility layer so verification rules stay plug-and-play as policies change

Requirements

• Applied experience with Z3 or equivalent SMT solvers
• Formal verification / policy verification background
• SQL/Postgres fluency
• Security mindset; comfort operating in fully audited environments
• English level - Upper intermediate

Nice to Have

• Experience with agent/LLM action-space modeling
• Prior work translating natural-language policy into formal constraints

We Offer

• Fully remote work
• A professional, supportive, and friendly team
• Long-term employment with competitive compensation, based on experience
• Continuous knowledge sharing with engaged co-workers

About the Company

Our client is a global enterprise software provider, serving over 1,500 customers across financial services, government, media, and IT. They offer enterprise-grade PostgreSQL solutions, managed cloud services, and 24/7 support, enabling application modernization, database migration from legacy systems, and hybrid/multi-cloud deployments. Their platform unifies transactional, analytical, and AI workloads while ensuring security, compliance, and high availability, with built-in AI capabilities.