FBK is opening a software developer position in the Formal Methods Unit.
The activities will be scoped within one or more of the several industrial, technology transfer, or research project the FM unit is involved in, and will focus on one or more of the following topics:
- Development of software and tools (e.g., nuXmv, OCRA, xSAP, NuRV, MathSAT, Kratos, COMPASS, COMPASTA and TASTE) supporting the formal design, verification and validation, and dependability assessment of complex systems;
- Design, development, debugging, testing and deployment of (embedded) software;
- Documentation of requirements and software according to the different national and international standards adopted in specific projects.
Depending on the experience and seniority of the developers, the activities will include not only programming, but active participation in the analysis of requirements, modelling, and careful design of the software. Results of the design phase are a set of text documents, software interfaces, standard diagrams, etc.
The candidate is expected to work in collaboration with other researchers, programmers, and students involved in the FM Unit. Moreover, the candidate may interact with industrial partners and partners of research projects