SummaryImagine 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
About Us KONUX is a dynamic and fast-growing technology company that is transforming the way the railway industry works. Our AI-powered solutions empower our customers to make smarter, data-driven decisions, and our culture is fueled by
Company Description We are the designers of today for the world of tomorrow. As one of the world’s leading engineering service providers, we at ALTEN are committed to positively shaping the future of our partners, the
Tenstorrent is leading the industry on cutting-edge AI technology, revolutionizing performance expectations, ease of use, and cost efficiency. With AI redefining the computing paradigm, solutions must evolve to unify innovations in software models, compilers, platforms, networking,
#WeAreIn for jobs that impact everyones life.Coding the future, one algorithm at a time -ready for the challenge?As a Principal Engineer Agentic Software Development and Verification in the Software & DataScience team, get ready to program theintelligence behind
#WeAreIn for jobs that impact everyones life. Do you want to be the driving spirit behind everything we do? As a Lead Principal Engineer Agentic SoftwareDevelopment and Verification on the Software & Data Science team, get ready to
At CesiumAstro, we are developers and pioneers of out-of-the-box communication systems for satellites, UAVs, launch vehicles, and other space and airborne platforms. We take pride in our dynamic and cross-functional work environment, which allows us to
About the Company: Tools for Humanity (TFH) designs and builds technology behind World. World is building a real human network designed to accelerate people in the age of AI. As bots and autonomous agents reshape the
As a Spacecraft Electronics Engineer, you will be designing and integrating custom components for our next-generation satellite platform. This includes the design of PCBAs; the selection, evaluation, and integration of various off-the-shelf components and custom sensors, radios,
Job ID 515028 Posted since 22-Jul-2026 Organization Digital Industries Field of work Sales Company Siemens Electronic Design Automation GmbH Experience level Experienced Professional Job type Full-time Work mode Office/Site only Employment type Permanent Location(s) Munich -
Here at The Exploration Company, we are developing, producing, and operating Nyx, a modular and reusable space orbital vehicle that can eventually be refuelled in orbit and that can carry cargo - and potentially humans in
We develop power and precision measurement electronics for our test systems, from concept to final product. Comprehensive product development requires expertise in a wide range of disciplines. To enhance our design team, we are seeking Analog
About the role At ARX Robotics you will help validate and accelerate the development of next-generation autonomous ground vehicles through high-fidelity simulation environments. As a Robotics SIL Simulation Engineer, you will build the Software-in-the-Loop (SIL) infrastructure that
About the Role We are seeking a Senior Safety Engineer to ensure the safe deployment, operation, and sustainment of our defense systems in real-world environments. In this role, you will focus on identifying, assessing, and mitigating operational
(Senior) Engineer, IRIS2 Satcom - MBSE The job responsibilities outlined in this document are not exhaustive and may evolve over time and be reviewed according to business needs. PROGRAMME DESCRIPTION IRIS2 is the new European Union secure
Engineer, Satellite Network Integration & Validation, IRIS2 The job responsibilities outlined in this document are not exhaustive and may evolve over time and be reviewed according to business needs. PROGRAMME DESCRIPTION IRIS2 is the new European Union
About Analog Devices Analog Devices, Inc. (NASDAQ: ADI) is a global semiconductor leader that bridges the physical and digital worlds to enable breakthroughs at the Intelligent Edge. ADI combines analog, digital, AI, and software technologies into
About Analog Devices Analog Devices, Inc. (NASDAQ: ADI) is a global semiconductor leader that bridges the physical and digital worlds to enable breakthroughs at the Intelligent Edge. ADI combines analog, digital, AI, and software technologies into
Company:Qualcomm Germany GmbH Job Area:Engineering Group, Engineering Group Technical Standards Engineering General Summary: As a senior Technical Standards contributor and participant, you will work closely with internal and external partners to improve and evolve industry technical
About AstraZeneca AstraZeneca is a global, science-led, patient-focused biopharmaceutical company that focuses on the discovery, development and commercialization of prescription medicines for some of the worlds most serious diseases. But were more than one of the