with interactive theorem proving using Isabelle/HOL, HOL4, Coq or similar, or experience with proving security properties with model......
Job Location: Bangalore, Karnataka, IndiaSelected articles on work and employment, which may be found interesting:
Your requirements to the prospective workFind more articles on Articles page