Вакансии

Location: London, England, United Kingdom; New York, New York, United States; Norwalk, Connecticut, United States; West Palm Beach, Florida, United States Graham Capital Management, L.P. (collectively with its affiliates, "Graham") is an alternative investment manager founded in 1994 by Kenneth G. Tropin. Specializing in discretionary and quantitative macro strategies, Graham is dedicated to delivering strong, uncorrelated returns across a wide range of market environments. As one of the industry’s longest-standing global macro and trend-following managers, Graham remains committed to innovation, evolving its strategies through a robust investment, technology, and operational infrastructure. Graham harnesses the synergies between its discretionary and quantitative trading businesses to offer a broad suite of complementary alpha strategies, each built on the principles of thoughtful portfolio construction, active risk management, and diversification by design. Graham invests significant proprietary capital alongside its clients – including global institutions, endowments, foundations, family offices, sovereign wealth funds, investment management advisors, and qualified individual investors – reinforcing alignment of interests across all strategies. The foundation of Graham’s sustainability and success is the experience and contributions of its people. The firm seeks to cultivate talent, encourage the diversity of ideas, and respect the contributions of all. In turn, each employee shares in the responsibility of strengthening those around them. Description Graham is seeking a Quantitative Research Analyst to join our Quantitative Strategies team, and report into a Quantitative Research Manager. The individual will research and develop ways to improve GCM’s current trading systems while creating new systematic trading signals to complement and diversify the firm’s main strategies. The individual will maximize performance and competitiveness by utilizing advanced methods in quantitative analysis, risk management and portfolio optimization. Responsibilities Research and develop methods to make existing trading signals more efficient, profitable and robust Research and develop new signals that complement and diversify production strategies in terms of style, source of alpha and markets traded Research and develop portfolio construction and optimization methods to maximize performance while controlling risk, drawdowns and trading cost Enhance the scalability and flexibility of portfolios to accommodate bespoke investment needs of clients Follow robust research and development procedures to reduce differences between simulated and actual performance Work collaboratively in a research team environment, using common development tools to facilitate robust implementation of research as well as production versions of trading systems Interact with other departments – technology, operations, trading, marketing, and accounting - to ensure current and proposed ideas are implemented, monitored and executed efficiently and accurately Regularly present findings and ideas to management and investment committee Complete other projects as requested by senior management Requirements PhD or MS in a quantitative field 2+ years related experience in systematic trading on the buy side, primarily targeting futures and FX, but also open to sovereign credit, options, and OTC markets. Knowledge in short-term/intraday systematic trading strategies is desired Advanced programming experience in languages suited for quantitative research and strategy implementation Ability to synthesize complex topics into easily digestible written commentary Strong communication skills – both written and verbal This role requires commuting into one of our offices Mondays through Fridays. We have offices in Rowayton, CT, New York, NY, West Palm Beach, FL, and London, UK. Please note that our central Quantitative Research team sits out of Rowayton, CT. Base Salary Range The anticipated base salary range for this position is $200,000 to $275,000. The anticipated range is based on information as of the time this post was generated and does not include any discretionary bonus or benefits (see eligibility below). The applicable annual salary or hourly rate paid to a successful applicant will be determined based on multiple factors, including without limitation the nature and extent of prior experience, skills, and qualifications.  This wage range may be modified in the future. In addition, the employee who fills this role will be eligible for a discretionary annual bonus, as well as a wide array of benefit programs, such as medical and life insurance, 401(K) plans, and access to other healthcare programs. Notes: No amount of pay is considered to be wages or compensation until such amount is earned, vested, and determinable. The amount and availability of any bonus, benefits, or any other form of compensation that a particular employee may be eligible for remains in the Company's sole discretion unless and until paid and may be modified at Graham’s sole discretion, consistent with the law. Other Graham is committed to providing equal employment opportunity to all employees and applicants for employment without regard to their race, color, religious creed, gender, age, national origin, ancestry, alienage, citizenship status, handicap, disability, marital status, sexual orientation, gender identity, pregnancy, childbirth or other related conditions, military status, genetic information, or any other personal characteristics protected by applicable law. This policy applies to all terms and conditions of employment, including hiring, placement, promotion, layoff, termination, transfer, leave of absence and compensation. Graham offers health benefits to eligible full-time U.S. employees, including medical, dental, vision, life and disability insurance, as well as other voluntary benefits such as spending accounts (HSA and FSA), and a profit contribution retirement plan.  All employees also receive paid vacation and sick leave.  Benefits eligibility is dependent upon a variety of factors, including employee classification and applicable waiting periods.  Benefits are subject to change and may differ for non-U.S. roles.

Location: Belgrade Workplace: remote About Collectly   Our mission is to enable healthcare organizations to focus on providing care, rather than spending time on collections and tedious administrative tasks. At the same time we see this being possible only by providing financial transparency for patient and a modern patient experience from check-in to getting a bill.   We’re Y Combinator alumni and have raised last year $29M from Sapphire Ventures to expand the product and accelerate growth from a healthy bottom line with hundreds of clients. Job description As a Senior Software Engineer, you will help build core parts of the Collectly platform. Our stack is Python-first, and we’re looking for engineers who are comfortable designing and evolving backend systems in Python. You'll collaborate closely with the founder, engineering leadership, product managers, designers, and fellow engineers to ship high-quality, impactful features for healthcare providers and patients alike. We are a hybrid company, partly based in Santa Monica, USA and partly remote, spread out around the United States & Europe. As a member of the engineering team, you will: Collaborate with the founder, PMs, designers, and other engineers to navigate trade-offs and build a world-class product. Work with urgency to build critical features with a keen attention to detail and high-quality maintainable code. Completely own your features end-to-end, from product requirements, code, testing, observability, rollout and maintenance. Must-haves At least 5 years experience building complex web apps. A passion for building and delivering exceptional products. The ability to navigate a fast-paced work environment. A hard-working ethic to help build and grow a new startup. Exceptional written and oral communication skills. Nice-to-haves: Experience with our technology stack: Python Flask SQLAlchemy PostgreSQL Redis

Location: New York, NY / Seattle, WA / San Francisco Bay Area, CA / Remote Workplace: remote About CertiK One of the fastest-growing and most trusted companies in blockchain security, CertiK is a true market leader. To date, CertiK has worked with over 3,200 Enterprise clients, secured over $310 billion worth of digital assets, and has detected over 60,000 vulnerabilities in blockchain code. Our clients include leading projects such as Aave, Polygon, Yearn, and Chiliz.  Investors = Insight Partners, Sequoia, Tiger Global, Coatue Management, Lightspeed, Advent International, SoftBank, Hillhouse Capital, Goldman Sachs, Shunwei Capital, IDG Capital, Wing, Legend Star, Danhua Capital and other investors.  About the role We are seeking security research interns to join a top-notch security research team. We are working on a wide range of security research topics, including malware analysis, vulnerability detection, network anomaly detection, mobile app analysis, reverse engineering, and fraud detections. Multiple research tasks are ready to be explored. Responsibilities Develop analysis tools to facilitate security discovery and design mitigation techniques to deter security threats. Review system implementation of sandbox, VM, network modules, and critical distributed system. Perform vulnerability discovery and develop PoC exploits to large distributed system implementations. Publish research findings in related academic and industry venues. Requirements Pursuing Masters or PhD in Computer Science or Cybersecurity related field. Experiences in vulnerability discovery and exploitation on web applications or system software. Preferred Experiences in WASM or Rust/Go development is a plus. CTF experiences are a plus as well. Compensation $3000 - $8000/month (Full Time). The exact compensation at which this internship is filled will be determined by the skills and experience of qualified candidates. #blockchain #startups #hiring CertiK accepts applications on an ongoing basis for this position until it is filled. The approximate date of closing will be April 30, 2024. CertiK is proud to offer medical, vision, and dental insurance, 401(k) plan with company matching, life and accidental death and dismemberment insurance, HSA (with high deductible plan), FSA, and other benefits to all full-time employees, along with flexible paid time off and holidays. CertiK also offers a variable commission program for business development sales roles.   In compliance with federal law, all persons hired will be required to verify identity and eligibility to work in the United States and to complete the required employment eligibility verification form upon hire.   CertiK is proud to be an equal opportunity employer. We will not discriminate against any applicant or employee on the basis of age, race, color, creed, religion, sex, sexual orientation, gender, gender identity or expression, medical condition, national origin, ancestry, citizenship, marital status or civil partnership/union status, physical or mental disability, pregnancy, childbirth, genetic information, military and veteran status, or any other basis prohibited by applicable federal, state or local law.   CertiK will consider for employment qualified applicants with criminal histories in a manner consistent with local and federal requirements. https://www.eeoc.gov/sites/default/files/migrated_files/employers/poster_screen_reader_optimized.pdf   All CertiK employees are expected to actively support diversity on their teams, and in the Company.

Location: Home based - EMEA Use your deep C++ skills on Windows and MacOS to build an amazing open source developer experience with Multipass , the workstation mini-cloud at your fingertips which provides Ubuntu and appliance VMs on demand for build, test and prototyping. The Multipass team is hiring a Software Engineer to join our distributed team. We greatly value quality in our code, and great user experience. Multipass is published for macOS, Windows, and also Linux. Think of it as a workstation mini-cloud. At its simplest you can simply say multipass launch and you will get a new VM on your workstation. You can feed that VM data, just as you would on a public cloud like AWS, Azure or GCP. The goal is not to be a full cloud of course. The goal is to give developers a local cloud on their workstation, which they can use to run builds in the background, or to try cloud appliances, or to test their own cloud deployments and cloud-init scripts, free of charge. People sometimes use it as a build farm on a shared server, for example. As a Software Engineer you are expected to play a leadership role designing, mentoring, reviewing and of course coding. Location : This is a remote position available in the EMEA region only. What you will focus on Ensure Multipass is easy and intuitive to use Architect new features and design the user experience Write high-quality code to create new features and fix bugs Review code and architecture as part of Canonical’s engineering process Collaborate proactively with a distributed team Debug, track down and fix issues encountered by our users Foster the open source community and support customers when needed Travel internationally for up to two weeks, twice a year, for company events What we are looking for in you Cross-platform development experience on macOS and/or Windows Expertise in modern C++ development (C++14 minimum) Experience with software testing and test-driven development Extremely high personal standards for code quality, testing and design Knowledge of hypervisor technologies such as Hyper-V, VirtualBox, KVM, and QEMU Open source experience and involvement Knowledge of CI systems a plus Capacity to learn quickly about new systems and techniques Excellent communication skills in English - both verbal and written Bachelor’s or equivalent in Computer Science, STEM or similar degree What we offer you We consider geographical location, experience, and performance in shaping compensation worldwide. We revisit compensation annually (and more often for graduates and associates) to ensure we recognise outstanding performance. In addition to base pay, we offer a performance-driven annual bonus. We provide all team members with additional benefits, which reflect our values and ideals. We balance our programs to meet local needs and ensure fairness globally. Distributed work environment with twice-yearly team sprints in person Personal learning and development budget of USD 2,000 per year Annual compensation review Recognition rewards Annual holiday leave Maternity and paternity leave Employee Assistance Programme Opportunity to travel to new locations to meet colleagues Priority Pass, and travel upgrades for long haul company events About Canonical Canonical is a pioneering tech firm at the forefront of the global move to open source. As the company that publishes Ubuntu, one of the most important open source projects and the platform for AI, IoT and the cloud, we are changing the world on a daily basis. We recruit on a global basis and set a very high standard for people joining the company. We expect excellence - in order to succeed, we need to be the best at what we do. Canonical has been a remote-first company since its inception in 2004.​ Working here is a step into the future, and will challenge you to think differently, work smarter, learn new skills, and raise your game. Canonical is an equal opportunity employer We are proud to foster a workplace free from discrimination. Diversity of experience, perspectives, and background create a better work environment and better products. Whatever your identity, we will give your application fair consideration. #LI-remote

Location: Home Based - Americas; Home based - EMEA Canonical is a leading provider of open source software and operating systems to the global enterprise and technology markets. Our platform, Ubuntu, is very widely used in breakthrough enterprise initiatives such as public cloud, data science, AI, engineering innovation, and IoT. Our customers include the world's leading public cloud and silicon providers, and industry leaders in many sectors. The company is a pioneer of global distributed collaboration, with 1200+ colleagues in 75+ countries and very few office-based roles. Teams meet two to four times yearly in person, in interesting locations around the world, to align on strategy and execution. The company is founder-led, profitable, and growing. Canonical is hiring exceptional Sales Operations leaders and experienced analysts to grow and manage our global direct, alliance, channel partner and online sales. Our Sales Operations teams analyze and drive interventions to maximize net customer retention, and lead robust, repeatable processes to plan, manage and deliver revenue. You will partner with Canonical’s executive team across sales, business development, customer success, marketing, product management, commercial systems, delivery, finance and legal and provide a focal point to drive improvements. This position requires leadership, initiative and an analytical approach, a keen eye for detail and the ability to drive continuous improvements in processes, systems, governance and data quality.  People that thrive in these roles are proactive problem solvers who are passionate about the opportunity to partner with sales leadership, our role in the technology industry bringing open source to a wider audience of innovators and enterprises, and the opportunity to design and drive programs in support of Canonical's continued success. Location: These roles will be based remotely in the EMEA, Americas regions. The role entails Delivering precise, scalable revenue operations for business through direct, indirect or online channels Leading and developing a team of revenue operations analysts in developing policies, driving processes and providing daily operational support and enablement to sales teams and partners Driving Sales Engagement, Training/Enablement/Data Enrichment, Customer Relationship Management, Configure Price Quote, Analytics and Commissions Instrumenting, measuring and improving policies and processes across teams covering the entire revenue operations spectrum Delivering metrics and reporting to monitor and improve revenue operations effectiveness, including new leads, pipeline, velocity, sales productivity and renewals. Using data to drive insight, manage territories and channels, improve productivity, and agree and implement actionable change with executive management through regular sales and business reviews. Overseeing our sales technology and processes, driving automation and process improvements and partnering with our commercial systems engineering team to continuously improve business systems and integration Leading the introduction of new products, pricing, packaging and bundling through systems that are easy for sales and partners to navigate and quote Driving data quality, through order processing, new hire training, process documentation, reporting and data cleansing Leading and enhancing our commercial review process for evaluating and steering sales and alliance opportunities Owning the commission plan and leading the process for setting goals, evaluating and paying against that plan What we are looking for in you Experience operating in a leadership Revenue Operations role, driving effectiveness of direct, channel and alliance partnerships Data-driven and analytical approach with a high attention to detail Track record of providing insight through robust CRM and other Revenue Operations technology platforms, data, analytics, compensation systems and processes to deliver excellent revenue operations An energetic, thoughtful, systematic approach, a problem solver with skill in measuring, identifying and delivering systems and processes that ensure repeatable, scalable outcomes Comfort with commercial pressure, and the ability to put revenue teams under appropriate performance pressure Organisational skills and the ability to interact and work with stakeholders within all levels of the organisation Exceptional academic track record from both high school and university Undergraduate degree in a related field, preferably in Science, Technology, Engineering, Mathematics or Economics, or a compelling narrative about your alternative path Strong communication, interpersonal, negotiation and influencing skills Professional written and spoken English with excellent presentation skills Ability to travel internationally up to four times a year for company events up to two weeks long Nice-to-have skills Experience gained within a similar, technology subscription-based business Deep understanding of working in a global, multicultural organization including driving a team based remotely in multiple time zones Experience in mentoring and coaching team members on technical and soft skills, directly contributing to their professional development and performance improvement. What Canonical offers We consider geographical location, experience, and performance in shaping compensation worldwide. We revisit compensation annually (and more often for graduates and associates) to ensure we recognise outstanding performance. In addition to base pay, we offer a performance-driven annual bonus or commission. We provide all team members with additional benefits, which reflect our values and ideals. We balance our programs to meet local needs and ensure fairness globally. Distributed work environment with twice-yearly team sprints in person Personal learning and development budget of USD 2,000 per year Annual compensation review Recognition rewards Annual holiday leave Maternity and paternity leave Employee Assistance Programme Opportunity to travel to new locations to meet colleagues Priority Pass, and travel upgrades for long haul company events About Canonical Canonical is a pioneering tech firm at the forefront of the global move to open source. As the company that publishes Ubuntu, one of the most important open source projects and the platform for AI, IoT and the cloud, we are changing the world of software. We recruit on a global basis and set a very high standard for people joining the company. We expect excellence - in order to succeed, we need to be the best at what we do. Most colleagues at Canonical have worked from home since its inception in 2004.​ Working here is a step into the future, and will challenge you to think differently, work smarter, learn new skills, and raise your game. Canonical is an equal opportunity employer We are proud to foster a workplace free from discrimination. Diversity of experience, perspectives, and background create a better work environment and better products. Whatever your identity, we will give your application fair consideration. #LI-remote

Location: Home Based - Americas The role of a Financial Analyst at Canonical As a Financial Analyst, you'll be a core member of the FP&A Team and wider finance team. You will play a key part in our monthly business reviews, quarterly forecasting, annual planning, financial modeling, and continuously drive cross-functional business alignment. Our ideal candidate is a highly analytical independent thinker, who has a desire to learn how to leverage business judgment, driven by data, to advise on critical financial, commercial and strategic decisions. Location: This is a remote role in Americas time zones. Key Responsibilities Generate insights into business operations by analyzing unit economics, drivers of variance, and other KPIs Support quarterly and annual financial planning, forecasting, reporting, and monthly budget reviews Provide analysis of commercial initiatives that have a strategic or financial impact on the business Create objective analyses and processes for a fast-growing tech company to scale efficiently and make data-driven decisions Support multi-functional change projects designed to enhance systems, processes, and data accuracy Partner with and communicate business progress to key stakeholders against financial and strategic targets Valued skills and experience An exceptional academic track record from both high school and university Drive and a track record of going above-and-beyond expectations Strong problem-solving and analytical abilities Excellent presentation and communication skills Curiosity and willingness to work on a wide range of projects Proficiency in spreadsheets and financial modeling Understanding of core accounting principles Professional written and spoken English Excellent interpersonal skills, curiosity, flexibility, and accountability Passion, thoughtfulness, and self-motivation Excellent communication and presentation skills Result-oriented, with a personal drive to meet commitments Ability to travel twice a year, for company events up to two weeks long Previous experience in an analytically focused finance or business role Additional skills that you might also bring Bachelor's degree in finance, business, or related field Experience with Business Intelligence reporting, CRM and ERP systems Experience with Budgeting and Planning Software, or Data Visualization tools What we offer you We consider geographical location, experience, and performance in shaping compensation worldwide. We revisit compensation annually (and more often for graduates and associates) to ensure we recognize outstanding performance. In addition to base pay, we offer a performance-driven annual bonus or commission. We provide all team members with additional benefits which reflect our values and ideals. We balance our programs to meet local needs and ensure fairness globally. Distributed work environment with twice-yearly team sprints in person Personal learning and development budget of USD 2,000 per year Annual compensation review Recognition rewards Annual holiday leave Maternity and paternity leave Team Member Assistance Program & Wellness Platform Opportunity to travel to new locations to meet colleagues Priority Pass and travel upgrades for long-haul company events About Canonical Canonical is a pioneering tech firm at the forefront of the global move to open source. As the company that publishes Ubuntu, one of the most important open source projects and the platform for AI, IoT and the cloud, we are changing the world on a daily basis. We recruit on a global basis and set a very high standard for people joining the company. We expect excellence - in order to succeed, we need to be the best at what we do. Canonical has been a remote-first company since its inception in 2004.​ Working here is a step into the future, and will challenge you to think differently, work smarter, learn new skills, and raise your game. Canonical is an equal opportunity employer We are proud to foster a workplace free from discrimination. Diversity of experience, perspectives, and background create a better work environment and better products. Whatever your identity, we will give your application fair consideration. #LI-remote

Location: Cairo, Egypt Workplace: hybrid Yassir is the leading super App in the Maghreb region set to changing the way daily services are provided. It currently operates in 45 cities across Algeria, Morocco and Tunisia with recent expansions into France, Canada and Sub-Saharan Africa. It is backed (~$200M in funding) by VCs from Silicon Valley, Europe and other parts of the world. We offer on-demand services such as ride-hailing and last-mile delivery. Building on this infrastructure, we are now introducing financial services to help our users pay, save and borrow digitally. Helping usher the continent into a digital economy era. We’re not just about serving people - we’re about creating a marketplace to bring people what they need while infusing social values. About the role   We are looking for a senior front-end developer to join our tech hub in Berlin and support our growth and expansion. You will be part of the engineering team, working with a high-quality code base and the latest tools, and you will promote your skills to be an expert in complex frontend development in React.JS. Your primary focus will be the development of web applications and their integration with back-end services. You will be working alongside other engineers and developers working on different layers of the infrastructure. About your role as Frontend Developer Design and build web applications using React.js Ensure the performance, quality, and responsiveness of applications Collaborate with a team to define, design, and ship new features Identify and correct bottlenecks and fix bugs Help maintain code quality, organization, and automatization Participate in brainstorming sessions and contribute ideas to our technology, algorithms and products. Work with the engineering and design teams to understand end-user requirements, formulate use cases, and then translate that into a pragmatic and effective technical solution Dive into difficult problems and successfully deliver results on schedule About your experience Must have technical skills with at least 5 years of experience Language: Javascript Framework: React.JS, Express.JS Familiarity with cloud message APIs and push notification Web architecture: Rest and restful APIs, micro-services Version control: GIT Nice to have technical skills (Strongly advised) Containers: Docker, Kubernetes Caching, Redis server Scaling, Web load balancing Experience in a rapidly growing company in the mobility, on-demand, or fintech space is a plus BSc/MSc in Engineering, Computer Science or relevant field Why should you join Yassir 😎 You will be part of one of the first Algerian startups to go through the Y Combinator program and one of the fastest-growing tech companies in North Africa. We are current in +30 cities in Africa and Europe 💸 Attractive salary and you even get a stake in the company 🚉 Subsidized public transit pass 🤙🏽Have a lasting impact on our company's culture 🚀 Perfect timing with renowned investors to build something great 📈 Extremely steep learning curve with own responsibility and intensive guidance 💯 Make a real impact on the world by helping us bring affordable financial and on-demand services to millions of Africans At Yassir, we believe in the power of diversity and the importance of an inclusive culture. So, if you're ready to bring your unique perspective and experiences to the table, then we're excited to listen. Don't just apply for a job, come and be a part of our journey. Let's create a better tomorrow together. We look forward to receiving your application! Best of luck, Your Yassir TA Team

Location: New York, NY / Seattle, WA / San Francisco Bay Area, CA / Remote Workplace: remote Why us?  Blockchain technology is enabling a rapidly-growing era of innovation for the digital world. It is crucial that blockchain code such as protocols and smart contracts are provably secure and correct. Once deployed, they are public and cannot be changed. Vulnerabilities and bugs in such programs regularly put millions of dollars at stake. This is where CertiK comes in. We are the leading blockchain security company. Our goal is to secure the cyber world by applying cutting edge techniques from academia to secure blockchain code. Come and join this ambitious mission as a research software engineer to work on automated analyses for provably secure and correct blockchain applications!  What you will do You will design and develop tools that automatically ensure the correctness of smart contracts or identify security issues and bugs in smart contracts. We have software engineer positions available at all levels of seniority. Title and responsibilities will be commensurate with experience and background. As part of our multinational team of programming language experts, you will participate in the development of tools that rest upon techniques such as symbolic model checking, SAT/SMT solving, abstract interpretation, data flow analysis, and deductive verification. You will have the opportunity to work on all stages of tool development from idea generation to implementation and iterative improvements. Our team is highly supportive and collaborative with great opportunities to learn and grow. About you You have a background in programming language theory and automated reasoning and love to work on the forefront of applying results from theoretical computer science. You love to tackle computationally hard problems and have a proven track record of achieving results, where results are people using your tool to do their jobs. You are collaborative: you share ideas, love to brainstorm with peers, and give and receive feedback. You are comfortable with the unknown and understand that #startuplife means that you will be wearing multiple hats. Responsibilities Extend the scope and depth of our automated program verification tools and brainstorm, design, and implement new tools. Adapt and improve algorithms for symbolic software model checking. Examples include bounded model checking (BMC), counterexample-guided abstraction refinement (CEGAR), and property directed reachability (IC3/PDR). Build and extend translators from different input languages into intermediate representations, optimizing the generated models for automated analysis. Identify new classes of security properties of smart contracts and formalize properties for use in our automated verification tools. Closely collaborate with other software engineers in developing tools and set technical direction for solving problems in consultation with your team and management. Work on all aspects of delivering working software that meets customer needs, including analysis, design, automated testing, operations, CI/CD, measuring results, incorporating customer feedback, and support. Required Qualifications Master's Degree in Computer Science or a related field or 5 years of equivalent experience. Minimum of 4 years of software development experience (includes internships, software developed during research, and open-source development). Minimum of 2 years of experience with one or more of the following: model checking, formal verification, SAT/SMT solving (Z3, CVC4, Yices, MathSAT, SMTInterpol), abstract interpretation, or closely related disciplines. Demonstrated knowledge of fundamental computer science concepts such as data structures, algorithms, mathematical logic, and automata theory. Preferred Qualifications PhD in the broader field of automated reasoning. Publication record in conferences like POPL, CAV, TACAS, FMCAD, FM, etc. Experience in functional programming (OCaml or Haskell). Strong and creative problem-solving skills; always willing to learn and embrace new technologies and to collaborate. Prior experience in a professional software development environment. About the Company Founded in 2018 by professors of Yale University and Columbia University, CertiK is a pioneer in blockchain security, utilizing best-in-class technology to secure and monitor blockchain protocols and smart contracts. CertiK’s mission is to secure the cyber world. Starting with blockchain, CertiK applies cutting-edge innovations from academia into enterprise, enabling mission-critical applications to be built with security and correctness.  Compensation Target annual base salary for this role performed in the US is $115,000 - $230,000. The exact compensation at which this job is filled will be determined by the skills and experience of qualified candidates. #LI-Remote #blockchain #startups #hiring CertiK is proud to offer medical, vision, and dental insurance, 401(k) plan with company matching, life and accidental death and dismemberment insurance, HSA (with high deductible plan), FSA, and other benefits to all full-time employees, along with flexible paid time off and holidays. CertiK also offers a variable commission program for business development sales roles.   In compliance with federal law, all persons hired will be required to verify identity and eligibility to work in the United States and to complete the required employment eligibility verification form upon hire.   CertiK is proud to be an equal opportunity employer. We will not discriminate against any applicant or employee on the basis of age, race, color, creed, religion, sex, sexual orientation, gender, gender identity or expression, medical condition, national origin, ancestry, citizenship, marital status or civil partnership/union status, physical or mental disability, pregnancy, childbirth, genetic information, military and veteran status, or any other basis prohibited by applicable federal, state or local law.   CertiK will consider for employment qualified applicants with criminal histories in a manner consistent with local and federal requirements. https://www.eeoc.gov/sites/default/files/migrated_files/employers/poster_screen_reader_optimized.pdf   All CertiK employees are expected to actively support diversity on their teams, and in the Company.

Location: Home based - EMEA Canonical is a leading provider of open-source software and operating systems to the global enterprise and technology markets. Our platform, Ubuntu, is very widely used in breakthrough enterprise initiatives such as public cloud, data science, AI, engineering innovation and IoT. Our customers include the world's leading public cloud and silicon providers, and industry leaders in many sectors. The company is a pioneer of globally distributed collaboration, with 1100+ colleagues in 75+ countries and very few office-based roles. Teams meet two to four times yearly in person, in interesting locations around the world, to align on strategy and execution. The company is founder-led, profitable and growing. We are hiring a Senior Software Engineer on the Web Engineering team to drive best practices across the team, for all disciplines, bringing great ideas to the table to lead technical conversations. They identify risks and communicate them to relevant stakeholders, asking the right questions to move a project forward. Within the team there are fantastic opportunities to gain deep technical knowledge of complex products in innovative and fast-growing areas of the tech world with space and support to hone your craft. We value transparency, intellectual honesty and teamwork. As a Senior Software Engineer at Canonical, you will own the development of large projects. Encourages rigorous and efficient engineering process. Writes specifications and understands risks. Works to reduce complexity. Is capable of taking on technical lead responsibilities to drive an initiative to completion. Follows industry trends and new technologies. Capable of representing their team as a subject matter expert with cross-team credibility. An exemplary engineer who mentors and develops those around them in a structured and systematic manner, sharing this responsibility for their immediate team with their manager. Location : This role will be based remotely in the EMEA region. The role entails Identifying what matters for the team and driving initiatives to improve them Design and implement well-tested and documented software Debug and fix issues encountered by your users Leading in our engineering process through code and architectural reviews Contribute to technical documentation to make it the best of its kind Seek improvements to engineering and operations practices Deploy and operate services developed by the team Contribute to the success of your product through technical advocacy What we are looking for in you Curate technical quality standards by designing the architectural approach to support business objectives You value soft skills and are passionate, enterprising, thoughtful, and self-motivated An exceptional academic track record from both high school and university Undergraduate degree in Computer Science or STEM, or a compelling narrative about your alternative path Drive and a track record of going above and beyond expectations Well-organised, self-starting and able to deliver to schedule Displays competency in researching new technology or approaches, and is able to tastefully and sustainably integrate changes and more modern approaches to technical projects. Provides comprehensive and insightful code review on items of any size within the project An eye for accessibility and performance Professional written and spoken English Experience with Linux (Debian or Ubuntu preferred) Excellent interpersonal skills, curiosity, flexibility, and accountability Excellent communication and presentation skills Result-oriented, with a personal drive to meet commitments Ability to travel twice a year, for company events for up to two weeks each Nice-to-have skills Experience with container tech such as LXD, Docker and Kubernetes Experience fostering and maintaining a talented team by defining excellence REST API design, development and governance Drive to deliver performance engineering and security experience What we offer colleagues We consider geographical location, experience, and performance in shaping compensation worldwide. We revisit compensation annually (and more often for graduates and associates) to ensure we recognise outstanding performance. In addition to base pay, we offer a performance-driven annual bonus or commission. We provide all team members with additional benefits, which reflect our values and ideals. We balance our programs to meet local needs and ensure fairness globally. Distributed work environment with twice-yearly team sprints in person Personal learning and development budget of USD 2,000 per year Annual compensation review Recognition rewards Annual holiday leave Maternity and paternity leave Employee Assistance Programme Opportunity to travel to new locations to meet colleagues Priority Pass, and travel upgrades for long-haul company events About Canonical Canonical is a pioneering tech firm at the forefront of the global move to open source. As the company that publishes Ubuntu, one of the most important open source projects and the platform for AI, IoT and the cloud, we are changing the world of software. We recruit on a global basis and set a very high standard for people joining the company. We expect excellence - in order to succeed, we need to be the best at what we do. Most colleagues at Canonical have worked from home since its inception in 2004.​ Working here is a step into the future, and will challenge you to think differently, work smarter, learn new skills, and raise your game. Canonical is an equal-opportunity employer We are proud to foster a workplace free from discrimination. Diversity of experience, perspectives, and background creates a better work environment and better products. Whatever your identity we will give your application fair consideration . #LI-Remote

Location: Home Based - Americas; Home based - EMEA Canonical is a leading provider of open source software and operating systems to the global enterprise and technology markets. Our platform, Ubuntu, is very widely used in breakthrough enterprise initiatives such as public cloud, data science, AI, engineering innovation, and IoT. Our customers include the world's leading public cloud and silicon providers, and industry leaders in many sectors. The company is a pioneer of global distributed collaboration, with 1200+ colleagues in 75+ countries and very few office-based roles. Teams meet two to four times yearly in person, in interesting locations around the world, to align on strategy and execution. The company is founder-led, profitable, and growing. Our mission is to build a next-generation private cloud infrastructure, combining KVM, Ceph, and SDN technologies to create a data center scale cloud that 'just works' and provides a mission-critical cloud for edge and core enterprise deployments. We're hiring engineering managers with experience in high-quality microservice architectures and high-performance team leadership who also have deep familiarity with Linux kernel, virtualisation, storage and networking. LXD components span the entire software stack from low-level kernel features to the upper level management API/CLI. Our most effective engineers are fluent in all these layers, and able to anticipate the consequences of design and engineering choices elsewhere in a complex distributed system. As an engineering manager at Canonical you must have a solid technical background, but your responsibility is to run an effective team and develop the colleagues you manage. You are expected to help them grow as engineers, do important work, do it outstandingly well, find professional and personal satisfaction, and work well with colleagues and the community. Technical leadership experience and a background in software engineering are necessary prerequisites for this role. You will be expected to lead, challenge, and develop engineers, positively influence the culture, facilitate technical delivery, and work with your team on strategy and execution. The successful candidate will have experience leading successful, collaborative engineering teams, and demonstrate the ability to solve challenging distributed systems problems and deep knowledge of Linux. Location : This is a remote position available in EMEA and the Americas. What you will focus on Lead a team of remote engineers Develop talent through coaching, mentoring, feedback and hands-on career development Set and manage expectations with other engineering teams, senior management, and external stakeholders Advocate and advance modern software development practices Participate in the engineering process through code and architectural review Engage with teams at Canonical, the open source community and partners Work from home with global travel for 4 to 6 weeks per year for internal and external events What we are looking for in you You understand modern Linux cloud computing technologies, including networking, storage, containers and K8s You love developing and growing people and have a strong track record of doing it You are focused on success and the delivery of timely, high quality software You have a Bachelor’s or equivalent in Computer Science, STEM or similar degree You have strong written and verbal technical communication skills You have experience programming in C and/or Go. What we offer you We consider geographical location, experience, and performance in shaping compensation worldwide. We revisit compensation annually (and more often for graduates and associates) to ensure we recognise outstanding performance. In addition to base pay, we offer a performance-driven annual bonus. We provide all team members with additional benefits, which reflect our values and ideals. We balance our programs to meet local needs and ensure fairness globally. Distributed work environment with twice-yearly team sprints in person Personal learning and development budget of USD 2,000 per year Annual compensation review Recognition rewards Annual holiday leave Maternity and paternity leave Employee Assistance Programme Opportunity to travel to new locations to meet colleagues Priority Pass, and travel upgrades for long haul company events About Canonical Canonical is a pioneering tech firm at the forefront of the global move to open source. As the company that publishes Ubuntu, one of the most important open-source projects and the platform for AI, IoT, and the cloud, we are changing the world of software. We recruit on a global basis and set a very high standard for people joining the company. We expect excellence; in order to succeed, we need to be the best at what we do. Most colleagues at Canonical have worked from home since our inception in 2004.​ Working here is a step into the future and will challenge you to think differently, work smarter, learn new skills, and raise your game. Canonical is an equal opportunity employer We are proud to foster a workplace free from discrimination. Diversity of experience, perspectives, and background create a better work environment and better products. Whatever your identity, we will give your application fair consideration. #LI-remote

Location: Home Based - Americas; Home based - EMEA Canonical is a leading provider of open source software and operating systems to the global enterprise and technology markets. Our platform, Ubuntu, is very widely used in breakthrough enterprise initiatives such as public cloud, data science, AI, engineering innovation, and IoT. Our customers include the world's leading public cloud and silicon providers, and industry leaders in many sectors. The company is a pioneer of global distributed collaboration, with 1200+ colleagues in 75+ countries and very few office-based roles. Teams meet two to four times yearly in person, in interesting locations around the world, to align on strategy and execution. The company is founder-led, profitable, and growing. We are hiring a Linux devices software engineer on our SnapD team to work on mission-critical Golang code, focused on software delivery, containers, security sandboxing, telemetry and device management. Snaps are next-generation software packaging and delivery for Linux . They are designed for safety, security and robustness, with application-specific confinement of containers optimised for IoT devices, desktops and servers. Our goal is that snaps work across multiple Linux flavors to ensure that publishers have the simplest way to reach the whole Linux world. This role requires an obsession with quality and performance, for work at the heart of the operating system. It also requires an interest in the software publishing and consumption experience. Applicants should be passionate about open source software development. We value collaboration, peer reviews, good unit/integration testing and maintainable code. General knowledge and experience with Linux as a developer platform is required. Having previous experience with Golang is very nice to have. Location : This role will be based remotely in the EMEA or Americas regions The role entails Collaborate proactively with a distributed team Write high quality code to create new features Debug Linux system level issues and produce high quality code to fix them Review code produced by other engineers Discuss ideas and collaborate on finding good solutions Obsess over how to achieve robustness despite unexpected events like power outages Work from home with global travel for up to two weeks, twice a year What we are looking for in you You love technology and working with brilliant people You are curious, flexible, articulate, and accountable You value soft skills, are thoughtful and self-motivated You have a Bachelor’s or equivalent in Computer Science, STEM or similar degree You have professional software development experience using Go, Python, C, or C++ You know Linux system-level fundamentals,  e.g. cgroups, namespaces, apparmor Commitment to software testing, code reviews and maintainable code What we offer colleagues We consider geographical location, experience, and performance in shaping compensation worldwide. We revisit compensation annually (and more often for graduates and associates) to ensure we recognize outstanding performance. In addition to base pay, we offer a performance-driven annual bonus or commission. We provide all team members with additional benefits which reflect our values and ideals. We balance our programs to meet local needs and ensure fairness globally. Distributed work environment with twice-yearly team sprints in person Personal learning and development budget of USD 2,000 per year Annual compensation review Recognition rewards Annual holiday leave Maternity and paternity leave Team Member Assistance Program & Wellness Platform Opportunity to travel to new locations to meet colleagues Priority Pass and travel upgrades for long-haul company events About Canonical Canonical is a pioneering tech firm at the forefront of the global move to open source. As the company that publishes Ubuntu, one of the most important open-source projects and the platform for AI, IoT, and the cloud, we are changing the world of software. We recruit on a global basis and set a very high standard for people joining the company. We expect excellence; in order to succeed, we need to be the best at what we do. Most colleagues at Canonical have worked from home since our inception in 2004.​ Working here is a step into the future and will challenge you to think differently, work smarter, learn new skills, and raise your game. Canonical is an equal opportunity employer We are proud to foster a workplace free from discrimination. Diversity of experience, perspectives, and background create a better work environment and better products. Whatever your identity , we will give your application fair consideration. #LI-remote

Location: Home Based - Americas; Home based - EMEA Canonical is a leading provider of open source software and operating systems to the global enterprise and technology markets. Our platform, Ubuntu, is very widely used in breakthrough enterprise initiatives such as public cloud, data science, AI, engineering innovation, and IoT. Our customers include the world's leading public cloud and silicon providers, and industry leaders in many sectors. The company is a pioneer of global distributed collaboration, with 1200+ colleagues in 75+ countries and very few office-based roles. Teams meet two to four times yearly in person, in interesting locations around the world, to align on strategy and execution. The company is founder-led, profitable, and growing. We are hiring a Staff-level Software Engineer for Identity Management to work on authorization and access management across Canonical's suite of enterprise products and web services, using Go (Golang) and Python. As a software engineer for Identity Management products of Canonical, you will modernize and expand the capabilities of the identity management solutions we use for authentication and authorization in our products, as well as our canonical.com and ubuntu.com websites. Your work on Identity Management will directly impact the users of all Canonical products. In addition, you will help write Juju charms to manage operational concerns. Technical excellence and a background in software engineering are necessary prerequisites for this role. You will be expected to own the design and delivery of the system, facilitate integrations and work with your team on strategy and execution. Location: This role will be based remotely in the EMEA and AMER regions. The role entails Collaborate proactively with a distributed team, leading technical efforts and discussions Write clean web service APIs to support both CLI and web frontend clients, using Go (Golang) and Python Design and implement new features and enhancements from spec to production and ongoing operations at scale Review code produced by other engineers, helping set quality standards Discuss ideas and collaborate on finding good solutions Create and enhance management, authentication and authorization API endpoints Craft end-user authentication flows from design to implementation Write Juju charms (operators) to manage operational concerns Modernize the identity stack of our websites and products by driving adoption of best-of-breed IAM technologies Deliver great products that users love by maintaining a culture of quality and engineering excellence Work from home with global travel 2 to 4 weeks per year for internal and external events What we are looking for in you You are a staff-level or experienced senior software engineer, with specific experience building identity and access management products You are familiar with the open source software, standards, protocols and concepts in the identity space (e.g. OpenID, OAuth, LDAP) You have experience implementing authorization frameworks in distributed systems You value secure coding and standards, and enjoy working on teams that do the same You are comfortable with Ubuntu as a development and deployment platform In addition: Exceptional academic track record from both high school and university Undergraduate degree in a technical subject or a compelling narrative about your alternative chosen path Professional written and spoken English with excellent presentation skills Excellent interpersonal skills, curiosity, flexibility, and accountability Ability to travel internationally twice a year for company events up to two weeks long What we offer colleagues We consider geographical location, experience, and performance in shaping compensation worldwide. We revisit compensation annually (and more often for graduates and associates) to ensure we recognize outstanding performance. In addition to base pay, we offer a performance-driven annual bonus or commission. We provide all team members with additional benefits which reflect our values and ideals. We balance our programs to meet local needs and ensure fairness globally. Distributed work environment with twice-yearly team conferences in person Personal learning and development budget of USD 2,000 per year Annual compensation review Recognition rewards Annual holiday leave Maternity and paternity leave Team Member Assistance Program & Wellness Platform Opportunity to travel to new locations to meet colleagues Priority Pass and travel upgrades for long-haul company events About Canonical Canonical is a pioneering tech firm at the forefront of the global move to open source. As the company that publishes Ubuntu, one of the most important open-source projects and the platform for AI, IoT, and the cloud, we are changing the world of software. We recruit on a global basis and set a very high standard for people joining the company. We expect excellence; in order to succeed, we need to be the best at what we do. Most colleagues at Canonical have worked from home since our inception in 2004.​ Working here is a step into the future and will challenge you to think differently, work smarter, learn new skills, and raise your game. Canonical is an equal opportunity employer We are proud to foster a workplace free from discrimination. Diversity of experience, perspectives, and background create a better work environment and better products. Whatever your identity, we will give your application fair consideration. #LI-remote

Location: Stryków, Poland D-ploy is an IT and Engineering Solutions company with operations throughout the EMEA region including Switzerland, Germany, Czech Republic, Austria, UK, as well as the USA. We pride ourselves on delivering innovative and superior services and solutions to numerous industry-leading clients. By building relationships and trusted partnerships within the IT community, we optimize our customer‘s IT productivity and contribute to the organization’s success and value. We are interested in talking to engaging, flexible, and solution-oriented individuals who are looking to become a part of a dynamically growing and international organization. We are focused on creating value where IT counts, join us! Responsibilities Own and develop relationships with partners, working with them to optimize and enhance our integration Report on common sources of technical issues or questions and make recommendations to the product team Constantly be on the lookout for ways to improve monitoring, discover issues, and deliver better value to the customer Define reporting and alerting requirements Perform quality assurance Understanding strategic business needs and plans for growth. Enhancing the quality of IT products and services. Analyzing the design of technical systems and business models. Finding technological solutions to business requirements. Producing reports on application development and implementation. Requirements Fluency in both Polish and English (C1+) A degree in IT / Computer Science / Business Administration, or related field. 3+ years of previous experience as an IT Business Analyst, IT Management position, or similar position Basic knowledge in generating process documentation Strong written and verbal communication skills including technical writing skills Previous experience in a Pharmaceutica l or Production environment Benefits Broad range of activities, tasks, and projects Flexible working conditions Fishing for Friends program – our referral program Further development and professional advancement Friendly and international working environment Company-sponsored events Is IT in your DNA?

Location: Cairo, Egypt Workplace: hybrid Yassir is the leading super App in the Maghreb region set to changing the way daily services are provided. It currently operates in 45 cities across Algeria, Morocco and Tunisia with recent expansions into France, Canada and Sub-Saharan Africa. It is backed (~$200M in funding) by VCs from Silicon Valley, Europe and other parts of the world. We offer on-demand services such as ride-hailing and last-mile delivery. Building on this infrastructure, we are now introducing financial services to help our users pay, save and borrow digitally. Helping usher the continent into a digital economy era. We’re not just about serving people - we’re about creating a marketplace to bring people what they need while infusing social values. About the role   We are looking for a senior Android developer to join our tech hub and support our growth and expansion. You will be part of the engineering team, working with a high-quality code base and the latest tools, where you will promote your skills to be an expert in complex frontend development in Android. Your primary focus will be the development of mobile applications and their integration with back-end services. You will be working alongside other engineers and developers working on different layers of the infrastructure. About your role as "Mobile Android Engineer" Design and build mobile applications for Android Ensure the performance, quality, and responsiveness of applications Collaborate with a team to define, design, and ship new features Identify and correct bottlenecks and fix bugs Help maintain code quality, organization, and automatization Participate in brainstorming sessions and contribute ideas to our technology, algorithms, and products. Work with the engineering and design teams to understand end-user requirements, formulate use cases, and then translate that into a pragmatic and effective technical solution Dive into difficult problems and successfully deliver results on schedule About your experience Must have technical skills A minimum of 4 years of experience in developing Android Apps. Language: Android, Kotlin Familiarity with cloud message APIs and push notification Web architecture: Rest and restful APIs, micro-services Version control: GIT Nice to have technical skills (Strongly advised) Containers: Docker, Kubernetes Caching, Redis server Scaling, Web load balancing Experience in a rapidly growing company in the mobility, on-demand, or fintech space is a plus BSc/MSc in Engineering, Computer Science, or relevant field Why you should join Yassir 😎 You will be part of one of the first Algerian startups to go through the Y Combinator program and one of the fastest-growing tech companies in North Africa. We are current in +25 cities (Algeria, Tunisia, Morocco, Paris, Berlin, and launching West Africa) 🤙🏽Have a lasting impact on our company's culture - you'll be one of the first staff in our Europe office 🎉 At Yassir we celebrate everything. OKR´s party! 🕟 Flexible working hours, because we care about your outcome and not output 💻 24/7 Office 📱 Mobile office - Office in all our sites 4 weeks at any location 🚉 Subsidized public transit pass 💬 Languages courses 📚 Yassir's academy 🚀 Perfect timing with renowned investors to build something great 🎯  Outstanding mentors who will assist you in your growth 💸 Attractive salary and you even get a stake in the company 📈 Extremely steep learning curve with own responsibility and intensive guidance 📣 Learn to be pragmatic and make the right and sustainable decisions 👌🏽Very strong team cohesion with daily and weekly activities 💯 Make a real impact on the world by helping us bring affordable financial and on-demand services to millions of Africans 👍🏽 Attractive offer with a well-paying salary 🤝 Buddy program ⚖️ As a company, we are passionate for diversity and inclusion, 40% of our team are women leaders in the tech sector At Yassir, we believe in the power of diversity and the importance of an inclusive culture. So, if you're ready to bring your unique perspective and experiences to the table, then we're excited to listen. Don't just apply for a job, come and be a part of our journey. Let's create a better tomorrow together. We look forward to receiving your application! Best of luck, Your Yassir TA Team

Location: Remote About HumanSignal Real-world data is the competitive edge in AI. HumanSignal is a human data partner for companies building AI models and products. Our customers ship better AI, faster, because we partner with their researchers from real-world data creation to annotation to delivery. We design and create datasets from scratch, recruit and manage the domain experts who evaluate model output, and run everything through our own platform, Label Studio, the open-source standard for data labeling and evaluation, used by over 1 million practitioners worldwide. We specialize in the operationally complex: real-world data collection, multimodal pipelines, and multi-step workflows. Advanced ML and AI teams use our enterprise platform to run their own data factories, and our services team to extend their reach where in-house capacity runs out. If you want to do work that materially shapes how the next generation of AI products gets built, we'd love to talk. The engineers on our team are great. We want to make sure they have a manager who makes them better, and that’s the role. We’re building across an open-source platform, enterprise software, and a managed data-services business that runs on our own product. We need to make delivery more predictable while giving engineers more ownership – not add another layer of approvals. You’ll help shape what we build, the commitments we make, and how the team works. You manage the team directly: 1:1s, feedback, performance, promotions, and the hard conversations. You own delivery so that what we decide to build turns into shipped software on a rhythm we can count on. You notice when someone is blocked and help them get unstuck without making yourself the dependency for every decision. When someone is struggling, you address it early. The part of this role we care about most is helping people become better professionals: better at scoping, estimating, making decisions, and owning outcomes rather than tasks. If your instinct when an engineer struggles is to take the work back, this isn’t the role. If your instinct is to figure out what they’re missing and help them develop it, keep reading. You still write and ship code. Not because we need another full-time individual contributor, but because I don’t believe you can effectively manage this team if you’ve stopped building. You stay hands-on to make better technical decisions, work through difficult problems, and improve how the team builds. Your job is not to become the team’s busiest engineer or the person every release depends on. You use coding agents in real work and understand where they help, where they fail, and how to verify their output. You make the team better by showing what works and helping people apply it – not by mandating tools or mistaking more generated code for better engineering. You can challenge architectural decisions, explain the tradeoffs, and help the team choose an approach it can ship and maintain. What you’ll own Delivery: Planning, scoping, and shipping quality software against a roadmap you help shape. You make tradeoffs explicit and push back when we’re asking the team to do more than it can do well. How the team works: Enough structure to make delivery predictable, not so much that it slows a small team down. You remove friction, address recurring blockers, and improve how we use AI tooling. People: Hiring, clear expectations, regular feedback, growth, promotions, and exits when they’re necessary. Technical judgment: Staying close enough to the code and architecture to challenge decisions and support engineers without becoming the approval gate for everything. The engineering response to escalations: Getting the right people involved, making priority calls, and addressing recurring causes across customer, services-team, and open-source issues. You’re accountable for the response, not expected to personally fix every problem. What we’re building A ground-up rebuild of the annotation editor, with interfaces generated by coding agents instead of hand-configured. Native evaluation of agent trajectories: trace ingestion, replay, and hybrid human-plus-model-judge workflows. Continuous calibration: treating automated evaluators as instruments that can drift and need ongoing checks against human ground truth. The workforce platform behind our managed services business. Quality analytics across annotators, models, and programs. Our own services team uses the platform to deliver customer work. You’ll see directly where the software helps, where it falls short, and which problems keep coming back. Part of the opportunity is turning that experience into better products, not just a growing list of one-off customer fixes. Stack: Python/Django, TypeScript/React, Postgres, Kubernetes. Coding agents are part of how we work every day. What success looks like Engineers take greater ownership and need less intervention. Scope and delivery risks surface early, rather than at the deadline. Customer commitments and product priorities are reconciled before they become emergencies. Recurring escalations lead to lasting fixes. The team ships more reliably, people are getting better at their work, and neither depends on you repeatedly stepping in to rescue a release. Who we’re looking for You’ve managed engineers for at least a couple of years. You’ve hired and developed people, addressed underperformance directly, and made difficult people decisions when necessary. Before that, you were a strong engineer for long enough to develop sound technical judgment. You can reason about architecture and tradeoffs beyond your own code. You still build software and enjoy it. You use coding agents seriously and can explain, with examples, what effective use looks like. You’ve shipped at a startup and know how to make decisions with incomplete information. You say what you think early, give specific feedback, and don’t manage by avoidance. You can balance long-term product work with customer deadlines, negotiate realistic commitments, and recognize when a services request should become a product capability, and when it shouldn’t. Nice to have: experience with ML tooling, data platforms, or evaluation systems; experience managing a distributed team; frontend architecture depth. How to apply Skip the form. Email me directly at michael@humansignal.com with examples of your best work. That can be code you’ve written, a system you designed, a team you built, a document that changed a decision, or a product you shipped. I want to see what you’re proud of and hear why. You don’t need a public portfolio, and please don’t share proprietary material. A description of the problem, your contribution, and the outcome is enough. A short note on what draws you to HumanSignal specifically helps too. I read everything that comes in. If it’s a fit, I’ll reach out. About HumanSignal We build the infrastructure that turns expert human judgment into reliable signal for AI systems. Label Studio, our open-source platform, is used by 250,000+ people across 60,000+ organizations. Label Studio Enterprise is the commercial version: the system of record for annotation and evaluation quality at companies shipping production AI. Alongside the software, we run a managed data-services business that puts our own platform and expert workforce to work on customers’ hardest evaluation and labeling programs.

Location: Home based - EMEA Canonical is a leading provider of open source software and operating systems to the global enterprise and technology markets. Our platform, Ubuntu, is very widely used in breakthrough enterprise initiatives such as public cloud, data science, AI, engineering innovation and IoT. Our customers include the world's leading public cloud and silicon providers, and industry leaders in many sectors. The company is a pioneer of global distributed collaboration, with 1000+ colleagues in 70+ countries and very few office based roles. Teams meet two to four times yearly in person, in interesting locations around the world, to align on strategy and execution. The company is founder led, profitable and growing. We are hiring a software developer to focus on dqlite, our distributed SQLite database which uses our own Raft library for establishing consensus and replication. Dqlite is available as a pure C library or through a Go package that we also maintain, and we intend to provide bindings for Python and other languages. You will design and implement enhancements to the libraft, dqlite and go-dqlite components which we consume in MicroK8s, LXD and other projects. Work includes development in those pieces of software as well as responding to issues and user inquiries. This is an excellent opportunity for someone who wants to have a meaningful impact on modern computing technologies. Canonical offers a fast-paced team environment and a career full of learning and development opportunities. Location : This is a remote position available in EMEA What you will focus on Design and implement features across dqlite Debug and fix issues encountered by your users Improve Jepsen tests, traditional HA database automated testing and stress tests Participate in our engineering process through code and architectural review Engage with the open source community and commercial partners What we are looking for in you Experience with distributed systems (preferably with Raft) Good C programming experience Solid understanding of asynchronous programming and concurrency patterns a plus Capacity to learn quickly about new systems and techniques Strong written and verbal communication skills Bachelor’s or equivalent in Computer Science, STEM or similar degree What we offer you We consider geographical location, experience, and performance in shaping compensation worldwide. We revisit compensation annually (and more often for graduates and associates) to ensure we recognise outstanding performance. In addition to base pay, we offer a performance-driven annual bonus. We provide all team members with additional benefits, which reflect our values and ideals. We balance our programs to meet local needs and ensure fairness globally. Distributed work environment with twice-yearly team sprints in person Personal learning and development budget of USD 2,000 per year Annual compensation review Recognition rewards Annual holiday leave Maternity and paternity leave Employee Assistance Programme Opportunity to travel to new locations to meet colleagues Priority Pass, and travel upgrades for long haul company events About Canonical Canonical is a pioneering tech firm at the forefront of the global move to open source. As the company that publishes Ubuntu, one of the most important open source projects and the platform for AI, IoT and the cloud, we are changing the world on a daily basis. We recruit on a global basis and set a very high standard for people joining the company. We expect excellence - in order to succeed, we need to be the best at what we do. Canonical has been a remote-first company since its inception in 2004.​ Working here is a step into the future, and will challenge you to think differently, work smarter, learn new skills, and raise your game. Canonical is an equal opportunity employer We are proud to foster a workplace free from discrimination. Diversity of experience, perspectives, and background create a better work environment and better products. Whatever your identity, we will give your application fair consideration. #LI-remote

Location: Home based - Worldwide Our ambition is to set a standard of excellence in the industry for technical documentation and documentation practice. This is your chance to be a part of that, as a Technical Author at Canonical . We are building documentation capacity at scale. We have dozens of positions available , for teams and products across the organisation, at all levels from Graduate to Senior Staff. All applications and candidates are handled through this one entry-point. To improve your chances of success in this application, read our advice on how to get a job at Canonical . These are not traditional technical writer roles. As a Technical Author, you will lead the documentation efforts of a Canonical team, in engineering, business operations or another part of the company. You will combine excellence in technical communication with subject-matter expertise and the ability to collaborate with colleagues across the organisation. Even the most junior Technical Authors will have the opportunity to develop and demonstrate technical authority, contributing to documentation practice as a first-class engineering and business discipline. You will work with the Diátaxis approach to documentation and help elevate standards of technical writing through attention to theory and practice. The role of a Technical Author A product-focused Technical Author is a member of a product engineering team, typically focused on a product or family of products. In this role you'll help the team develop documentation that serves the needs of the product's users. You will have responsibility for  the quality of the user experience with the product, and will contribute towards the long-term success of the project itself. A customer-focused Technical Author works in a team such as Field Engineering, Customer Success or Support, dealing with users of complex suites of Canonical software products, sometimes deployed in custom configurations. In this role you’ll take a responsive approach to software documentation problems and develop a strong understanding of how products work together and are used in the real world. An operations-focused Technical Author is part of a business team, for example Legal, HR or Talent. An important part of this work is to maintain internal documentation, such as employee handbooks. In this role you will help develop and improve materials that hundreds of colleagues rely on daily, and define patterns of business communication for a rapidly-growing organisation. Some open technical author roles at Canonical You’ll have a chance to tell us your preferred focus, and we'll work with you to find the right seniority level and team for you. Whatever your focus, you will also be a part of Canonical's documentation practice team , that includes all the company's Technical Authors. Here, you'll be amongst other documentation experts, who collaborate to define documentation excellence and drive the development of documentation practice and theory, across the company and in the open-source software community. Location: These are fully remote roles, open to candidates across the globe. As a Technical Author you will Create, maintain and improve software and other documentation Work with your team members, to help them make effective documentation contributions Influence the development of Canonical products and services, as an expert user who has important opinions about function and design Engage with user communities to ensure that our documentation meets their needs Encourage and support community engagement in and contribution to documentation Help standardise the structure, presentation, style and language of content across products Collaborate with documentation peers to advance the state of the art in documentation at Canonical Challenge and advance documentation understanding and best-practice, as part of a disciplinary team A strong candidate Is an excellent collaborator and communicator Cares deeply about functional written communication Is a technical writer with a programmer’s mindset, or a programmer with a record of producing excellent documentation Has a record of community engagement, in open-source software, documentation, research or other disciplines Is sympathetic to the needs and challenges of open-source software and its communities Demonstrates technical curiosity, and is fascinated by software technology and its challenges Has demonstrable documentation skills, insight and enthusiasm Has experience of software development contexts Is familiar with: Linux, working on the command line, Git, Sphinx, reStructuredText Holds a BSc/BA degree or equivalent Is able to travel twice a year for up to two weeks for events Nice-to-have skills Deep technical domain knowledge Open-source community leadership and management User-experience, interaction or visual design What we offer you We consider geographical location, experience, and performance in shaping compensation worldwide. We revisit compensation annually (and more often for graduates and associates) to ensure we recognise outstanding performance. In addition to base pay, we offer a performance-driven annual bonus or commission. We provide all team members with additional benefits, which reflect our values and ideals. We balance our programs to meet local needs and ensure fairness globally. Distributed work environment with twice-yearly team sprints in person Personal learning and development budget of USD 2,000 per year Annual compensation review Recognition rewards Annual holiday leave Maternity and paternity leave Employee Assistance Programme Opportunity to travel to new locations to meet colleagues Priority Pass, and travel upgrades for long haul company events About Canonical Canonical is a pioneering tech firm at the forefront of the global move to open source. As the company that publishes Ubuntu, one of the most important open source projects and the platform for AI, IoT and the cloud, we are changing the world of software. We recruit on a global basis and set a very high standard for people joining the company. We expect excellence - in order to succeed, we need to be the best at what we do. Most colleagues at Canonical have worked from home since its inception in 2004.​ Working here is a step into the future, and will challenge you to think differently, work smarter, learn new skills, and raise your game. Canonical is an equal opportunity employer We are proud to foster a workplace free from discrimination. Diversity of experience, perspectives, and background create a better work environment and better products. Whatever your identity, we will give your application fair consideration . #LI-remote

Location: Remote Workplace: Remote We are building AI to simulate the world through merging art and science. We believe that world models are at the frontier of progress in artificial intelligence. Language models alone won’t solve the world’s hardest problems – robotics, disease, scientific discovery. Real progress requires models that experience the world and learn from their mistakes, the same way that humans do. And this kind of trial and error can be massively accelerated when done in simulation, rather than in the real world. World models offer the most clear path to general-purpose simulation, changing how stories are told, how scientific progress is made and how the next frontiers of humanity are reached. Our team consists of creative, open minded, caring and ambitious people who are determined to change the world. We aspire to continuously build impossible things and our ability to do so relies on building an incredible team. If you are driven to do the same, we'd love to hear from you. *Titles posted to our careers page are updated regularly to best advertise the role and expected seniority, but internally we have a flat titling system with two types of titles: one for individual contributors and one for people managers. ABOUT THE ROLE We’re looking for Applied Research Scientists to help us develop cutting-edge computer vision and generative models to power our creative tools. We are looking for candidates with a strong background building impactful and novel machine learning projects, strong software engineering skills, and who are deeply interested in seeing their research materialize in novel user interfaces for creative tasks. This is a cross-functional team that requires strong communication and collaboration skills; you will have a chance to work with our backend team to help bring your research models to production, and with our design and frontend engineering team to make sure that your machine learning models work in harmony with the user interfaces that interact with them. WHAT YOU’LL NEED - 4+ years of relevant engineering or research experience in machine learning, computer vision and/or graphics - Expertise with programming such as Python, C++, CUDA, and deep learning frameworks such as TensorFlow and PyTorch. Very strong programming skills and ability to write clean and maintainable research code - Deep interest in building human-in-the-loop systems for creativity - Passion for seeing research through from initial conception to eventual application - Experience mentoring and teaching other researchers - Strong communication, collaboration, and documentation skills Runway strives to recruit and retain exceptional talent from diverse backgrounds while ensuring pay equity for our team. Our salary ranges are based on competitive market rates for our size, stage and industry, and salary is just one part of the overall compensation package we provide. There are many factors that go into salary determinations, including relevant experience, skill level and qualifications assessed during the interview process, and maintaining internal equity with peers on the team. The range shared below is a general expectation for the function as posted, but we are also open to considering candidates who may be more or less experienced than outlined in the job description. In this case, we will communicate any updates in the expected salary range. Lastly, the provided range is the expected salary for candidates in the U.S. Outside of those regions, there may be a change in the range, which again, will be communicated to candidates. WORKING AT RUNWAY Great things come from great teams. https://www.youtube.com/watch?v=kwmj4ato2kw&ab_channel=Runway We’d love to hear from you. We’re committed to creating a space where our employees can bring their full selves to work and have equal opportunity to succeed. So regardless of race, gender identity or expression, sexual orientation, religion, origin, ability, age, veteran status, if joining this mission speaks to you, we encourage you to apply. More about Runway - Universal World Simulator https://runwayml.com/world-simulator.html - GWM-1 https://runwayml.com/research/introducing-runway-gwm-1 - Gen-4.5 https://runwayml.com/research/introducing-runway-gen-4.5 - General World Models https://runwayml.com/research/introducing-general-world-models - Robotics SDK https://runwayml.com/research/introducing-runway-gwm-1#robotics-section - Conversational Real-time Agents https://runwayml.com/research/introducing-runway-gwm-1#avatars-section - Runway Studios https://runwayml.com/studios We're excited to be recognized as a best place to work: Crain's https://www.crainsnewyork.com/awards/best-places-work-2023 | InHerSight https://www.inhersight.com/companies/best/city/new-york-city-ny | BuiltIn NYC https://builtin.com/awards/new-york-city/2024/best-places-to-work | INC https://www.inc.com/best-workplaces/2024