ppBruno Kessler Foundation (FBK) is a private research institution devoted to excellence in research in numerous disciplines and designated to the role of keeping the Autonomous Province of Trento in the mainstream of European and international research. Each research area is assigned to a specific research centre, of which there are eleven totals. Information regarding the research centres, their activities and production is available at /ppThe Digital Industry Center is one of the Centers of FBK. It focuses its research on digital technologies for the various domains in industry (e.g., manufacturing, aerospace, railway, automotive, energy, agriculture, manufacturing) by creating applications for critical systems, adaptive and autonomous systems, advanced perception, diagnostics, quality control, and prediction systems. Further research areas include precision farming, robotics, metrology, cultural heritage, and geomatics. /ppThe position is opened by the Formal Methods for System and Software Research Unit (FM Research Unit) of the Digital Industry Center of FBK. The Unit 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. /ppJob Description /ppThe purpose of FBK’s Tenure Track program is to offer high-level professionals the opportunity to pursue a structured career path to become tenured researchers contributing to the organization's long-term strategy. /ppWithin this program, FBK is seeking a dynamic, highly motivated technologist to fill the position in the FM Unit of the Digital Industry Center. /ppThis position provides the opportunity to contribute to research and innovation activities in the field of Formal Methods, model-based engineering, verification and validation techniques for complex, safety-critical and autonomous systems, through the development of methodologies and tools in collaboration with national and international partners. /ppThe candidate will be expected to contribute to the innovation, technology development and project activities of the research unit,



and to support the development and adoption of formal methods and model-based approaches in research and industrial contexts. /ppThe successful candidate is expected to: /pulliContribute to the development of methodologies, languages and tools in the area of Formal Methods and model-based engineering; /liliContribute to the validation and application of such technologies in research and industrial contexts; /liliSupport technology transfer activities and the adoption of Formal Methods solutions by industrial partners; /liliContribute to national and international research and innovation projects, including proposal preparation and project execution; /liliCollaborate with national and international partners in the context of research projects. /li /ulpThe candidate will work closely with other members of the FM unit and partners involved in research and industrial projects. /ppFBK actively seeks diversity and inclusion in the workplace and is also committed to promoting gender equality. /ppbJob requirements /b /pulliMaster’s degree in computer science; /liliExperience in the application of Formal Methods, software verification, model checking, and model-based engineering; /liliExpertise in the design and application of methodologies and tools for the specification, verification and validation of complex systems; /liliKnowledge of formal specification languages and related verification technologies; /liliExperience in software development and tool implementation for research or industrial applications; /liliExperience in participation in research projects and collaboration with international partners; /liliStrong proficiency in English, both written and spoken. /li /ulpAdditional requirements:



/pulliGood team working attitude; /liliGood self-organization and autonomous operation; /liliExperience in working on research and industrial projects with national and international partners. /li /ulpbEmployment /b /ppType of contract: Tenure Track position leading to an FBK 4rd Level Technologist (T4) permanent contract. /ppDuration: The duration of the Tenure Track contract will be determined by the Committee based on the assigned KPIs (at least one year, which may be reduced in accordance with the Committee assessment on the candidate's abilities and skills). If the final assessment of the Tenure Track experience is positive, the selected candidate for the tenure track position will be offered a permanent T4 contract. /ppWorking hours: full time (38 h per week). /ppGross annual salary: 41.245 € (plus objectives achievement premio). /ppBenefits: flexi-time, company subsidised cafeteria or meal vouchers, internal car park, welcome office support for visa formalities, accommodation, supplementary pension and health found, training courses, public transport, sports facilities, language courses fees. Further details at /ppThe Bruno Kessler Foundation invests in people’s growth and promotes a stimulating environment that values talent. Through the Talent Development Program, each participant will be engaged in a tailored experiential journey designed to enhance skills, attitudes, and aspirations. Concrete tools for professional growth will be available, including personalized assessments to understand and develop individual potential, structured career paths to help shape the future, and development strategies within a dynamic and innovative scientific environment. /ppbApplication /b /ppInterested 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): /pulliDetailed CV; /liliMotivational letter. /li /ulpPlease read our Regulations “Guidelines for Tenure Track positions” before completing your application. /ppFor further information or technical issues regarding the application, please contact the Human Resources Service at /p /p #J-18808-Ljbffr

📌 Tenure Track position for a Technologist in the field of Formal Methods for Systems and Softwar[...] (Trento)
🏢 Fondazione Bruno Kessler - Fbk
📍 Trento