New Software Developer position in the field of model-based design for autonomous systems

FBK is opening a new position for a software developer to work on the topic of model-based design for autonomous systems, to design, implement, test and perform maintenance of software, and to perform elicitation and formal analysis of requirements, testing specification, testing (unit testing, integration testing) on host and in a hardware-in-the-loop environment, design of simulation and logging environments, design and modeling of components in the model-based design languages.
The candidate is expected to contribute to the model-based design research line and to the development of FBK tools such as nuXmv, OCRA, xSAP, mathsat, Kratos, COMPASS.
The candidate will participate in the activities of various projects such as, for example, the Automatic Train Operation (ATO) project funded by Rete Ferroviaria Italiana.