The post will require skills in system development and integration and/or good understanding of security and privacy, lightweight formal methods, and/or machine…