Internship in automata methods for arithmetic theories

Verisure is seeking talented, innovative and passionateinternsto join our growing and successful company on an excellent career program.The successful candidate will be able to join an ever-growing company with a great opportunity to develop into one of our key permanent roles.You could be part of one of our excellent business teams including but not only:...

Red Skios S.A. is seeking a passionate and proactive AI & Software Development Internto join our hybrid team in Madrid. You will contribute to a high-impact, real-world project developing Artificial Intelligence tools for national security and defense decision-making. This is a 3-month part-time internship with the potential for a full-time position...

Applications are invited for a PhD position in the area of logic, model theory, programming language design, software verification, and type theory at IMDEA Software Institute in Madrid, Spain, starting immediately.Who should apply?The candidate must have a M.Sc. degree in Computer Science, preferably with expertise in one of the above fields. Good teamwork...

Arlo Europe, part of Verisure, is seeking a talented, hands-on and Customer Order ServiceIntern.The role will be based in Madrid, Spain, will report directly into the Customer Order Service Coordinator, Arlo Europe.This is aninternshipfor 6 months, with a possibility to extend +6 months (for a total 1 year).The role will be expected to make an immediate...

Company Description It all started in sunny San Diego, California in 2004 when a visionary engineer, Fred Luddy, saw the potential to transform how we work. Fast forward to today — ServiceNow stands as a global market leader, bringing innovative AI-enhanced technology to over 8,100 customers, including 85% of the Fortune 500. Our intelligent cloud-based...

The Transformation office Intern will be a key member of the Transformation Office team, reporting to the managers of the team. The role will be based in Madrid. The Transformation Office Intern will work side by side with HR Transformation managers to define and ensure adequate and consistent implementation of several strategic projects across all HR...

Internship Data Tooling Engineer (m/f/x)WHAT TO EXPECTAt ARRK Engineering, we develop software for the growing autonomous driving domain. We are looking for dynamic and motivated professionals who want to be creative and grow with their tasks. As we advance towards automated driving, our Analysis Department autonomous vehicle functions is actively engaged...

Company Overview:If a culture of excellence, innovation and ownership is what you're searching for, consider putting your experience in motion at Flowserve. As an individual contributor, or as a leader of people, your enterprise mindset will ensure Flowserve's position as the global standard in comprehensive flow control solutions. Here, your opportunity for...

SOC InternAbout the InternshipIn this Internship, you will gain experience in SOC - Security Operations Centers work. You will learn how to monitor and analyze security alerts, investigate potential threats.LocationThe position will be based in Madrid (Spain).Experience you will gainMonitor security events and alerts using advanced security tools (such as...

Verisure is seeking a talented, innovative and passionate Talent Acquisition intern to join our growing and successful company on an excellent opportunity within the Group Talent Acquisition Team.The successful candidate will be able to join an ever-growing company with a great opportunity to develop into one of our permanent roles. We are currently hiring 2...