Publicat 23 Apr 2019 | Expiră 24 Mai 2019

Engineer for Dependable Software Intensive Systems - 84589

1 post
Expirat
Anunț inactiv

Acest anunț a expirat și nu este disponibil pentru aplicare.

Înapoi la joburi

Candidatul ideal

Your Qualifications – Solid and Appropriate
Senior

* xperience 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

Descrierea jobului

DESCRIPTION/RESPONSIBILITIES:
Current software intensive systems are very complex and need to comply to high dependability requirements. Furthermore, they must be developed in an efficient manner and must continuously adapt to changing requirements of evolving markets. 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

To apply for this position, please use the following URL:
https://ars2.equest.com/?response_id=c60ec6d3fb70fdd307e1d8e06d630670

Descrierea companiei

With 110 years of presence in Romania, Siemens is a global technology powerhouse that owns innovative solutions in the areas of electrification, automation and digitalization.

Software and R&D play a crucial role at Siemens. The Corporate Technology division in Brasov and Cluj-Napoca is the competence center for research, software development, IT and engineering, which makes the company a major leader in vertical IT technologies.

For more information about Siemens please visit http://www.siemens.ro and http://www.siemens.com/innovation.

Expirat
Engineer for Dependable Software Intensive Systems - 84589  -  Siemens