Mechanized Analysis of Specifications

The overall goal of the project is the formal implementation of novel rich languages for the specification of highly critical software. Industrial requirements for critical systems are often modeled in an adaptation of temporal logic that is amenable for specification and has clean semantics. The main goal of this part will be to implement the formal...

Job TitleWorkday/IBS Analysis Senior SpecialistNOTE: Only candidates based in Spain with a valid work permit/citizenship should apply, as no sponsorship will be provided.As Workday Senior Analyst, you’ll be responsible for defining, building, delivering, and maintaining Workday HCM Integrations in alignment with Amadeus business strategy. Your goal is to...

Mission: Your mission will be to develop valuation models and economic-financial analysis that support decision-making in asset acquisition, bidding, and divestment processes; as well as the valuation of assets in the portfolio to make proposals that optimize the economic and financial viability of these assets. Responsibilities: Develop, coordinate, and...

FP&A Manager Ebury - Madrid Office - 4 days per week office based working - 1 day per week working from home The FP&A (Financial Planning & Analysis) Manager plays a critical role in providing financial insights and analysis to support the strategic decision-making process across the organization. This individual will be responsible for conducting financial...

Ebury is a hyper-growth FinTech firm, named in as one of the top FinTechs to work for by Glassdoor and AltFi. We offer a range of products including FX risk management, trade finance, currency accounts, international payments and API integration. FP&A Manager Ebury - Madrid Office - 4 days per week office based working - 1 day per week working from...

**_Financial Planning and Analysis Trainee_** - The position is responsible for supporting controlling/FP&A activities, including but not limited to Long Term Planning, Annual Budgeting, Forecasting, Standard Reporting and other Business Support & Analysis activities as required. The position will focus on executing standard processes, based on maintaining...

WHO WE ARE PURPOSE OF THE ROLE Run Price simulations with the internal Pricing Tool, calculating impact of proposals (Price, Margin, Break Even and Saving), and making recommendations. Alignment of Requirements with Local teams and Category teams in order to optimize Price Proposal by Operation. RESPONSIBILITIES - Operations: Cost changes incorporation...

Junior Tester Annotators for Data Analysis **JD - QA - Annotators for Data Analysis** **Location: Madrid City Center** **Task Description** - Annotation of data inputs, including grading and scoring - Creation of data from different sources to use as a base for grading and then to train models - Generation of ground truths - Code updates/correction and...

Tasks:Monitor the latest developments in the industry.Conduct in-depth research and analysis of powertrain market trends, especially technological and competitive aspects.Gather and synthesize large sets of data to derive actionable insights.Develop and deliver powerful presentations and reports to management and executive leadership, highlighting findings...

Risk Analysis Intern - Madrid  General Job Function: Support Probabilistic Safety Assessments (PSA) for nuclear power plant systems, evaluating plants potential vulnerability to all risk and hazard types (, seismic, fire, flooding, etc.) for domestic and international plants. Duties and Responsibilities (in the order of priority): Perform PSA tasks, using...

The position is responsible for conducting controlling/FP&A activities and member of the FP&A team, including but not limited to Long Term Planning, Annual Budgeting, Forecasting, Standard Reporting and other Business Support & Analysis activities as required. The position will focus on executing standard processes, based on maintaining internal service...

**JD - QA - Annotators for Data Analysis**: **Location: Madrid City Center**: **Task Description** - Annotation of data inputs, including grading and scoring - Creation of data from different sources to use as a base for grading and then to train models - Generation of ground truths - Code updates/correction and analysis Excel - Questions, Instruction and...

- International company.- dynamic and innovative environment.About Our Client- Our client is a leading player in the renewable energy sector, dedicated to advancing sustainable solutions globally.- Operating in countries from different continents, they are committed to driving innovation in energy storage.Job Description- Lead and manage the company's energy...

ThunderSoft is a provider of operating system technologies, superior products, and solutions, and experts in mobile, IoT, automotive, and enterprise since 2008. Headquartered in Beijing, it has more than 25 R&D centers and offices all over the world and 10000+ employees. We are looking for a talented After-Sales Failure Analysis Engineer in Madrid,...

Box2Bit, a developer and operator of digital infrastructures, with a strong focus on sustainable economic digitization, is in search of a student interested in entering the workforce through external academic internships, offering the opportunity to put into practice and expand upon the knowledge acquired during their education. We are looking to fill a...

Ebury is a hyper-growth FinTech firm, named in 2021 as one of the top FinTechs to work for by Glassdoor and AltFi. We offer a range of products including FX risk management, trade finance, currency accounts, international payments and API integration. **FP&A Senior Analyst** **Ebury - Madrid Office - 4 days per week office based working - 1 day per week...

Details Position : Financial Planning & Analysis Manager Start : As soon as possible Location : Madrid Full-time position About Otovo Otovo is Europe's leading platform for solar and battery systems. We are leading Europe into a clean, electrified future by making the purchase and installation of solar systems a seamless and affordable experience. Since the...

Description : For our Grid Integration Business Unit, we are looking for BU Market Intelligence and Analysis Manager. Main responsibilities: Support decision-making based on market data, collaborating on nurturing a data-driven culture. Gather, interpret data, and analyze results using analytics, research methodologies and statistical techniques,...

About Our Client Our client is a leading player in the renewable energy sector, dedicated to advancing sustainable solutions globally.Operating in countries from different continents, they are committed to driving innovation in energy storage. Job Description Lead and manage the company's energy storage strategy across operational countries.Provide support...

Analysis Engineer (m/f/d) for Platform-Software in the Area of Driver Assistance Systems and Autonomous Driving LOCATION Madrid COMPANY ARRK Engineering GmbH CONTRACT TYPE Full-time Form of Work Hybride WHAT TO EXPECT The team for the analysis of Platform Software examines errors, which occur during the execution of system- and component...