https://hotdailytrends.com/2023/09/04/research-assistant-associate-in-software-security-and-formal-analysis/