• Develop and maintain R packages that enable clinical trial team through supporting data engineering, statistical analyses, automation, and reporting workflows • Design, build and deploy Shiny applications for interactive dashboards and data exploration tools • Collaborate with statistical programmers and statisticians, and clinical reporting teams to understand requirements and translate them into efficient, reproducible code and tools • Apply AI responsibly to support product design and development focusing on reliable, explainable, and impactful use in development workflows and solutions • Drive the rollout of tooling through demos, pilots, training and support • Engagement in the user experience of our users to identify and drive opportunities for continuous improvement and modernization • Role model best practices for data science and software development • Documentation of tools and processes to support modernization in an inclusive manner • Appetite to engage in open-source communities to collaborate in external settings

Role Description We’re looking for a Senior Software Engineer with deep experience in static analysis and systems engineering to own and evolve our core analysis platform. At Kai, we build advanced static analysis technology that helps engineering and security teams determine which vulnerabilities are actually reachable and exploitable in production - not just flagged by dependency scans. Our engine works at the IR and bytecode layers, tracing control flow and data flow across large codebases to cut false positives and improve how teams prioritize risk. We support Java and Go today, with analysis built for real-world complexity: reflection, indirect calls, dynamic dispatch, and cross-package flows. In this role, you’ll be a technical decision-maker on how that platform grows - shaping analysis architecture, defining what reachability and exploitability mean in practice, and balancing precision, coverage, and performance as we scale. Qualifications - 7+ years of software engineering experience, with 4+ years in static analysis, program analysis, compiler infrastructure, or closely related domains. - Deep understanding of core program analysis concepts: - Control-flow and data-flow analysis - Call graph construction - Inter-procedural analysis - Taint tracking and reachability analysis - Hands-on experience working with IRs, bytecode, ASTs, or compiler/analysis pipelines - not just using tools, but understanding how analysis is built. - Strong programming skills in Java, Go, C++, or comparable systems/backend languages, with comfort working across analysis engine codebases. - Practical experience handling real-world language and runtime complexity - reflection, dynamic dispatch, indirect calls, and framework-specific behavior. - Experience building scalable analysis or backend systems for large, production codebases, with attention to performance and reliability. - Technical judgment and ownership - able to make architecture and trade-off decisions, drive design direction, and work effectively with minimal oversight. - Comfort operating in a fast-moving startup environment, balancing depth of analysis with shipping velocity and product impact. Requirements - Deep experience with LLVM, MLIR, SSA-based analysis, or comparable compiler/analysis IRs—and judgment on when to build vs. integrate existing frameworks. - Background in application security or vulnerability analysis, with practical understanding of reachability, exploitability, and how security teams triage and remediate findings. - Experience building developer tooling, compilers, or security infrastructure at scale—where correctness, performance, and usability all matter. - Familiarity with program analysis research, with interest in applying academic advances to real-world codebases and product constraints. - Track record of technical leadership - architecture decisions, design reviews, mentoring, or driving cross-functional initiatives in complex engineering domains. What You’ll Do - You’ll be a technical decision-maker on our static analysis platform: defining how we analyze code at scale, what “reachable” and “exploitable” mean in practice, and where we invest for accuracy, coverage, and performance. - Own the technical direction of our static analysis stack—from IR/bytecode analysis through inter-procedural CFG and data-flow systems—and make principled trade-offs between precision, scalability, and time-to-ship. - Define and evolve reachability and exploitability models for application and dependency vulnerabilities, aligning analysis outputs with how security teams prioritize and remediate risk. - Set standards for analysis quality across complex real-world patterns (reflection, dynamic dispatch, indirect calls, framework-specific behavior) and decide which gaps to solve with deeper analysis vs. heuristics vs. ecosystem integration. - Drive language and runtime expansion by evaluating coverage gaps, sequencing language support, and choosing the right abstractions so new languages don’t require reinventing the core engine. - Lead performance and scalability initiatives for enterprise-scale codebases—profiling bottlenecks, shaping architecture for parallel/distributed analysis, and establishing measurable targets for throughput and resource use. - Partner with security researchers to translate emerging threat models and vulnerability classes into concrete analysis capabilities, test cases, and product requirements. - Collaborate with platform engineers on APIs, CI/CD integration, and developer workflows so analysis results are actionable in production pipelines—not just technically correct. - Guide engineering execution through design reviews, technical specs, and hands-on prototyping; mentor engineers on program analysis concepts and our analysis architecture. - Identify and champion patentable and foundational innovations that strengthen our long-term technical moat in code security analysis.

• Perform mainframe database Software upgrades coupled with administration and tuning to support customers’ Software AG ADABAS environments. • Work with vendor personnel to achieve timely solutions of database problems. • Responsible for day-to-day database maintenance such as database definition changes, backups and restores, monitoring space growth, database reorganizations, creating and maintaining disaster recovery procedures and overall support of customer needs and requests. • Perform a variety of tasks including database optimization, database performance reviews and tuning, and new client onboarding. • Provide 24x7 on call support as part of a scheduled rotation with other team members. • Maintain documentation for all the tasks completed on a regular basis and adhere to the change management policy.

• Application configuration, Animal Management, COTS system configuration, Agile Development, Requirements Analysis, system support, user training and enablement. • Work directly with client gathering requirements to analyze, design and / or implement technology best practices and align technology with business strategy and goals. • Serve as the PoC for application configuration and proxy system admin to operational systems within the client ecosystem – inclusive of LIMS, Animal Management and/or MasterControl systems, and Asset Mgmt / Procurement / Warehousing. • Managing the functional and technical components of 1 or 2 systems, executing application development, testing, and release of new functionality or reconciliation of defects. • Comprises both functional business analysis and technical development within the specified client applications.