Engineer for Dependable Software Intensive Systems

Acest job nu mai este activ!

Vezi toate job-urile Siemens S.R.L. active.


Vezi toate job-urile Engineer for Dependable Software Intensive Systems active pe Hipo.ro

Vezi toate job-urile in IT Software active pe Hipo.ro

Angajator: Siemens S.R.L.
Domeniu:
  • IT Software
  • Tip job: full-time
    Nivel job: 1 - 5 ani experienta
    Orase:
  • Brasov
  • Job la nivel national
    Actualizat la: 21.03.2019
    Scurta descriere a companiei

    Cerinte

    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

    Responsabilitati

    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