Senior Software Developer in Deductive Verification

3 weeks ago


Étreux, Hauts-de-France, United States Amazon Full time
About the Role:
Amazon's Automated Reasoning Group is seeking an experienced Senior Software Developer in Deductive Verification to drive the development of cutting-edge code reasoning capabilities. As part of our team, you will collaborate with world-class experts to design and implement novel software analysis tools. Your expertise in deductive verification, SAT/SMT, and programming languages will help us deliver high-quality code reasoning technology. The ideal candidate will have a strong background in computer science, electrical engineering, or a related field, with 4+ years of experience in programming languages such as Java, C++, or Python. An estimated annual salary of $130,000-$170,000 is available, depending on location and experience.

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

    Company OverviewBio-Techne is a leading global provider of high-quality reagents, instruments, custom manufacturing, and testing services for Life Science and Clinical Diagnostics. Our family of brands creates a unique portfolio of products and services that empower researchers to achieve reproducible and consistent results.Job SummaryWe are seeking a highly...


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

    United Software Group is seeking a skilled Software Systems Developer to join our team. This is a full-time position based in the United States.Salary: $120,000 - $180,000 per year, depending on experience.Job Description:The Senior Apex Developer serves a critical role on the Lab Information Management Systems technical team (LIMS Team) and shall act as an...


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

    Senior Software DeveloperEstimated Salary: $130,000 - $180,000 per yearAbout the Role:We are seeking a Senior Software Developer to join our team. In this role, you will lead the development of software applications using various technologies.Your Responsibilities:Lead the development of software applicationsDesign and implement software...

  • Java Developer

    2 weeks ago


    Étreux, Hauts-de-France, United States United Software Group Full time

    Job Title:Sr. Java DeveloperUnited Software Group Overview:United Software Group is a cutting-edge technology company that specializes in delivering top-notch software solutions. Our mission is to empower businesses by providing innovative, reliable, and secure software applications.Estimated Salary:$125,000 - $155,000 per yearJob Summary:We are looking for...


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

    United Software Group is a leading provider of software solutions, and we are seeking a highly skilled Senior Software Engineer - Java to join our team. In this role, you will be responsible for designing and developing software applications using Java technologies.Key Responsibilities:Develop software applications using Java, Spring, and related...


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

    About the RoleAs a seasoned professional in software engineering management, you will play a pivotal role in leading a team of experts in control software verification for the Hugo robotic-assisted surgery platform. Your key responsibilities will include driving process improvement, managing and developing software test talent, and fostering synergy with...


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

    Accelerate Innovation in Robotic SurgeryWe are seeking an experienced Senior Software Engineering Manager to lead our Control Software Verification team in the development and testing of our globally launched Robotic Assisted Surgery platform. As a key member of our Surgical Operating Unit, you will be responsible for driving process improvement,...


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

    Job OverviewThe Senior Software Developer position at Oracle involves designing, developing, and troubleshooting software programs for databases, applications, tools, and networks. As a member of the software engineering division, you will take an active role in defining and evolving standard practices and procedures.About UsOracle is a world leader in cloud...


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

    **Job Title:** Senior Oracle Developer**Location:** Jamaica Plain, MA**Salary Range:** $120,000 - $150,000 per yearWe are seeking a highly skilled Senior Oracle Developer to join our team at United Software Group. The ideal candidate will have 5+ years of experience in Oracle database management and administration.The Senior Oracle Developer will be...


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

    Triunity Software is a Product Development, Staff Augmentation, and Consulting Services company providing solutions and services in North America. We are seeking a seasoned Senior Java Developer to join our dynamic team and contribute to the development of cutting-edge software solutions.About the Role:This full-time position involves working on various...


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

    Job Title: Senior Software Development ManagerTakeda Pharmaceutical is seeking a highly skilled and experienced Senior Software Development Manager to lead our software development team. As a key member of our organization, you will be responsible for designing and implementing high-quality software applications using Java programming language.Main...


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

    About the JobWe are looking for a talented Senior Software Developer to join our Data team at WEX. In this role, you will work on designing, testing, coding, and instrumenting new data products, systems, platforms, and pipelines of high complexity.Key ResponsibilitiesDevelop and maintain CI/CD automation using tools such as GitHub Actions.Implement...


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

    Job Title: Senior AI Software DeveloperCompany Overview: At Amazon, we're committed to innovation and excellence in the field of Artificial Intelligence. Our team is dedicated to developing cutting-edge Large Language Models (LLMs) that power our runtime systems.About the Role: We're seeking a highly skilled Senior AI Software Developer to join our team. As...


  • Étreux, Hauts-de-France, United States Evolution Recruitment Solutions, USA Full time

    Evolution Recruitment Solutions, USA is seeking a highly skilled Senior Software Development Specialist to join our team. In this role, you will have the opportunity to work on complex software projects and deliver impactful solutions.As a Senior Software Development Specialist, your primary responsibility will be to design, develop, and implement...


  • Étreux, Hauts-de-France, United States Insurance Services Office Full time

    OverviewAt Insurance Services Office, we're shaping the future of risk management with cutting-edge technology and innovative solutions. Our team of experts is dedicated to helping businesses navigate complex challenges and thrive in a rapidly changing world.We're seeking an exceptional Senior Software Developer to join our dynamic team and contribute to the...


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

    Job Title: Senior .NET Software Engineer in BostonWe are seeking an experienced .NET Web API software engineer to join our team in Boston. As a key member of our development team, you will be responsible for designing and implementing robust web services using .NET technologies. This is a unique opportunity to work on challenging projects with a talented...


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

    Job DescriptionWe are seeking a talented Senior Software Developer to join our team at TetraScience, the Scientific Data and AI Cloud company. In this role, you will be responsible for developing and maintaining high-quality software solutions that enable scientists and researchers to leverage and analyze complex datasets.Key Responsibilities:Design and...


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

    We are seeking an experienced Senior Frontend Software Developer to join our Agile team at Veson Nautical. This role offers a great opportunity to work with other engineers, wear multiple hats, and contribute to the development of end-to-end maritime commerce solutions.As a Senior Frontend Software Developer, you will be responsible for coding, testing, and...


  • Étreux, Hauts-de-France, United States Insurance Services Office Full time

    Job Overview">We are seeking an experienced Senior Software Developer to join our team at Insurance Services Office.The ideal candidate will have a strong understanding of object-oriented design and programming concepts, with a minimum of 5 years developing Windows/Linux server-based applications using C++.The role will involve leading architecture, design,...


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

    Saviance is seeking a Senior Software Development Engineer to join our team in Mexico Remote. This is a 6+ months opportunity to work on cutting-edge software solutions.Job DescriptionWe are looking for a highly skilled and experienced software development engineer to lead our quality assurance efforts. As a Technical Lead, you will be responsible for...