Ph3A Developer position in the field of Formal Methods and Model Based Design /h3 pJoin to apply for the A Developer position in the field of Formal Methods and Model Based Design role at Fondazione Bruno Kessler – FBK. /p pThe 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. /p pThe 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. /p pbJob Description /b /p pThe 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: /p ul lithe 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; /li lithe design and development of software systems that run onboard or sidetrack. /li /ul pThe 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. /p pbJob Requirements /b /p pThe ideal candidate shall have: /p ul liBachelor degree (or equivalent experience) in Computer Science or IT Engineering; /li liGood programming skills in languages like Java, Python, C++ or C; /li liHands‑on experience with git and software development and debugging environments; /li liOral and written proficiency in English; /li liAbility to work both independently and in a team environment; /li liStrong relational and communication skills; /li liGood organizational and problem‑solving skills. /li /ul pFurthermore, the following elements will be positively evaluated: /p ul liExperience in programming plugins for Eclipse; /li liExperience with GEF and/or JavaFX; /li liExperience with ECore models; /li liExperience with model‑based‑design environments and languages like Scade, SDL, SysML, Stateflow, etc.; /li liOpen‑source projects which the candidate has authored or contributed to; /li liBackground knowledge and/or previous experience in the following areas:ul liSoftware engineering /li liSatisfiability and constraint solving /li liModel Checking or other formal verification techniques /li liFirst‑order logic and SMT solvers /li liFormal analysis of hybrid systems /li liRuntime verification and diagnosis /li liFormal safety assessment. /li /ul /li /ul pbEmployment /b /p ul liType of contract: Fixed‑term contract /li liWorking hours: Full time (38 hours per week) /li liStart date: February 2026 /li liDuration: 12 months, with the possibility of extending the contract /li liGross annual salary: about €29,873.76, plus objectives achievements bonus /li liBenefits: 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. /li /ul pbApplication /b /p pInterested 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): /p ul liDetailed CV /li liCover Letter (explaining your motivation for this specific position). /li /ul h3Seniority level: Mid‑Senior level /h3 h3Employment type: Full‑time /h3 h3Job function: Other /h3 h3Industries: Research Services /h3 /p #J-18808-Ljbffr