group is looking for a Research Software Engineer, Formal Methods with strong software development skills and an interest... skills and apply reasoning and formal methods techniques to significantly enhance security and resilience of large dynamic...