RESEARCH POSITION IN THE FIELD OF FORMAL METHODS

Job Description FBK opens a research position in the field of formal methods to work in one or more of the following topics.
development of formal verification techniques and their integration in model-based design environments; model checking of embedded software; contract-based compositional reasoning; runtime verification.
The activities will include.
software development for tools such as nuXmv, OCRA, xSAP, NuRV, and Kratos; training support, and document generation for technology transfer.
The candidate is expected to work in collaboration with other researchers, programmers, and students.
Moreover, the candidate is expected to interact with industrial partners and partners of research projects.
Workplace description 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 center, of which there are eleven total.
Information regarding the research centers, their activities and production is available at http://www.
bk.
u/research-centers.
The FBK Center for Digital Industry focuses its research on digital technologies for the various domains in industry (e.
., aerospace, railway, automotive, energy, agriculture, manufacturing, etc.) by creating applications for critical systems, adaptive and autonomous systems, advanced perception, diagnostics and prediction systems.
It is involved in multiple European research projects and collaborates with numerous institutions and multinational companies on strategic projects with a high innovation content – including the European Space Agency (ESA) and the Italian Railways Network (RFI).
The position is opened by the Formal Methods for System and Software Research Unit (FM 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.
FBK actively seeks diversity and inclusion in the workplace and is also committed in promoting gender equality.
Job Requirements The ideal candidate should have.
PhD in computer science or mathematics (or 3 years of research experience in fields related to this call); Software development skills (preferably in C, Python, Matlab, C++, Java); Ability to carry out an independent research program; Ability to work in a collaborative environment and deliver in research and/or industrial projects; Accuracy, proactivity and goal orientation; Oral and written proficiency in English.
In depth previous experience in at least one of the following areas is required.
Model Checking or other formal verification techniques Satisfiability and constraint solving First-order logic and SMT solvers Verification of embedded software Runtime verification Temporal Logics and Property Specification Languages Employment Type of contract.
Fixed term contract Working hours.
Full-time Start date.
Preferably in July Duration.
2 years Gross annual salary.
about € Benefits.
lexi-time, company subsidized cafeteria or meal vouchers, internal car park, welcome office support for visa formalities, accommodation, social security (SANIFONDS), family-work balance, free training courses, support on bank account opening, discount on public transport, sport, language course fees.
More info at https://www.
bk.
u/en/work-with-us/ Workplace.
Povo, Trento (Italy) Application Interested candidates are requested to submit their application by completing the online form (https://jobs.
bk.
u/).
Please make sure that your application contains the following attachments (in pdf format).
Detailed CV Motivational letter 3 professional references (e-mails and/or phone numbers).
Application deadline.
13 May Please read our Recruitment Regulations before completing your application.
For further information, please contact the Human Resources Services at .