Y-Axis Jobs Logo
Send us feedback
telephone  +91 7670 800 001
Log in Sign up Try Premium

Software Jobs overseas

About 9372 results in (2) seconds Clear Filters

Jobs Search

About 9372 results in (2) seconds
Software Formal Verification Engineer at Apple
Munich, Bavaria, Germany - Full Time
Skills Needed
Formal Logic, Automated Reasoning, C, C++, Interactive Theorem Provers, Isabelle, Sml, Functional Programming, Formal Verification, Computer Architecture, Operating Systems, Problem Solving, Interpersonal Skills, Written Communication, Verbal Communication, Formal Specifications
Specialization
Requires deep knowledge of formal logic, automated reasoning, and proficiency in C, C++, or functional languages like SML. Experience with interactive theorem provers and a degree in Computer Science, Mathematics, or a related field is preferred.
Experience Required
Minimum 2 year(s)
Software Developer (Multiple Openings) at CrackaJack Digital Solutions LLC
Portland, Oregon, United States - Full Time
Skills Needed
Java, Jsp, Javascript, Sql, Css, Xml, Github, Visual Studio Code, Eclipse, Splunk, Soap Ui, Postman, Jenkins, Urban Code Deploy, Ci/Cd, Software Design
Specialization
Requires a Master's degree in Information Technology, Software, or Computer Engineering. Candidates must have at least 9 months of experience as a Software Developer, Technical Consultant, or UI Specialist.
Experience Required
Minimum 2 year(s)
Software Engineer (Services - Node.js) at F24
City of Zagreb, , Croatia - Full Time
Skills Needed
Node.Js, Typescript, Nestjs, Nextjs, Rabbitmq, Kafka, Redis, Docker, Kubernetes, Websockets, Oauth2, Gitlab Ci, Distributed Systems, Microservices, Event Driven Architecture, Saas
Specialization
Requires strong Node.js backend experience within scalable product SaaS environments. Candidates should be familiar with distributed systems, message brokers, cloud-native practices, and have exposure to AI/ML integration.
Experience Required
Minimum 2 year(s)
Software Engineer - Mobile Development at YouTrip
Singapore, , Singapore - Full Time
Skills Needed
Flutter, Dart, Swift, Ios Development, Kotlin, Android Development, Uikit, Swiftui, Restful Apis, Xctest, Ci/Cd, Clean Architecture
Specialization
Requires a degree in Computer Science or a related field and 3+ years of professional experience shipping production-grade iOS applications. Strong expertise in Swift, iOS architecture, and the Apple App Store ecosystem is essential.
Experience Required
Minimum 2 year(s)
Sr Software Engineer Consumer Services at MATTELCO UK Ltd
Hyderabad, Telangana, India - Full Time
Skills Needed
Production Support, Incident Management, Powerbuilder, Mssql, Salesforce Service Cloud, Middleware, Esb, Iis, Windows Server, Avalara, T Sql, Api Gateways, Runbook Management, Disaster Recovery, Change Management, Vendor Management
Specialization
Requires a bachelor's degree and over 10 years of experience in production enterprise application support, with at least 5 years in a lead role. Must have technical proficiency in PowerBuilder, MSSQL, Windows Server, and middleware/ESB integration patterns.
Experience Required
Minimum 10 year(s)
Senior PHP & Symfony Software Engineer at Jobgether
, , India - Full Time
Skills Needed
Php, Symfony, Object Oriented Programming, Clean Architecture, Phpunit, Tdd, Ci/Cd, Mongodb, React, Node.Js, Typescript, Docker, Kubernetes, Static Analysis, Software Design Patterns, Agile
Specialization
Requires at least 5 years of PHP experience and 3 years of hands-on experience with the Symfony framework. Must be proficient in TDD, clean architecture, and automated testing using tools like PHPUnit.
Experience Required
Minimum 5 year(s)
Senior Software Engineer - Automation at PAYMENTOLOGY SGP
Vilnius, Vilnius County, Lithuania - Full Time
Skills Needed
Python, Node.Js, Api Development, Ai Integration, Workflow Automation, Javascript, Restful Apis, Graphql, Express.Js, Django, Flask, Langchain, Langgraph, Ci/Cd, Git, Saas Integration
Specialization
Requires 3-5 years of experience in software development or automation engineering with proficiency in Python or Node.js. Candidates should have experience with AI frameworks and a proven track record of optimizing operational workflows.
Experience Required
Minimum 2 year(s)
Software Product Manager, CloudVision at Arista Networks
Santa Clara, California, United States - Full Time
Skills Needed
Product Management, Technical Marketing, Network Automation, Cloud Networking, Ui/Ux Design, Python, Ansible, Json, Grpc, Bgp, Vxlan, Mpls, Saas, Network Design, Technical Writing, Public Speaking
Specialization
Requires a Bachelor's degree and 10-12 years of networking industry experience, with a strong preference for product management or technical marketing roles. Expert knowledge in network management platforms, automation techniques, and enterprise use-cases like Data Center or Cloud is essential.
Experience Required
Minimum 10 year(s)
Software Development Engineer in Test at AKAMAI TECHNOLOGIES SINGAPORE PTE LTD
Bengaluru, karnataka, India - Full Time
Skills Needed
Python, Pytest, Unittest, Jenkins, Cloudbees, Git, Linux, Sql, Tcp/Ip, Http/Https, Dns, Dhcp, Ci/Cd, Automated Testing Frameworks, Root Cause Analysis, Distributed Systems
Specialization
Requires a Bachelor's degree in Computer Science or a related field with 1 to 2 years of experience. Proficiency in Python, CI/CD tools, Linux, SQL, and networking technologies is essential.
Software Development Engineer in Test at DTCC Candidate Experience Site
Hyderabad, Telangana, India - Full Time
Skills Needed
Automation Testing, Functional Testing, Integration Testing, Java, Python, Selenium, Testng, Karate, Rest Assured, Git, Bitbucket, Jenkins, Jira, Alm/Aqm, Api Testing, Ci/Cd
Specialization
Requires a minimum of 4 years of related experience and preferably a bachelor's degree. Candidates must have strong expertise in automation frameworks, programming languages like Java or Python, and experience in Agile delivery environments.
Experience Required
Minimum 2 year(s)
Senior Software Engineer - Full Stack at Westpac New Zealand
Auckland, Auckland, New Zealand - Full Time
Skills Needed
Full Stack Development, Java, Mobile Application Design, Ci/Cd, Devops, Cloud Platforms, Testing, Debugging, Quality Engineering, Technical Architecture, Problem Solving, Ai Integration, Collaboration, Scalable Application Design, Security, Reliability
Specialization
Requires over 7 years of software engineering experience with strong proficiency in Java and full-stack development. Candidates must demonstrate expertise in CI/CD, DevOps, and the ability to integrate AI into engineering workflows.
Experience Required
Minimum 5 year(s)
Senior Software Engineer - Automation at PAYMENTOLOGY SGP
Chișinău, , Moldova - Full Time
Skills Needed
Python, Node.Js, Api Development, Ai Integration, N8n, Restful, Graphql, Express.Js, Django, Flask, Langchain, Ci/Cd, Git, Saas Integration, Bash, Docker
Specialization
Requires 3-5 years of experience in software development or automation with proficiency in Python or Node.js. Candidates should have experience with AI frameworks and a proven track record of optimizing operational workflows.
Experience Required
Minimum 2 year(s)
Early Career Device Software Engineer at Fractile
London, England, United Kingdom - Full Time
Skills Needed
C, C++, Rust, Linux Kernel Drivers, Risc V, Bare Metal, Rtos, Qemu, Pcie, Dma, Embedded Linux, Instruction Level Optimization, Device Bring Up, Firmware Development, Soc Platforms, Hardware Debugging
Specialization
Candidates should be proficient in C, C++, or Rust with experience in Linux, bare-metal, or RTOS and a deep understanding of hardware architectures. A degree in Electronic Engineering, Computer Engineering, or Computer Science is common, though equivalent industry or open-source experience is accepted.
Software Engineer III - Test Framework at 7NXT Health Group
Dublin, Leinster, Ireland - Full Time
Skills Needed
C++, Automated Testing, Google Test, Object Oriented Programming, Cmake, Troubleshooting, Python, Git, Linux, Windows, Android Build Tools, Embedded Systems, Unit Testing, Dependency Injection, Software Design Patterns, Proxy Servers
Specialization
Requires a Bachelor's degree in Engineering or Computer Science and 3-5 years of experience in modern C/C++. Proficiency in automated testing frameworks, OOP principles, and CMake is essential.
Experience Required
Minimum 2 year(s)
Full Stack Software Engineer - A26223 at Activate Interactive Pte Ltd
Singapore, , Singapore - Full Time
Skills Needed
System Solutioning, Data Structures Analysis, Product Management, Low Code Platforms, Workflow System Design, Cloud Application Design, Tungsten Automation, Decisions Application Platform, Agile, Ci/Cd, Aws, Gcc, Api Development, Data Pipelines, Devsecops, Frontend Development
Specialization
Requires strong proficiency in system solutioning and experience with low-code platforms, specifically Tungsten Automation and Decisions. Candidates should be familiar with Agile, CI/CD (SHIP/HATS), and cloud platforms like AWS or GCC.
Experience Required
Minimum 5 year(s)
Software Engineer Intern - Generalist at ponyai
Fremont, California, United States - Full Time
Skills Needed
C++, Python, Software Design, Linear Algebra, Calculus, Graph Theory, Computational Geometry, Combinatorial Optimization, Stochastic Processes, Complexity Analysis, Data Pipeline Construction, Large Scale Data Processing, Real Time Systems, Full Stack Development, Statistical Analysis, Simulation Environments
Specialization
Candidates should be pursuing a BS, MS, or PhD in Computer Science or a related field with strong programming skills in C++ and Python. A solid foundation in mathematics and experience with large data set processing is required.
Vehicle Hardware & Software Technician at Applus IDIADA
Mountain View, California, United States - Full Time
Skills Needed
Vehicle Diagnostics, Mechanical Troubleshooting, Electrical Systems, Linux Terminal, Hardware Retrofitting, Vehicle Maintenance, Adas Calibration, Sensor Integration, Technical Documentation, Fleet Operations, Log Review, Safety Procedures
Specialization
Candidates need a foundation as an automotive or electromechanical technician with experience in diagnostics and basic Linux familiarity. A valid California driver's license and the ability to travel and work flexible hours are required.
Experience Required
Minimum 2 year(s)
Software Solutions Sales Manager - KSA at Advansys Engineering Services and Consultancy Limited
Riyadh, Riyadh Region, Saudi Arabia - Full Time
Skills Needed
Enterprise Software Sales, Go To Market Strategy, Territory Planning, Consultative Selling, Deal Management, Commercial Negotiation, Stakeholder Engagement, Pipeline Forecasting, Software Integration Solutions, Account Management, Rfp/Rfq Management, Market Intelligence
Specialization
Requires 5-8 years of proven experience in complex enterprise software sales and territory planning within the KSA market. Must possess deep domain expertise in software integration, AI, data, and business automation solutions.
Experience Required
Minimum 5 year(s)
Senior Software Engineer - Typescript at Blotato
Berlin, Berlin, Germany - Full Time
Skills Needed
N/A
Senior Embedded Software Engineer C++ at Hiretalent
Berlin, Berlin, Germany - Full Time
Skills Needed
N/A
Software Formal Verification Engineer at Apple
Munich, Bavaria, Germany -
Full Time

Start Date

Immediate

Expiry Date

18 Oct, 26

Salary

0.0

Posted On

20 Jul, 26

Experience

2 year(s) or above

Remote Job

Yes

Telecommute

Yes

Sponsor Visa

No

Skills

Formal Logic, Automated Reasoning, C, C++, Interactive Theorem Provers, Isabelle, SML, Functional Programming, Formal Verification, Computer Architecture, Operating Systems, Problem Solving, Interpersonal Skills, Written Communication, Verbal Communication, Formal Specifications

Industry

Computers and Electronics Manufacturing

Description
Imagine what you could do here. Apple’s formal verification team is looking for a software formal verification engineer who is passionate about helping deliver correctness guarantees for Apple’s most critical systems through state-of-the-art formal verification methodology. Apple devices are at the center of the daily lives of over a billion customers. We rely on them to handle our private data carefully and securely. As part of the formal verification team, you will work alongside kernel, security, and other formal experts to deliver on this promise. Dynamic, smart people and inspiring, innovative technologies are the norm here. Join our team of formal experts and make a real difference to Apple’s devices and to the state-of-the-art of software formal verification. DESCRIPTION As a software formal verification engineer you will be involved with: Developing full formal proofs for Apple’s critical software systems Flushing out bugs and security issues within these systems before they ever hit production. Collaborating with Apple’s world-class software teams to improve the quality of the software. Communicating formal specifications to non-formal engineers Crafting novel and creative improvements that continuously improve our software formal verification methodology. Developing and implementing re-usable and optimized formal models and verification code bases MINIMUM QUALIFICATIONS Deep knowledge of formal logic and automated reasoning Good knowledge of C, C++ or similar languages. Strong experience using interactive theorem provers (Isabelle a plus) Good knowledge of SML or other functional languages Understanding of formal methods/formal verification for real-world systems a plus Understanding of computer architecture and operating systems a plus Understanding of general programming languages paradigms a plus Strong problem solving and interpersonal skills  Strong written and verbal communication in English PREFERRED QUALIFICATIONS Completed Bachelor's, Master's or PhD Degree program in Electronic Engineering, Computer Science, Computer Engineering, Mathematics / Applied Mathematics or a related field.
Responsibilities
Develop full formal proofs and optimized models to ensure the correctness and security of critical software systems. Collaborate with software teams to identify bugs before production and improve overall software quality.
Software Formal Verification Engineer at Apple
Munich, Bavaria, Germany - Full Time
Skills Needed
Formal Logic, Automated Reasoning, C, C++, Interactive Theorem Provers, Isabelle, Sml, Functional Programming, Formal Verification, Computer Architecture, Operating Systems, Problem Solving, Interpersonal Skills, Written Communication, Verbal Communication, Formal Specifications
Specialization
Requires deep knowledge of formal logic, automated reasoning, and proficiency in C, C++, or functional languages like SML. Experience with interactive theorem provers and a degree in Computer Science, Mathematics, or a related field is preferred.
Experience Required
Minimum 2 year(s)
Software Developer (Multiple Openings) at CrackaJack Digital Solutions LLC
Portland, Oregon, United States - Full Time
Skills Needed
Java, Jsp, Javascript, Sql, Css, Xml, Github, Visual Studio Code, Eclipse, Splunk, Soap Ui, Postman, Jenkins, Urban Code Deploy, Ci/Cd, Software Design
Specialization
Requires a Master's degree in Information Technology, Software, or Computer Engineering. Candidates must have at least 9 months of experience as a Software Developer, Technical Consultant, or UI Specialist.
Experience Required
Minimum 2 year(s)
Software Engineer (Services - Node.js) at F24
City of Zagreb, , Croatia - Full Time
Skills Needed
Node.Js, Typescript, Nestjs, Nextjs, Rabbitmq, Kafka, Redis, Docker, Kubernetes, Websockets, Oauth2, Gitlab Ci, Distributed Systems, Microservices, Event Driven Architecture, Saas
Specialization
Requires strong Node.js backend experience within scalable product SaaS environments. Candidates should be familiar with distributed systems, message brokers, cloud-native practices, and have exposure to AI/ML integration.
Experience Required
Minimum 2 year(s)
Software Engineer - Mobile Development at YouTrip
Singapore, , Singapore - Full Time
Skills Needed
Flutter, Dart, Swift, Ios Development, Kotlin, Android Development, Uikit, Swiftui, Restful Apis, Xctest, Ci/Cd, Clean Architecture
Specialization
Requires a degree in Computer Science or a related field and 3+ years of professional experience shipping production-grade iOS applications. Strong expertise in Swift, iOS architecture, and the Apple App Store ecosystem is essential.
Experience Required
Minimum 2 year(s)
Sr Software Engineer Consumer Services at MATTELCO UK Ltd
Hyderabad, Telangana, India - Full Time
Skills Needed
Production Support, Incident Management, Powerbuilder, Mssql, Salesforce Service Cloud, Middleware, Esb, Iis, Windows Server, Avalara, T Sql, Api Gateways, Runbook Management, Disaster Recovery, Change Management, Vendor Management
Specialization
Requires a bachelor's degree and over 10 years of experience in production enterprise application support, with at least 5 years in a lead role. Must have technical proficiency in PowerBuilder, MSSQL, Windows Server, and middleware/ESB integration patterns.
Experience Required
Minimum 10 year(s)
Senior PHP & Symfony Software Engineer at Jobgether
, , India - Full Time
Skills Needed
Php, Symfony, Object Oriented Programming, Clean Architecture, Phpunit, Tdd, Ci/Cd, Mongodb, React, Node.Js, Typescript, Docker, Kubernetes, Static Analysis, Software Design Patterns, Agile
Specialization
Requires at least 5 years of PHP experience and 3 years of hands-on experience with the Symfony framework. Must be proficient in TDD, clean architecture, and automated testing using tools like PHPUnit.
Experience Required
Minimum 5 year(s)
Senior Software Engineer - Automation at PAYMENTOLOGY SGP
Vilnius, Vilnius County, Lithuania - Full Time
Skills Needed
Python, Node.Js, Api Development, Ai Integration, Workflow Automation, Javascript, Restful Apis, Graphql, Express.Js, Django, Flask, Langchain, Langgraph, Ci/Cd, Git, Saas Integration
Specialization
Requires 3-5 years of experience in software development or automation engineering with proficiency in Python or Node.js. Candidates should have experience with AI frameworks and a proven track record of optimizing operational workflows.
Experience Required
Minimum 2 year(s)
Software Product Manager, CloudVision at Arista Networks
Santa Clara, California, United States - Full Time
Skills Needed
Product Management, Technical Marketing, Network Automation, Cloud Networking, Ui/Ux Design, Python, Ansible, Json, Grpc, Bgp, Vxlan, Mpls, Saas, Network Design, Technical Writing, Public Speaking
Specialization
Requires a Bachelor's degree and 10-12 years of networking industry experience, with a strong preference for product management or technical marketing roles. Expert knowledge in network management platforms, automation techniques, and enterprise use-cases like Data Center or Cloud is essential.
Experience Required
Minimum 10 year(s)
Software Development Engineer in Test at AKAMAI TECHNOLOGIES SINGAPORE PTE LTD
Bengaluru, karnataka, India - Full Time
Skills Needed
Python, Pytest, Unittest, Jenkins, Cloudbees, Git, Linux, Sql, Tcp/Ip, Http/Https, Dns, Dhcp, Ci/Cd, Automated Testing Frameworks, Root Cause Analysis, Distributed Systems
Specialization
Requires a Bachelor's degree in Computer Science or a related field with 1 to 2 years of experience. Proficiency in Python, CI/CD tools, Linux, SQL, and networking technologies is essential.
Software Development Engineer in Test at DTCC Candidate Experience Site
Hyderabad, Telangana, India - Full Time
Skills Needed
Automation Testing, Functional Testing, Integration Testing, Java, Python, Selenium, Testng, Karate, Rest Assured, Git, Bitbucket, Jenkins, Jira, Alm/Aqm, Api Testing, Ci/Cd
Specialization
Requires a minimum of 4 years of related experience and preferably a bachelor's degree. Candidates must have strong expertise in automation frameworks, programming languages like Java or Python, and experience in Agile delivery environments.
Experience Required
Minimum 2 year(s)
Senior Software Engineer - Full Stack at Westpac New Zealand
Auckland, Auckland, New Zealand - Full Time
Skills Needed
Full Stack Development, Java, Mobile Application Design, Ci/Cd, Devops, Cloud Platforms, Testing, Debugging, Quality Engineering, Technical Architecture, Problem Solving, Ai Integration, Collaboration, Scalable Application Design, Security, Reliability
Specialization
Requires over 7 years of software engineering experience with strong proficiency in Java and full-stack development. Candidates must demonstrate expertise in CI/CD, DevOps, and the ability to integrate AI into engineering workflows.
Experience Required
Minimum 5 year(s)
Senior Software Engineer - Automation at PAYMENTOLOGY SGP
Chișinău, , Moldova - Full Time
Skills Needed
Python, Node.Js, Api Development, Ai Integration, N8n, Restful, Graphql, Express.Js, Django, Flask, Langchain, Ci/Cd, Git, Saas Integration, Bash, Docker
Specialization
Requires 3-5 years of experience in software development or automation with proficiency in Python or Node.js. Candidates should have experience with AI frameworks and a proven track record of optimizing operational workflows.
Experience Required
Minimum 2 year(s)
Early Career Device Software Engineer at Fractile
London, England, United Kingdom - Full Time
Skills Needed
C, C++, Rust, Linux Kernel Drivers, Risc V, Bare Metal, Rtos, Qemu, Pcie, Dma, Embedded Linux, Instruction Level Optimization, Device Bring Up, Firmware Development, Soc Platforms, Hardware Debugging
Specialization
Candidates should be proficient in C, C++, or Rust with experience in Linux, bare-metal, or RTOS and a deep understanding of hardware architectures. A degree in Electronic Engineering, Computer Engineering, or Computer Science is common, though equivalent industry or open-source experience is accepted.
Software Engineer III - Test Framework at 7NXT Health Group
Dublin, Leinster, Ireland - Full Time
Skills Needed
C++, Automated Testing, Google Test, Object Oriented Programming, Cmake, Troubleshooting, Python, Git, Linux, Windows, Android Build Tools, Embedded Systems, Unit Testing, Dependency Injection, Software Design Patterns, Proxy Servers
Specialization
Requires a Bachelor's degree in Engineering or Computer Science and 3-5 years of experience in modern C/C++. Proficiency in automated testing frameworks, OOP principles, and CMake is essential.
Experience Required
Minimum 2 year(s)
Full Stack Software Engineer - A26223 at Activate Interactive Pte Ltd
Singapore, , Singapore - Full Time
Skills Needed
System Solutioning, Data Structures Analysis, Product Management, Low Code Platforms, Workflow System Design, Cloud Application Design, Tungsten Automation, Decisions Application Platform, Agile, Ci/Cd, Aws, Gcc, Api Development, Data Pipelines, Devsecops, Frontend Development
Specialization
Requires strong proficiency in system solutioning and experience with low-code platforms, specifically Tungsten Automation and Decisions. Candidates should be familiar with Agile, CI/CD (SHIP/HATS), and cloud platforms like AWS or GCC.
Experience Required
Minimum 5 year(s)
Software Engineer Intern - Generalist at ponyai
Fremont, California, United States - Full Time
Skills Needed
C++, Python, Software Design, Linear Algebra, Calculus, Graph Theory, Computational Geometry, Combinatorial Optimization, Stochastic Processes, Complexity Analysis, Data Pipeline Construction, Large Scale Data Processing, Real Time Systems, Full Stack Development, Statistical Analysis, Simulation Environments
Specialization
Candidates should be pursuing a BS, MS, or PhD in Computer Science or a related field with strong programming skills in C++ and Python. A solid foundation in mathematics and experience with large data set processing is required.
Vehicle Hardware & Software Technician at Applus IDIADA
Mountain View, California, United States - Full Time
Skills Needed
Vehicle Diagnostics, Mechanical Troubleshooting, Electrical Systems, Linux Terminal, Hardware Retrofitting, Vehicle Maintenance, Adas Calibration, Sensor Integration, Technical Documentation, Fleet Operations, Log Review, Safety Procedures
Specialization
Candidates need a foundation as an automotive or electromechanical technician with experience in diagnostics and basic Linux familiarity. A valid California driver's license and the ability to travel and work flexible hours are required.
Experience Required
Minimum 2 year(s)
Software Solutions Sales Manager - KSA at Advansys Engineering Services and Consultancy Limited
Riyadh, Riyadh Region, Saudi Arabia - Full Time
Skills Needed
Enterprise Software Sales, Go To Market Strategy, Territory Planning, Consultative Selling, Deal Management, Commercial Negotiation, Stakeholder Engagement, Pipeline Forecasting, Software Integration Solutions, Account Management, Rfp/Rfq Management, Market Intelligence
Specialization
Requires 5-8 years of proven experience in complex enterprise software sales and territory planning within the KSA market. Must possess deep domain expertise in software integration, AI, data, and business automation solutions.
Experience Required
Minimum 5 year(s)
Senior Software Engineer - Typescript at Blotato
Berlin, Berlin, Germany - Full Time
Skills Needed
N/A
Senior Embedded Software Engineer C++ at Hiretalent
Berlin, Berlin, Germany - Full Time
Skills Needed
N/A