Applied Scientist — Formal Methods & Policy Verification
Primary stack
Job description
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.
© Go interactive. This job description was sourced from the employer's public career page. TheJob is not the employer — we index the posting and route candidates to the source. All content rights and hiring decisions belong to the employer.
Привіт!Ти маєш дещо знати проGoInteractive. Ми — американська компанія, що створює команди девелоперів в Україні для наших західних партнерів.На відміну від аутсорсу, де завдання приходять від різних замовників, у нас ти станеш повноцінним членом їх команди і працюватимеш виключно з їх продуктом.Ми співпрацюємо зі стартапами та компаніями з США, Великобританії та інших країн, що створюють продукти у таких сферах, поміж інших:CybersecurityHealthcareInsuranceTravel technologiesCustomer supportAssessment tools and more.Як це працює?Ти працюватимеш безпосередньо зі своєю командою; будеш брати участь у прийнятті важливих рішень; пропонувати і втілювати свої ідеї. Коротше, станеш важливою частиною корисного для користувачів та цікавого для розробників продукту.Ми не втручатимемось у процес, а будемо займатись всіма логістичними, адміністративними та бухгалтерськими питаннями, щоб позбавити тебе зайвого головного болю та щоб атмосфера у офісі давала можливість зосередитися на роботі або релакснути, коли це потрібно.Які ми?Ми делікатні і поважаємо кожну людину, її думки та потреби. Ми прагнемо бути кращими у всьому, що ми робимо. Ми любимо влаштовувати чемпи з тенісу та футболу, грати в настільні ігри, блефувати в покері та співати на вечірках.У нас ти не знайдеш монотонної роботи, бюрократії чи зайвих ланок менеджменту.We are the people company.Join us!
More at Go interactive
All 28 rolesSenior Linux Endpoint Engineer
Go interactive · Ukraine +1
Інженер-конструктор (БпЛА / MilTech)
Go interactive · Kyiv +1
Оператор БпЛА
Go interactive · Kyiv
MacOS Endpoint Engineer
Go interactive · Ukraine