Model scrisoare de intentie. Descarca modele pregatite de specialisti dn care merita sa te inspiri
Engineer for Dependable Software Intensive Systems
Acest job nu mai este activ!Vezi toate job-urile Siemens Romania active.Vezi toate job-urile Engineer for Dependable Software Intensive Systems active pe Hipo.roVezi toate job-urile in IT Software active pe Hipo.ro |
Angajator: | Siemens Romania |
Domeniu: |
|
Tip job: | full-time |
Nivel job: | 1 - 5 ani experienta |
Orase: |
|
Actualizat la: | 21.03.2019 |
Remote work: | On-site |
We are a technology company focused on industry, infrastructure, transport, and healthcare. From more resource-efficient factories, resilient supply chains, and smarter buildings and grids, to cleaner and more comfortable transportation as well as advanced healthcare, we create technology with purpose adding real value for customers. By combining the real and the digital worlds, we empower our customers to transform their industries and markets, helping them to transform the everyday for billions of people.
Siemens in Romania - Technology to Transform the Everyday
- 8 cities: Bucharest, Cluj-Napoca, Brașov, Sibiu, Galați, Buziaș
- 2,300 employees
- 5 Research and Development centres
- 4 factories
Siemens contribution to society:
- 300,000 € Investments in equipment for universities
- 1,600 internship students
- 100,000 m² more efficient offices through Siemens intelligent management solutions
- 1,000,000 residents benefit from drinking water through Siemens automation and monitoring solutions
- 7 cities equipped with Siemens automation systems for wastewater treatment
Our four strategic priorities:
1. Customer impact - We anticipate what our customers need before they even know they need it.
2. Technology with purpose - Innovative technology has been at the core of Siemens for more than 170 years and it will remain at the core of the future we're building.
3. Empowered people - Driving progress by empowering our customers, partners and employees.
4. Growth mindset - Rather than make yesterday last, we are committed to building tomorrow by learning and being open to change.
To address these challenges, we need higher automation of the development process and capabilities for performing deep analyses in automated manner. Our group develops approaches and consults Siemens business units to introduce model driven engineering and automated (formal) verification techniques for the design, analysis and development of dependable systems. We design domain specific languages which are capable to prevent users up-front to make mistakes by using correct-by-construction and deep consistency checks. We speedup the development by increasing the abstraction level with domain specific languages, automating tasks by using modern environments and massively generate code from high level models.
Your new role – challenging and future – oriented
Integrate model driven engineering techniques in the development process
Integrate formal verification techniques in the development process
Develop domain specific languages, tooling and generators
Actively communicate experience to the team
Your Qualifications – Solid and Appropriate
Senior
Experience with language engineering technologies (Jetbrains' MPS, Xtext, Eclipse Modelling Framework, compilers)
Experience with applying automated (formal) verification in real projects (e.g. SMT solvers, model checkers, dynamic analysis)
Experience with specification approaches, design by contract, etc.
Knowledge of main-stream model driven engineering approaches (e.g. SysML, Simulink)
Experience with object-oriented software development
Passion for programming and modeling languages
Excellent coding skills in Java / C++
Passion for software development
Experience with agile and iterative incremental development methods
Junior
Knowledge about compilers and about language engineering technologies (Eclipse EMF, Xtext, Jetbrains' MPS)
Knowledge about formal verification technologies (SAT, SMT, Model-Checking)
Knowledge of main-stream model driven engineering approaches (e.g. SysML, Simulink)
Passion for programming and modeling languages
Knowledge of object-oriented software development
Ability to code in Java, C++
Passion for software development
Job-uri similare care te-ar putea interesa: |
|
---|---|
QA Automation Engineer Remote | |
ETL/Data Engineering Specialist Remote | |
QA Automation Engineer Remote | |
Vezi job-uri similare (11) |
Raporteaza eroarea la