Вакансии

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: Metn, Lebanon The Company Toters is an on-demand e-commerce and delivery platform and operates a service that enables customers to get anything in their city at the highest level of convenience. At Toters, technology is at the heart of everything we do. We have product teams that are working hard every day to create products that make our customers' lives easier. Our engineers are also continuously creating solutions to make our processes more efficient, all in an effort to get to our customers fast and at the best cost. If you are interested in working in a high growth startup environment, and look to be part of a team that will potentially change the way customers shop in the Middle East, apply now. Role The Product Designer is responsible for delivering largely independent UI and UX for our different platforms. As a Product Designer at toters, you will collaborate with teams of designers, researchers, engineers, content strategists, and product managers throughout the product process, setting the bar for creative excellence and providing best-in-class visual design thinking and usability expertise at the start of every project. You will utilize user flows, wireframes, flow diagrams, storyboards, user interface mockups, and/or high-fidelity prototypes to convey the user experience at different phases of the design process. It will be your mission to promote the prioritization of design-centered adjustments, adjustments, and enhancements. Responsibilities Create user-centered designs by embracing an outside-in approach, bringing the voice of the customers into the organization, gather customer feedback, analyze and synthesize usability findings, develop user journeys. Design intuitive, results driven products and thoughtful user experiences that balance aesthetics and usability. Perform user research, conduct user tests, and design the overall functionality of the product to guarantee an excellent user experience. Be resourceful and creative to overcome obstacles and turn challenges into opportunities. Develop Prototypes to demonstrate and evaluate potential ideas with stakeholders and validate hypotheses by conducting usability testings. Listen and share with colleagues across the company to drive collaboration. Work within an Agile team environment that delivers through iteration. Maintain design consistency throughout our products. Discuss design principles and guidelines with various company stakeholders to gain their support. Be the user-advocate by conducting usability tests on early designs and making implementation recommendations from a user-centered standpoint. Above all, enjoy creating cutting-edge consumer applications for the Web and mobile platforms. Qualifications You hold a BA/BS degree or equivalent practical experience; an advanced degree is a plus. You have 5+ years of experience in UX & UI design. You’re skilled with Figma, Sketch, or other design tools. You’re familiar with design thinking and human-centered methodologies. You know how to conduct or interpret user research and usability testing. You use data and user insights to guide your decisions. You’re an excellent communicator and a team player. You thrive in a fast-paced, iterative, and remote-friendly environment. You understand the importance of design systems and consistency. You’ve collaborated with PMs, engineers, and stakeholders to bring ideas to life. You’re comfortable designing end-to-end experiences, from research to high-fidelity UI.

Location: Home Based - Americas 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 1300+ 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 Regional HR Manager at Canonical to support our AMER region. With colleagues across 75+​ ​countries, we require a People function that thinks and acts globally.​ We're looking for a regional lead that will report into our Global Head of HR who can help build our company as we go through continued growth plans. It's an exciting time to join with the opportunity to help shape and create an HR function for the future. You will lead the Americas team of HR professionals to provide precise, compliant and scalable HR operations to the business, advise and execute on HR issues across the whole employee life-cycle, and partner with senior leadership in your region. You will have an analytical approach, a keen eye for detail and the ability to interpret data trends and themes. The role entails the individual to: Lead and scale Canonical’s regional HR team Deliver precise and compliant HR operations in a timely manner and with the highest degree of accuracy Interact closely with the broader People team to create tight-knit processes across all regions Be accountable for HR processes such as talent development, succession planning, performance assessments, onboarding, culture and engagement initiatives that drive high performing teams Work with senior managers across the business on performance management, organizational design, employee engagement, rewards- and workforce planning Own as well as coach and advise people managers on the full spectrum of employee relations issues, across multiple countries Partner with people managers to support the delivery of appropriate training and development programs Establish a trusted partnership with the business in your region Drive diversity, equity, and inclusion initiatives Design new policies and deliver on business-critical HR related projects globally Present at Canonical events to articulate Canonical’s HR practices What we are looking for in you Exceptional academic track record from both high school and university HR experience leading initiatives across regions within a technology business People management experience Experience in business partnering with senior stakeholders A good balance between leading and executing, in this role you will need to be hands-on involved in the daily HR routines too Experience in working in a remote first organization Able to leverage data to make informed decisions Knowledge and practical implementation of HR practices and employment law across the Americas region Experience in handling and overseeing complex ER matters across multiple jurisdictions Fluent in business English (written and spoken) Self motivated, organized, accurate, confident, authentic, results-orientated, open-minded, enthusiastic and energetic Willingness to travel up to 4 times a year for internal events Nice-to-have skills Experience with immigration policies and mobility processes Professional HR qualification (SHRM or other) Facilitation skills 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. 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; Home Based - APAC; Home based - EMEA Lead an engineering team that partners with the Linux engineers of a major silicon company, and works across the full Linux stack from kernel to GUI, to optimise Ubuntu, the world’s most widely used Linux desktop and server, for the latest silicon. The role is a fast-paced, problem-solving role that’s challenging yet very exciting. The right candidate must be resourceful, articulate, and able to deliver on a wide variety of solutions across PC and IoT technologies. Our teams partner with specialist engineers from major silicon companies to integrate next-generation features and performance enhancements for upcoming hardware. As a Partner Engineering Manager at Canonical your role is to manage relationships with our key technology partners by ensuring timely delivery on agreed project milestones. Technical leadership experience and a background in software engineering are necessary prerequisites for this role. You will be expected to lead, challenge, and develop strong engineers, positively influence the culture, facilitate technical delivery, and work with your team on strategy and execution. What you’ll do Lead a team of distributed engineers to design and implement the best Ubuntu integration for the latest IoT and server-class hardware platforms and software stacks Engage with commercial partners to deliver a delightful, optimised, first class Ubuntu experience on their platforms Develop your team through coaching, mentoring, leading by example, and feedback Oversee commercial engagements and support timely delivery on agreed project milestones Ensure an ongoing commitment to strict quality and reliability standards Engage with other teams at Canonical to ensure alignment on product architecture and roadmaps Work from home with global travel up to twice a year for up to two weeks Who you are You have worked with Linux distributions, debian packaging and high performance, server-class hardware You have experience working directly with customers, resolving their technical issues, interpreting their business challenges and effectively communicating how your solution will meet their needs You have demonstrated experience managing or leading a team of software engineers You have understanding of agile software development methodologies You collaborate effectively across multiple internal teams, building trust and delivering results You have effective communications skills in English, both written and oral You have a bachelor’s (or equivalent university level) degree, preferably in a technology field What Canonical offers Learning and Development opportunities Annual Compensation Review Recognition Rewards Annual Leave Priority Pass for travel 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 - EMEA As a pioneer remote-first tech company with a product that inspires people globally, we attract a huge number of applicants to our organisation. We have created a hiring process that is totally unique empowering our business based Hiring Leadership team to lead talent selection. Our Talent Science team ensures that our processes are effective and that the business is able to make the best decisions to select exceptional talent. This is an exceptional opportunity to join a team that is changing the way an organisation hires. Our Talent Science team has a mission to ensure that we follow objective, scientifically rigorous and efficient processes to select the very best new colleagues regardless of location, culture or background. We work closely with our key stakeholders to ensure that decisions are being made in the right way and that our hiring model supports the selection of world class talent, regardless of location, culture or background. As a Talent Scientist, you will work closely with these Hiring Leads to drive initiatives, automation and best practice whilst offering an expert viewpoint on talent assessments. This is not a recruiter position;  it's about the science of talent and performance, raising awareness and insights across the business so that they are able to select the best talent available from our global talent pool. We have a number of mid-senior level openings in our team seeking the following: Passion and drive to embed scientific approaches that deliver impact on how an organisation selects talent. Strong behavioural interviewing techniques (competency based and psychometric assessments). Excellent analytical problem solving ability to identify trends and patterns using SQL, statistical analysis or Python, BI tooling, etc. An exceptional academic background including a Bachelors or Masters degree in a Psychology based subject. A high level of personal organisation to work remotely and be effective. Location: This is a remote position based in the EMEA region What your day will look like As a Talent Scientist you will: Drive talent analytics to provide our business with real-time insight, partnering with the business to help them move through their hiring processes efficiently. Conduct in-depth behavioural talent interviews providing considerable insights into motivations and behaviours. Build key relationships with global stakeholders to ensure we deliver against our hiring agenda, closely monitoring hiring activities, driving results and ensuring that there is consistency in our operational processes. Drive data driven insights, making sure our decision making process is robust and supportive to inform our decisions. Consider our employer brand and how our interactions with a candidate impacts their experience. Review and streamline hiring processes and tools to drive continuous improvement. Work with external third parties and platforms to ensure we maximise our return on investment. Bring a passion for diversity and inclusion, ensuring we remove unconscious bias from our hiring process and ensuring our sourcing strategy underpins this. What we are looking for in you An exceptional academic background from high school and university, with a Bachelors or Masters degree in a Psychology based subject. Experience of hiring talent in the technology or consulting industry. A highly data drive mindset with the ability to create measurable outcomes. Passionate about how an organisation selects talent using scientific approaches with viewpoint on how to predict and measure hiring outcomes. Strong analytical problem solving ability to identify trends and patterns using SQL, with Python and/or advanced statistical analysis preferable. Exposure/appreciation of psychometric assessments, including interpretation. Experience of conducting behavioural, competency based interviews with the ability to train stakeholders and advise on how to get the best out of an interview. A high level of personal organisation and self drive to work remotely and be effective. Willingness to travel to company events 2-4 times a year, for up to two weeks each. Other skills you may bring Experience in sourcing and headhunting with the ability to teach our senior leadership team how to hunt for industry leaders. Experience in statistical significance testing and experience in Bayesian inference and/or predictive analytics and ML. Exposure to the following tools: LinkedIn Talent Insights, Greenhouse, DISC profiling, Superset. Psychometric validity and reliability metrics. 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 - Shenzhen, China Role Summary Ubuntu is the most widely used Linux for innovation from cloud to connected device. Our growing team of IoT field engineers help customers deliver sophisticated IoT products and services across a wide range of industries - from autonomous vehicles to refrigeration solutions. Field engineers carry a significant responsibility - helping customers understand the range of silicon and board options, helping them deliver their unique applications, and helping them ensure the security of critical infrastructure. Our team hires software engineers with experience in the full stack of Linux from firmware to GUI. We represent Canonical and its capabilities to some of the most important companies in the world. Our customers have tremendously varied goals - from mission critical and very expensive machines to tiny and low-cost things. We aim to bring the right insights at each stage of the process and to help these customers make effective choices. Most importantly, we aim to help them deliver devices that meet their business goals, on time. Responsibilities include consulting, developing, demonstrating, and presenting some of the most advanced operating systems and application technologies available in the enterprise world. The role is a fast-paced, problem-solving environment and the questions require answers can be challenging yet very exciting. The right candidate must be resourceful, quick-thinking, and able to deliver on a wide variety of solutions across cloud, server, desktop and IoT technologies. This role will support customers in China and the broader Asia-Pacific market. Key Responsibilities and Accountabilities Build strategic relationships with key technology partners and customers Conduct yourself as a trusted technical advisor Apply expertise in analysing a customer's business or technical challenges and correctly map the appropriate solution Leverage deep knowledge of Ubuntu and related technologies to provide technical subject matter expertise to sales staff, partners, and customers for the development and implementation of complex IoT products and end-end solutions Work in conjunction with Canonical’s IoT and Cloud sales, delivery and business development teams to grow existing customer accounts as well as winning new customers, including the interaction with other offices in APAC (Taipei, Tokyo and Beijing). Develop and present technical sales collateral such as presentations, how-to guides, and technical competitive documents to project teams. Propose and present custom technical solutions to Canonical’s clients and partners based upon Ubuntu technologies such as Ubuntu Core, Snaps and other Canonical technologies. Understand and champion the technical knowledge and product skills required to meet customer requirements and close new business. Assist in coordinating and preparing responses to RFx documents. Based in Shenzhen, travel required; mix of domestic and international up to 30%. Required Skills and Experience A degree in engineering, preferably computer science or software engineering 2 years experience in enterprise or commercial software development with Linux Excellent communication and presentation skills - both to customers and in support of technology and industry conferences. Skills in supporting complex sales cycles what involve detailed technical requirements, multiple technical stakeholders and new innovative product designs. Ability to interpret customer business challenges and technical issues and effectively communicate how a solution will align to their needs and requirements. Experience of deploying embedded and IoT solutions - from hardware, operating systems through applications and cloud services. Understanding of security issues in the IoT industry. Understanding of the Linux kernel: modules, BSPs, etc. Familiarity with x86 and ARM SoC architectures and vendors. Experience of working in verticals such as automotive, robotics, gateway, networking, industrial and digital signage. 5+ years of experience in technical roles with Linux, preferably Ubuntu Open source & Linux Familiarity with open source development tools and methodology. A strong and demonstrated grasp of Linux technologies including advanced scripting, development and Linux software packaging experience. Familiarity with the licenses and license compliance requirements for open source software. Familiarity with boot loaders and hardware-related aspects of Linux development Strong English and Chinese language communication skills, especially in online environments such as mailing lists and social collaboration tools Ability to be productive in a globally distributed team through self-discipline and self-motivation, delivering according to a schedule. Self-driven personality.