Input Output (IOHK)

Social Media Manager

• Support the scheduling, publishing, and monitoring of content across IOG’s social media platforms (X, LinkedIn, YouTube, etc.)
• Ensure brand consistency and accuracy across all social copy, visuals, and assets
• Maintain and update the monthly social content calendar in alignment with the editorial plan
• Collaborate with designers, copywriters, and strategists to prepare and publish content for key brand moments, events, and campaigns
• Maintain accurate records of content, assets, and publishing schedules
• Assist in the rollout of brand campaigns, ensuring content deadlines, assets, and messaging are aligned across platforms
• Help identify and curate relevant brand storytelling opportunities and community moments to enhance visibility
• Support live coverage and social amplification for brand activations, events, and announcements
• Track daily engagement and community sentiment on brand channels; flag opportunities or issues to the social media team
• Monitor key industry trends and competitors to inform brand storytelling or social strategy
• Support proactive engagement initiatives that strengthen brand perception and community connection
• Support monthly and campaign-level performance tracking by pulling data, preparing reports, and helping identify patterns in audience engagement
• Contribute to insights that inform ongoing improvements to social content and strategy
• Support cross-functional requests from other departments, ensuring timely delivery and brand alignment

Social Media Coordinator

• As the Social Media Strategist for Input Output Group, you will be responsible for developing and executive creative, insight-driven social media strategies that elevate IOG’s venture presence and drive meaningful engagement across global audiences. This role focuses on developing and executing social strategies that highlight IOG’s products, partnerships, and business milestones - helping shape the public narrative around the company’s growing portfolio of ventures and innovations.
• Working closely with product and the broader communications teams, the Social Media Strategist will support the planning and execution of content tied to launches, updates, and ecosystem stories. They will help transform complex technical concepts into engaging, accessible narratives that inspire audiences - from developers and partners to the wider blockchain community. The ideal candidate is both creative and analytical - able to spot trends, craft narratives, and translate performance insights into actionable improvements.
• This role requires someone with strong storytelling instincts and the ability to think both strategically and creatively. Equally important, this role is an opportunity for someone with a deep passion and understanding of the Web3 space, its audiences, and their communities and social media habits to incorporate that thinking into IO’s broader social strategies. The ideal candidate thrives in a fast-paced environment and knows how to craft content that informs, executes, and strengthens IOG’s reputation as an innovation-led venture studio.
• Define and execute social media strategies for IO’s product portfolio and venture projects
• Collaborate with product and marketing leads to translate business milestones, technical releases, and partnerships into social media moments
• In partnership with the Paid Media Strategist, define paid media objectives for IO’s social channels.
• Build content calendars aligned with product roadmaps, campaign plans, and ecosystem announcements
• Identify and propose storytelling opportunities to elevate awareness of new ventures and business initiatives
• Draft and schedule social media content that captures the essence of IO’s innovation and product progress
• Adapt messaging across platforms (LinkedIn, X, YouTube, Reddit, etc.) to ensure clarity, engagement, and platform fit
• Partner with designers, video producers, and the wider communications and brand teams to develop multimedia assets support venture storytelling
• Partner with the wider communications, social, brand, and product teams to ensure cohesive messaging across channels
• Work with IOG’s paid media agency to develop strategic recommendations for paid content boosting and advertising strategies to increase awareness and engagement of social media content
• Liaise with product leads, researchers, and engineers to ensure technical accuracy and relevance in social storytelling
• Maintain alignment with PR for announcements, launches, and thought leadership amplification related to the venture studio
• Track, analyze, and report on social performance tied to venture- and product-related content
• Identify which narratives and formats perform best for different audience segments, and use those insights to refine strategy
• Provide actionable recommendations to improve future content planning and audience growth

Social Media Strategist

DevOps Engineer

• As a Site Reliability Engineer (SRE) you are an integral part of our open-source project, ensuring the reliability, availability, and performance of our production systems.
• This role combines service operation, systems engineering and software engineering principles to operate and monitor services as well as create or maintain tools, automations, and infrastructure code that bolster the efficiency and resilience of our platform.
• Design, write, and deliver tools and software primarily using Python, Bash, Terraform or Nix to improve the availability, scalability, and efficiency of our services.
• Engage in and refine the whole lifecycle of services, from inception and design, through deployment, operation, and continuous improvement.
• Practice sustainable incident response and promote blameless postmortems.
• Collaborate with the development teams to ensure that solutions are designed with customer experience, scalability, and performance in mind.
• Analyze system performance and reliability, offering recommendations for enhancement.
• Develop and uphold service-level objectives (SLOs), service-level indicators (SLIs), and error budgets for our services.
• Participate in on-call rotations, responding to and mitigating service interruptions and technical challenges.

Site Reliability Engineer – IOE, Cardano

Communications

• As the Senior External Communications Strategist, you will play a pivotal role in shaping, executing, and evolving Input Output Group’s global communications strategy.
• Develop and execute integrated external communications strategies aligned with IOG’s brand, product, venture, and research narratives
• Translate organizational priorities into proactive storytelling opportunities across events and owned platforms
• Lead the creation of high-quality content, including blog posts, thought leadership articles, social media copy, paid content, videos, web copy, and beyond in support of broader communications strategies
• Craft compelling, on-brand copy for a variety of platforms, including press releases, media statements, the company’s newsroom, blog posts, etc.
• Support the creation and execution of global campaigns that enhance IO’s thought leadership and reputation
• In close collaboration with the Social Media team, develop clear, engaging content for social media channels, tailoring messaging for platform-specific audiences
• Identify key audiences we should be speaking to and define messaging for each audience
• In partnership with External Communications Manager, develop a content and email marketing strategy to drive traffic to IOG’s website, increase newsletter sign-ups, and maintain engagement with existing audiences, while expanding into new audiences
• Collaborate with External Communications Manager to craft specific content for executives, elevating their personal brand in support of positioning IOG as a strategic thought leader in emergent technologies
• Partner with External Communications Manager and PR agencies to craft executive messaging, event remarks, and media commentary aligned to strategic goals
• Help illustrate key representatives as thought leaders through speaking engagements, podcasts, webinars, and other high-visibility opportunities while identifying new opportunities for leaders to participate in
• Collaborate with the social team to ensure executive content supports and amplifies corporate storytelling
• In close collaboration with the External Communications Manager and PR agencies, support incident management, including holding statements, Q&As, etc.
• Set and track metrics to assess effectiveness of IOG’s communications
• Monitor and analyze web and email metrics to enhance traffic and participation in virtual platforms
• Regularly report on results and make data-driven recommendations for improvement
• Work with External Communications Manager to identify opportunities for growth across the team
• Operate independently to maintain continuity in the manager’s absence (within pre-set guardrails)
• Support in the planning and execution of key events by partnering with internal stakeholders to develop compelling communications materials (talking points, event content, presentations, press releases, briefing documents, etc.) to help maximize brand awareness
• Manage multiple projects simultaneously, ensuring timelines, deliverables, and dependencies are clearly tracked and met
• Anticipate issues or bottlenecks and propose proactive solutions to keep programs on track
• Maintain strong editorial standards and attention to detail across all communications outputs

Senior External Communications Strategist

Financial Planning and Analysis

• As a Senior Financial Analyst – Venture & Digital Assets, you will operate at the intersection of early-stage investing, digital assets, and traditional finance.
• This senior role is responsible for sourcing, evaluating, and monitoring investment opportunities across startups, private companies, and decentralized finance (DeFi) protocols.
• You will play a key role in shaping investment decisions through deep financial analysis, thematic research, and the creation of high-quality investment materials.
• Conduct comprehensive financial analysis and due diligence on early-stage startups, private companies, and digital asset projects.
• Review financial statements, unit economics, growth drivers, and valuation models to inform investment decisions.
• Draft investment memos, credit analyses, and research notes for investment committees and senior stakeholders.
• Build and maintain a database of market exposures, themes, and risk factors across both traditional (TradeFi) and decentralized (DeFi) markets.
• Identify emerging trends and investment opportunities in blockchain, crypto, and RWA-linked sectors.
• Provide insight into evolving financial technologies, market cycles, and sector-specific risks.
• Track performance of portfolio companies and digital asset holdings, including KPIs, financial results, and risk indicators.
• Produce detailed performance reports and presentations for internal and external stakeholders.
• Recommend portfolio adjustments and investment strategies based on financial performance and market developments.
• Design and implement productivity-enhancing models, dashboards, and analytical tools that improve decision-making efficiency.
• Collaborate closely with the VP of Investments, CIO, and other investment and research teams.
• Present findings and recommendations clearly and confidently to senior leadership, investment committees, and external partners.

Senior Financial Analyst – Venture & Digital Assets

SDET

• **What the role involves:**
• Your primary role is to ensure the quality and reliability of software solutions by leading the testing process across various stages of the Software Development Life Cycle (SDLC). Employing advanced testing methodologies and collaborating closely with a cross-functional team, this position is critical in identifying software issues and improving product quality before release. The role demands a robust understanding of both the SDLC and Quality Assurance (QA) processes. Success in this position is gauged by the ability to design and execute comprehensive test plans, manage test cycles efficiently, and deliver software products that meet client expectations and enhance user satisfaction. This includes engaging in continuous improvement initiatives that drive innovation in testing strategies and techniques.
• - Collaborate with product management, project management, and development teams to define clear testing objectives.
• - Review and analyze system specifications to ensure they meet testing standards.
• - Develop detailed test conditions and scripts to cover both business and technical use cases.
• - Utilize existing tools and develop new scripts to execute test cases and validate functionality.
• - Run automated test suites and analyze results to ensure continuous improvement in software applications.
• - Participate in troubleshooting and triaging issues with cross-functional teams to identify and resolve root causes.
• - Document, track, and escalate issues as appropriate, maintaining high standards of communication and transparency.
• - Support production deployments and perform validation testing during off-hours maintenance windows.
• - Act as a technical support escalation point for critical issues reported by users.
• - Meet project deadlines by managing testing schedules effectively.
• - Deliver software that meets or exceeds quality standards and acceptance criteria through rigorous testing.

Software Engineer in Test – Partner Chains

Full-stack Engineer

• **What the role involves:**
• As a prototype engineer, you will be looking at developing prototype, model, simulators, at the edge between engineering and research. You will work closely with various stakeholders (architect, cryptographer, researcher, engineer) to help and shape innovation projects.
• - Follow Agile software development practices
• - Work with teams across multiple time zones
• - Work independently on software development tasks
• - Be proactive and require minimal supervision or mentoring to complete tasks
• - Review specifications produced by architects and formal methods specialists
• - Contribute to the design of algorithms
• - Write clean, straightforward, efficient code that satisfies previously agreed acceptance criteria and specifications
• - Commit often and submit small pull requests frequently
• - Cover your code with unit, property and integration tests when applicable
• - Review the pull requests of your team mates
• - Fix bugs in your own code and in legacy code from others
• - Be available for emergency fixing of severity 1 issues on deployed products
• - Integrate software components and third-party libraries
• - Verify and deploy programs and systems
• - Troubleshoot, debug and upgrade existing software
• - Write documentation for the code
• - Write technical user manuals

Software Engineer – Prototype, Innovation R&D

Software Engineer

• You will provide group-wide leadership for how engineering is defined, executed, and assured across IOG and its ventures.
• Bringing advanced strategic and systems thinking, you will set and evolve the company’s engineering operating system-the standards, architectures, processes, and tooling that guide all software development, while embedding a culture of quality assurance, formal methods, and AI-enabled engineering practices to enhance reliability, scalability, and security.
• Fostering a culture of continuous delivery, efficiency, and disciplined engineering, defining what good engineering looks like, specifying the tools and methods to use, and ensuring their consistent application across the entire technology stack. With strong people leadership, the VP leads a small, high-impact team that maintains accountability and drives engineering performance.
• This is a senior enterprise role that integrates insights from competitive intelligence, research, and architecture into actionable standards and is accountable for ensuring these standards are adopted, applied, and continuously improved across the organisation.
• By combining deep analytical and synthesis capabilities with strong executive communication and enterprise leadership, you will enable innovation at scale while safeguarding consistency, compliance, and long-term business impact. Recognising the transformative role of AI in software development, you will define how AI is integrated into engineering practices, including AI-generated code, automated testing, and continuous improvement.

Vice President of Engineering

Vice President

• You will provide strategic insights, market and technology intelligence to shape the group's long-term strategy.
• Owning and signing off on IOG’s competitive-intelligence strategy and outputs, delivering decision-ready insights that enable informed build-versus-buy, partnership, and market-entry choices.
• Bringing advanced strategic and systems thinking with strong business and commercial acumen, you will ensure that competitive intelligence is tightly integrated with corporate strategy and directly influences product, engineering, and venture creation.
• By continuously evaluating competitors, emerging protocols, and disruptive technologies and leveraging advanced analytics and AI-driven intelligence techniques - the VP shapes IOG’s understanding of key market movement and technology inflection points.
• Externally, you will be a thought leader, through speaking engagements, white papers, and participation in global industry forums, strengthening the company’s reputation and ecosystem influence.
• Internally, you will drive shared planning cycles and close collaboration with the VP of Engineering and the VP of Applied Research & Creative Engineering (ARC) to ensure market insights flow seamlessly into research, prototyping, and engineering standards.

Vice President of Technical Competitive Intelligence

• Provide senior enterprise-wide leadership to ensure that research investment is converted into tangible business impact and scalable solutions.
• Set the vision, strategy, and operating model for ARC to triage requests, commission prototypes and technical analyses.
• Recommend build-versus-outsource approaches that best serve IOG’s ventures and product teams.
• Ensure that prototyping and solution validation are carried out with clear objectives and measurable outcomes.
• Deliver decision-ready outputs that reduce risk and accelerate time-to-market.
• Build and continuously improve a repeatable, scalable operating model that can flex with organizational growth.
• Embed rigorous scientific and engineering methodology, transparent governance, and measurable KPIs.
• Collaborate with Research, Technical Intelligence, Product, Engineering, and Venture leadership.

Vice President of Applied Research – Creative Engineering

DeFi

• Develop and execute a comprehensive business development strategy to drive the adoption of the partnerships: supply (Bitcoin holders - institutions and holders) and demand (yield partners, DApps - Cardano and beyond)
• Identify and prioritize strategic partnership opportunities with blockchain projects, technology companies, enterprises, and developers.
• Negotiate partnership agreements and contracts, ensuring mutually beneficial terms and conditions.
• Build and maintain strong relationships with key stakeholders, including executives, decision-makers, and influencers.
• Collaborate cross-functionally with product, marketing, and engineering teams to align business development efforts with overall company objectives.
• Provide market insights, competitive analysis, and industry trends to inform strategic decision-making.
• Represent the company at industry events, conferences, and networking opportunities to promote our brand and forge new partnerships.
• Track and report on key performance metrics, including partnership growth, revenue generation, and market penetration.

Business Development Lead – Bitcoin DeFi

• - Collaborate with Product Management and Marketing Communications to develop and maintain compelling product positioning and messaging that resonate with target buyer personas.
• - Define and drive go-to-market strategies, partnering with Product Managers and Marketing teams to craft a cohesive narrative and ensure alignment.
• - Lead the development of market intelligence by becoming an expert on buyer personas, purchase behavior, key buying criteria, and decision-making processes. Use these insights to shape strategy and drive results.
• - Monitor and analyze the competitive landscape, including regulatory and legal aspects, and use insights to inform cross-functional decision-making.
• - Deliver globally consistent product feature positioning and benefit messaging adaptable for localization.
• - Plan and execute impactful global launches for new products and feature releases, collaborating with in-house agencies and external partners.
• - Develop and maintain robust marketing assets and sales enablement tools, including presentations, guides, infographics, videos, and competitive positioning frameworks.
• - Act as a product marketing expert for IOG core technologies, supporting PR, social media, customer communications, events, and other marketing initiatives.
• - Partner with regional marketing managers to deliver awareness and demand-generation campaigns. Represent IOG at events, conferences, and exhibitions as a knowledgeable spokesperson.

Product Marketing Manager – Bitcoin DeFi

• As a Full Stack Developer at IOG, you will work on creating various applications.
• Working with a cross-functional team of engineers, product owners and designers, to help design and implement various portals for our clients.
• You will be hands on contributing to both the frontend and backend development and also mentor more junior team members as the team grows.
• Your input on various strategies and ideas as we build out this project will also be encouraged.
• Supporting the build, deployment, and configuration management for multi-tier applications.
• Participating in the building of tools and processes to support the infrastructure.
• Improving and maintaining tooling and scripts for automation purposes.
• Writing software that is simple and flexible to configure and deploy.
• Being part of and collaborating with agile teams to establish and maintain automated regression suite infrastructure and performance testing infrastructure.
• Building capabilities to allow development teams to be self-sufficient.
• Writing clean, straightforward, efficient code, covering it with unit, property, and integration tests, and reviewing pull requests of teammates.
• Troubleshooting, debugging, upgrading existing software, and being available for emergency fixing of severity 1 issues on deployed products.

Full Stack Developer – RealFi

Artificial Intelligence

• As the Senior Specialist, AI & Integra Engineering, you will be a lead engineer and technical authority responsible for the architectural design and implementation of our core AI engine (Overmind) and our Viable Enterprise Operating System (Integra).
• Drive the end-to-end technical architecture for key components of the Integra and Overmind platforms, making critical decisions on frameworks, technologies, and infrastructure.
• Establish and champion best practices for software development, code quality, testing, and CI/CD, mentoring other engineers and setting a high technical bar.
• Ensure the technical roadmap is tightly aligned with the product strategy, collaborating with leadership to balance feature development with technical debt and platform health.
• Lead the technical design and implementation of complex systems, including data pipelines, model deployment infrastructure, agentic workflows, and API integrations.
• Lead the execution of complex, high-impact engineering projects, delivering high-quality software in a timely manner.
• Operate with a high degree of autonomy to resolve significant technical challenges, unblock progress, and ensure project success.
• Implement and refine engineering processes that optimize for both speed and quality, fostering a culture of predictable delivery and technical excellence.
• Own the technical aspects of deploying, scaling, and maintaining our AI models and platforms in production environments.
• Mentor and coach other engineers on the team, fostering their technical growth and sharing expertise in software engineering and AI systems.
• Act as a force multiplier, elevating the entire team's technical capabilities through code reviews, design discussions, and knowledge sharing.
• Influence the broader engineering culture by championing innovation, ownership, and pragmatic solutions to complex problems.
• Act as a primary technical voice and subject matter expert in the AI & Integra team.
• Collaborate closely with the Senior Manager, AI & Integra Operations to align technical execution with project priorities and operational plans.
• Partner with the Senior Specialist, AI Strategy & Innovation to translate advanced AI research into feasible, engineered solutions.
• Work with the Senior Specialist, AI Solution Architecture to ensure the back-end architecture supports a world-class user experience and meets user needs.
• Serve as a key technical liaison to other engineering groups within IOG, ensuring seamless integration and architectural alignment.

Senior Specialist – AI & Integration Engineer

• Contribute to the design, implementation, and integration of secure cryptographic protocols and primitives across diverse projects.
• Turn advanced cryptographic designs into robust, production-ready systems at the intersection of applied research and engineering.
• Work closely with researchers, protocol designers, software architects, and QA teams to ensure cryptographic correctness, performance, and maintainability.
• Design and implement constructions such as digital signatures, zero-knowledge proofs, VRFs, commitment schemes, and accumulators.
• Develop and maintain cryptographic libraries, primarily using Rust and Haskell, with occasional C for safety and performance.
• Translate academic research and formal specifications into reliable, well-structured production code.
• Participate in cryptographic design discussions, parameter tuning, and performance benchmarking.
• Analyse and validate protocol design for security properties such as soundness, liveness, and resistance to practical attacks.
• Troubleshoot, debug, and optimise cryptographic code and its interaction with broader systems.
• Write and maintain clear documentation, including developer guides and internal design notes.
• Stay current with developments in cryptography and assess their relevance for projects.

Cryptographic Engineer, Bitcoin DeFi

Analyst

• Conduct market research and analysis to benchmark compensation practices and ensure competitiveness
• Develop and maintain salary structures and compensation guidelines
• Action market pricing requests for new hires, promotions and increases
• Analyze internal compensation data to identify trends, disparities, and opportunities for improvement
• Support the annual compensation review process, including merit increases, bonuses, and equity awards
• Collaborate with the wider HR team and business leaders on compensation initiatives
• Ensure compliance with global compensation laws and regulations
• Prepare reports and presentations to communicate compensation insights to stakeholders
• Participate in compensation surveys and analyze results to inform compensation decisions

Compensation Analyst

Chief Technology Officer

• Drive our heavy-construction contracting business into the next era of data-driven, robotics-enabled excellence; act as architect of technological evolution to deliver safer, faster and more profitable projects.
• Define and own end-to-end technology vision; craft a 3–5-year technology strategy and translate it into annual plans, budget requests and KPIs.
• Lead research, development and large-scale deployments of autonomous earth-moving equipment, laser-guided screeds, drones, humanoid robots and BIM-based digital twins.
• Integrate AI-powered analytics, IoT telemetry and robust cyber-physical security to optimize safety, quality and profitability.
• Lead cap-ex/business cases that articulate ROI, TCO and risk mitigation for autonomous and digital-twin investments; secure buy-in and resources from executive leadership.
• Oversee pilot program design, vendor selection, lab prototyping and phased field rollouts; iterate rapidly based on lessons learned.
• Implement BIM-based digital twins for real-time progress tracking and predictive “what-if” simulations; architect IoT telemetry frameworks and predictive-maintenance analytics.
• Establish R&D lab governance: ideation pipelines, vendor partnerships, university collaborations and pilot-to-scale processes; oversee R&D end-to-end.
• Translate site-level pain points into executive-level business cases, presentations and ROI dashboards; design operator training, train-the-trainer models and change-management programs.
• Partner with shared-services IT to define architecture standards, data-governance policies, cloud-security controls and cyber-physical safety protocols; ensure regulatory compliance (OSHA, ISO 19650, UAV/autonomous-systems requirements).
• Head up a lean internal technology team; matrix-manage field-IT, data-science and cybersecurity resources; report directly to the GM/CEO with a dotted line to the Board of Directors.
• Maintain technology vigilance: horizon-scanning, watch lists of emerging tools, and advising executive team on investments in talent, infrastructure and partnerships.

Chief Technology Officer – Heavy Construction & Contracting

Technical Project Manager

• Lead highly complex, cross-functional and multi-phase projects and programs of strategic importance.
• Shape project strategy, establish and manage budgets and schedules at scale.
• Proactively mitigate enterprise-level risks and manage dependencies across business units.
• Plan, facilitate, and report on Program Increment (PI) planning, ensuring objectives, dependencies, and capacity plans are established.
• Monitor PI execution, escalate risks, and propose adjustments to maintain alignment with strategic priorities.
• Build and maintain strong relationships with senior stakeholders and functional leadership.
• Negotiate and secure resources across multiple departments and facilitate executive-level steering committees.
• Oversee large-scale budgets and complex resource plans and drive change management initiatives.
• Mentor Project Managers and Associate PMs, fostering continuous improvement and standardized project management practices.
• Ensure delivery excellence by implementing sustainable practices balancing short-term milestones with long-term scalability.

Senior Technical Project Manager

Data Engineer

• Own and drive the end-to-end data process for intelligence (business and technical) across all company ventures, including acquiring, processing (ETL), modeling with AI/ML, and reporting.
• Contribute to an automated process that leverages a data warehouse alongside ML/AI on AWS to generate insights.
• Serve as the competitive positioning expert in the blockchain landscape, providing data insights to fulfill stakeholder requirements.
• Architect and build performant and scalable data engineering pipelines using AWS; drive data system design, modeling, data quality, and delivery.
• Work with senior leadership and stakeholders to understand data value, define key metrics for competitive positioning, and gather requirements.
• Collaborate with data engineers, analysts, data scientists, ML and AI engineers to operationalize models and integrate LLM-related logic into data pipelines.
• Provide direct exposure to strategic decision-making, analysing company strategy and new venture planning from a quantitative perspective.
• Use Scrum methodologies to drive prioritization, planning, and execution of tasks for the data intelligence team.

Senior Data Engineer – Technical Intelligence

Engineer

• IOG: technology company focused on Blockchain research and development
• Develop formal artifacts early in development and iteratively refine specifications, properties, and proofs
• Form part of day-to-day quality assurance of production system development
• Test critical steps against formal models or prove them using formal frameworks and tools
• Model expected performance of resulting systems to assess impact of design decisions
• Provide feedback to developers and project management
• Participate in knowledge sharing and continuous learning with Formal Methods Engineers, researchers, and engineers
• Build formal artifacts from R&D, architectural guidance, and business and engineering requirements
• Model the performance of formally specified systems
• Produce prototypes and simulations
• Refine specifications using performance models and simulations
• Discover and prove properties of specifications and correctness of refinement steps
• Communicate with product, R&D, and developers; assist developers in turning specifications into production code
• Report on work via blog posts, technical reports, presentations, workshops, conferences, and academic papers
• Participate in code reviews
• Contribute property-based tests for executable specifications and production code verification
• Contribute to implementation, extension, and maintenance of custom formal analysis tooling
• Work in an international team across multiple time zones
• Break down large complex tasks into workable items and work independently
• Share specialized knowledge with other team members