Mechanized Analysis of Specifications

hace 3 semanas


Madrid, España IMDEA Software Institute A tiempo completo

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 completo

    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 (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 completo

    Systems & 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 completo

    Systems & 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 completo

    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...


  • 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...


  • Madrid, España Bertrandt A tiempo completo

    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...


  • Madrid, España Sonnedix A tiempo completo

    To 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...


  • 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...


  • Madrid, España W Electric Spain SAU A tiempo completo

    Member 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...


  • Madrid, España ThunderSoft Europe A tiempo completo

    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,...


  • Madrid, España Plexicus A tiempo completo

    Plexicus 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...


  • Madrid, Madrid, España Plexicus A tiempo completo

    Plexicus 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 completo

    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...


  • Madrid, España Hitachi Energy A tiempo completo

    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, assessing BU and...


  • Madrid, España HITACHI ENERGY SPAIN, S.A.U. A tiempo completo

    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,...

  • Head of Energy Storage

    hace 3 semanas


    Madrid, Madrid, España Page Executive A tiempo completo

    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

    hace 2 semanas


    Madrid, España ARRK Engineering GmbH A tiempo completo

    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...

  • Financial Planning

    hace 4 semanas


    Madrid, España Santander A tiempo completo

    Financial 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...


  • Tres Cantos, Madrid provincia, España Thales A tiempo completo

    Location: 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...