Expert in Programming Language Semantics

3 weeks ago


Étreux, Hauts-de-France, United States Amazon Full time
Overview:
The Automated Reasoning Group at Amazon develops innovative software analysis tools to enhance code quality. As a highly skilled Expert in Programming Language Semantics, you will join our team to design and implement novel code reasoning capabilities. This role requires collaboration with world-class experts to push the boundaries of automated reasoning and deductive verification.

Key Responsibilities:
You will be responsible for delivering novel software analysis tools and applying them to code at various levels of abstraction. A strong understanding of programming language semantics, intermediate languages, and compiler technologies is necessary. Additionally, experience in patents or publications at top-tier conferences or journals is desired. You will work closely with our team to create accessible code reasoning technology for all developers. Our inclusive workplace culture fosters innovation and creativity, offering a competitive salary range of $120,000-$160,000 annually based on location and experience.

  • Étreux, Hauts-de-France, United States Amazon Full time

    Job Summary:We are seeking a highly skilled Large Language Model Deployment Expert to join our team at Amazon. This role involves working on state-of-the-art runtime systems hosting Large Language Models (LLMs). The ideal candidate will have 5+ years of professional software development experience and expertise in leading design or architecture of new and...


  • Étreux, Hauts-de-France, United States Savvas Learning Full time

    Job OverviewSavvas Learning Company is a leading education provider that empowers educators and engages students with innovative learning solutions. We are seeking a dynamic Bilingual Specialist and pedagogical expert in dual language pedagogy to support our Northeast territory, particularly in New York City.About the RoleThis position will work in...


  • Étreux, Hauts-de-France, United States Brigham and Women's Hospital Full time

    Behavioral Program Delivery ExpertThe Brigham and Women's Hospital is seeking an experienced Behavioral Program Delivery Expert to join our research team in the Division of Sleep Medicine. In this exciting role, you will play a critical part in implementing a rigorous clinical research intervention for participants with insomnia.This per diem position offers...

  • Program Assistant

    4 weeks ago


    Étreux, Hauts-de-France, United States Boston Children's Hospital Full time

    Boston Children's Hospital is seeking an Administrative Associate to join the Program for Language Equity. As a key member of the team, this individual will provide administrative support for Dr. Khan's clinical trials and programs, including organizing meetings and assisting with trial logistics.Job RequirementsHigh School Diploma or Equivalent1 Year of...


  • Étreux, Hauts-de-France, United States Compunnel Inc. Full time

    About This OpportunityWe are seeking a highly skilled Java developer to join our team at Compunnel Inc.Job DescriptionThis is an exciting opportunity to work on challenging projects, collaborate with a talented team, and contribute to the growth and success of our organization.Key RequirementsExpertise in Java programming language and related...


  • Étreux, Hauts-de-France, United States Selby Jennings Full time

    About UsAt Selby Jennings, we are a leading provider of specialized recruitment solutions. Our team of experts has a deep understanding of the financial markets and the skills required to succeed in this field.Job DescriptionWe are seeking an experienced Quantitative Development Expert to join our team. The successful candidate will have a strong background...


  • Étreux, Hauts-de-France, United States Compunnel Inc. Full time

    Job DescriptionWe are seeking an experienced Application Security Expert to join our dynamic team at Compunnel Inc. As a security expert, you will play a key role in designing, implementing, and optimizing backend systems using C#, ASP.Net, .Net Core, and other relevant technologies.Main Responsibilities:Develop, test, and maintain .Net-based applications,...


  • Étreux, Hauts-de-France, United States Inficare Full time

    Job Overview:We are seeking an experienced Information Assurance Expert to join our team in Boston. As an Information Security Engineer, you will be responsible for designing and implementing secure systems and processes that align with industry best practices. This role offers a dynamic work environment with opportunities for professional growth and...


  • Étreux, Hauts-de-France, United States Saviance Full time

    About the OpportunityWe are seeking a talented Junior Kubernetes Expert to join our team at Saviance. As a Cloud Computing Specialist, you will be responsible for ensuring the smooth operation of our Amazon EKS clusters and related infrastructure components.Key ResponsibilitiesDesign and implement scalable, reliable, and automated solutions for deploying and...


  • Étreux, Hauts-de-France, United States Children's Hospital Boston Full time

    Job Summary:We are seeking an experienced Administrative Support Specialist - Language Equity Program to join our team at Boston Children's Hospital. As a key member of our program, you will be responsible for providing administrative support to ensure the smooth operation of our daily activities.About the Role:This is a full-time position that requires...


  • Étreux, Hauts-de-France, United States Boston Medical Center Full time

    Job OverviewWe are seeking an accomplished Speech Language Pathologist to fill the Acute Care Speech Language Pathologist position at Boston Medical Center. As a key member of our healthcare team, you will play a vital role in delivering exceptional patient care.Essential Skills and QualificationsA Master's Degree in Speech-Language Pathology from an...


  • Étreux, Hauts-de-France, United States Computational Health Informatics Program Full time

    **Job Title:** Genomics Research Expert We are seeking a highly motivated and skilled Genomics Research Expert to join our team at the Computational Health Informatics Program. The ideal candidate will have expertise in next generation sequencing (NGS) analysis and statistical genomics. The position offers a competitive salary of $85,000 - $110,000 per...


  • Étreux, Hauts-de-France, United States Boston Children's Hospital Full time

    **About Our Team:**">We are a dynamic team at Boston Children's Hospital, dedicated to providing exceptional care to our patients and their families. As an Administrative Associate, you will play a critical role in supporting our team and ensuring the smooth operation of our programs.">Salary: $62,000 - $72,000 per annum">Job Description: The Administrative...


  • Étreux, Hauts-de-France, United States Wayfair Full time

    Are you passionate about machine learning and eager to make a meaningful impact? Do you have a strong background in data science and a passion for solving real-world problems? Join our team at Wayfair as a Machine Learning Expert and help us drive business success and enhance customer experience through cutting-edge AI technologies.We're a fast-growing...


  • Étreux, Hauts-de-France, United States SysMind Tech Full time

    Job Description:SysMind Tech is seeking a talented and motivated individual to fill the role of Blue Prism and UiPath RPA Tool Expert. As a key member of our RPA team, you will be responsible for providing expert-level support and guidance on the implementation and optimization of Blue Prism and UiPath RPA tools.Responsibilities:Provide expert-level support...


  • Étreux, Hauts-de-France, United States StartUs GmbH Full time

    Job Description: We are looking for a Product Analytics Expert to help drive data-first culture at StartUs GmbH. In this role, you will be responsible for performing advanced analyses on large datasets to extract actionable insights that inform product decisions.Key Responsibilities:Analyze user behavior and strategic initiatives to identify trends and...


  • Étreux, Hauts-de-France, United States Amazon Full time

    About AmazonAmazon is committed to being the most customer-centric company in the world. We are always looking for talented individuals who share our passion for innovation and customer satisfaction.Role SummaryThis Machine Learning Scientist position is responsible for developing and implementing advanced machine learning algorithms to improve the customer...


  • Étreux, Hauts-de-France, United States Oracle Full time

    Overview">The successful candidate will be responsible for designing, developing, fixing, and debugging software programs for databases, applications, tools, and networks. You will also participate in modernizing database software fixing methods and procedures by bringing software diagnostic and triaging automation.">About Us">As a world leader in cloud...


  • Étreux, Hauts-de-France, United States Saxon Global Full time

    Job Title:Software Engineering ExpertSaxon Global is seeking a seasoned Software Engineering Expert to evaluate and modernize several applications. As an expert in Apache and NginX, you will advise on steps to improve performance and review opportunities to modernize the platforms.Evaluate current performance of Apache & NginX applications.Review...

  • Data Science Expert

    4 weeks ago


    Étreux, Hauts-de-France, United States Flagship Ventures Full time

    About Flagship PioneeringFlagship Pioneering is a bioplatform innovation company that invents and builds platform companies changing the world. We bring together top scientists, entrepreneurs, and capital to take courageous leaps in human health and sustainability.The RoleYou will be working as a Senior Machine Learning Researcher in our Abiologics division,...