A Developer Position In The Field Of Formal Methods And Model Based Design

A Developer position in the field of Formal Methods and Model Based DesignJoin to apply for the A Developer position in the field of Formal Methods and Model Based Design role at Fondazione Bruno Kessler – FBK.The FBK Center for Digital Industry focuses its research on digital technologies for various industry domains such as aerospace, railway, automotive, energy, agriculture, manufacturing, etc.It collaborates with institutions and multinational companies on strategic projects.The position is opened by the Formal Methods for System and Software Research Unit (FM Unit) of the Digital Industry Center of FBK.The FM Unit consists of about 35 people, including researchers, post-docs, PhD students, master students, and programmers, and carries out basic and applied research, tool development and technology transfer in the field of formal methods and model-based design for complex embedded systems.Job DescriptionThe Formal Methods for System and Software Research Unit is looking for a software developer in the field of the design, verification and deployment of systems for the railways domain.The FM Unit supports domain experts with:the development of methodologies and tools to design, model, implement, simulate, test, configure, deploy and maintain software systems that control trains and devices operations from sidetrack and from onboard to operate according to the national and international regulations;the design and development of software systems that run onboard or sidetrack.The successful candidate is expected to actively contribute to the model-based design research line and to the development of software tools or systems, and will participate in the activities of various industrial projects such as the ACC project funded by Rete Ferroviaria Italiana.Job RequirementsThe ideal candidate shall have:Bachelor degree (or equivalent experience) in Computer Science or IT Engineering;Good programming skills in languages like Java, Python, C++ or C;Hands-on experience with git and software development and debugging environments;Oral and written proficiency in English;Ability to work both independently and in a team environment;Strong relational and communication skills;Good organizational and problem-solving skills.Furthermore, the following elements will be positively evaluated:Experience in programming plugins for Eclipse;Experience with GEF and/or JavaFX;Experience with ECore models;Experience with model-based-design environments and languages like Scade, SDL, SysML, Stateflow, etc.;Open-source projects which the candidate has authored or contributed to;Background knowledge and/or previous experience in the following areas:Software engineeringSatisfiability and constraint solvingModel Checking or other formal verification techniquesFirst-order logic and SMT solversFormal analysis of hybrid systemsRuntime verification and diagnosisFormal safety assessment.EmploymentType of contract: Fixed-term contractWorking hours: Full time (38 hours per week)Start date: February ****Duration: 12 months, with the possibility of extending the contractGross annual salary: about €29,******, plus objectives achievements bonusBenefits: flexi-time, company subsidised cafeteria or meal vouchers, internal car park, welcome office support for visa formalities and research accommodation, supplementary pension and health fund, social security (SANIFONDS), family-work balance, free training courses, support on bank account opening, discount on public transport, sport, language course fees, counseling and psychological support service.ApplicationInterested candidates are requested to submit their application by completing the online form:/.Please make sure that your application contains the following attachments (in PDF format):Detailed CVCover Letter (explaining your motivation for this specific position).Seniority level: Mid-Senior levelEmployment type: Full-timeJob function: OtherIndustries: Research Services#J-*****-Ljbffr