Mechanized Analysis of Specifications
hace 3 semanas
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 operational semantics of one concrete industrial specification language in a formal tool like Maude, K or as a translation into formal modeling languages like Alloy.
The second goal will be to use the implementation of the semantics to implement tools that perform important tasks like interpreting the semantics against inputs to the system, answers reachability queries (for example to be used for automated test generation) or detects contradictions.
**Who should apply?**:
**Working at IMDEA Software**:
The position is based in Madrid, Spain, where the IMDEA Software Institute is situated. The institute provides for travel expenses and an internationally competitive stipend. The working language at the IMDEA Software Institute is English.
**Dates**:
The duration of the position will be 9 months.
**How to apply?**:
For enquiries about the position, please contact: pierre.ganty (at) imdea.org or cesar.sanchez (at) imdea.org
-
Risk Analysis Intern
hace 4 semanas
Madrid, España W Electric Spain SAU A tiempo completoRisk 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 (i.e., seismic, fire, flooding, etc.) for domestic and international plants. **Duties and Responsibilities (in the order of priority)**: - **Perform...
-
Manager, Systems
hace 14 horas
Madrid, España W Electric Spain SAU A tiempo completoSystems & Safety Analysis Manager **Responsibilities**: - Manage workload planning and resource assignments for the Systems and Safety Analysis group in Europe with + 25 engineers in 4 different locations (Madrid, Tarragona, Nívelles, Manheim). - Provide oversight for a team of engineers with a wide range of cross-cutting and integrated skills and...
-
Manager, Systems
hace 17 horas
Madrid, España Westinghouse Electric Company LLC. A tiempo completoSystems & Safety Analysis Manager Responsibilities: Manage workload planning and resource assignments for the Systems and Safety Analysis group in Europe with + 25 engineers in 4 different locations (Madrid, Tarragona, Nivelles, Manheim). Provide oversight for a team of engineers with a wide range of cross-cutting and integrated skills and functions (from...
-
Financial Planning
hace 4 semanas
Madrid, España Ebury A tiempo completoEbury 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
hace 4 semanas
Madrid, España Radisson Hotel Group, Madrid Office- Finance A tiempo completo**_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...
-
ES – Engineer in PWT market analysis
hace 3 semanas
Madrid, España Bertrandt A tiempo completoTasks: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...
-
Energy Market Analysis Manager
hace 1 mes
Madrid, España Sonnedix A tiempo completoTo apply, please submit a CV and Covering Letter explaining how your experience matches the requirements of our position and how your personal motivators and values align to Sonnedix purpose.**Vacancy Name** - Energy Market Analysis Manager - Spain (Madrid) **Locations** - Madrid **Location Country** - Spain **Profile** - We currently have an exciting...
-
(Hma367) - Head Of Energy Storage (Bess)
hace 2 semanas
Madrid, España Page Executive A tiempo completo- 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...
-
Systems and Safety Analysis Engineer
hace 1 mes
Madrid, España W Electric Spain SAU A tiempo completoMember of the Systems and Safety Analysis group performing engineering evaluations and analyses of technical products and services to support operation of the nuclear power plants in the nuclear safety and performance field. - Perform a variety of engineering tasks in support to operation of nuclear power plants (preparation of inputs to run thermo-hydraulic...
-
Isa Financial Planning
hace 4 semanas
Madrid, España Boston Consulting Group A tiempo completo**WHAT YOU'LL DO**: This is a key role in the finance department, with a balance of budgeting and operational responsibilities, involving regular interaction with MDPs and department managers. As a member of the ISA Finance Team, you will support the ISA Head of Finance on managing the planning and budgeting process for the system; responsible for effective...
-
Senior After-Sales Failure Analysis Engineer
hace 1 mes
Madrid, España ThunderSoft Europe A tiempo completoThunderSoft 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,...
-
Business Analysis and Sales Strategy Internship
hace 2 días
Madrid, España Plexicus A tiempo completoPlexicus is a dynamic start-up currently in the R&D phase. We are devoted to developing innovative solutions in the tech sector and are gearing up for the market launch of our flagship product, Covulor.Location: Madrid International Lab, Calle Bailen 41, 28005, MadridCompensation: €1000/month (Note: Salary is subject to change upon product release and as...
-
Business Analysis and Sales Strategy Internship
hace 2 días
Madrid, Madrid, España Plexicus A tiempo completoPlexicus is a dynamic start-up currently in the R&D phase. We are devoted to developing innovative solutions in the tech sector and are gearing up for the market launch of our flagship product, Covulor.Location: Madrid International Lab, Calle Bailen 41, 28005, MadridCompensation: €1000/month (Note: Salary is subject to change upon product release and as...
-
Financial Planning
hace 2 semanas
Madrid, España Sdi Digital Group A tiempo completoDetails 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...
-
Bu Market Intelligence and Analysis Manager
hace 1 mes
Madrid, España Hitachi Energy A tiempo completoFor 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, assessing BU and...
-
BU Market Intelligence and Analysis Manager
hace 1 mes
Madrid, España HITACHI ENERGY SPAIN, S.A.U. A tiempo completoDescription : 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,...
-
Head of Energy Storage
hace 3 semanas
Madrid, Madrid, España Page Executive A tiempo completoAbout 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
hace 2 semanas
Madrid, España ARRK Engineering GmbH A tiempo completoAnalysis 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...
-
Financial Planning
hace 4 semanas
Madrid, España Santander A tiempo completoFinancial Planning & Analysis Manager for Santander Alternative Investment Country: Spain **Santander Alternatives is looking for a Financial Planning & Analysis Manager in our Castellana office.** **WHY YOU SHOULD CONSIDER THIS OPPORTUNITY** **Santander Alternatives **is a growing business that started almost 3 years ago with already €2.5bn in...
-
Eee Parts and Analysis Project Responsible
hace 4 semanas
Tres Cantos, Madrid provincia, España Thales A tiempo completoLocation: Madrid Tres Cantos, Spain A Joint Venture between Thales (67%) and Leonardo (33%), Thales Alenia Space is a global space manufacturer delivering, for more than 40 years, high-tech solutions for telecommunications, navigation, Earth Observation, environmental management, exploration, science and orbital infrastructures. Thanks to our diversity of...