Informal Systems
formal verification • distributed systems • software engineering • blockchain • security audits
11 - 50 employees
💰 Convertible Note on 2023-06
Security Audit Intern
3 days ago
Informal Systems
formal verification • distributed systems • software engineering • blockchain • security audits
11 - 50 employees
💰 Convertible Note on 2023-06
Description
• Investigate synergies of formal methods and large language models (LLMs). • Develop techniques that combine rigour of formal methods with creativity of LLMs. • Identify how LLMs can assist in the security audit process.
Requirements
• Experience working in software correctness / formal methods/auditing/testing. • Strong interest in applications of LLMs. • Familiarity with Cosmos stack, and experience with Golang or Rust programming languages is a plus.
Apply NowSimilar Jobs
3 days ago
Join InfoDefense as a Cyber Security Intern to gain private-sector experience and expand your skill set.
3 days ago
Join InfoDefense as a Cyber Security Intern, providing services to clients while gaining experience.
December 4
Internship at Centene to work on network security and cybersecurity principles implementation.
November 26
Cybersecurity Intern at Oshkosh Corporation helping protect company assets in technology Engage with the Cyber Defense team on critical operational tasks.
October 29
Adobe seeks a Cyber Security Intern for a Security Engineer role.
🇺🇸 United States – Remote
💵 $38 - $51 / hour
💰 Venture Round on 1984-09
👨🎓 Internship
⚪️ Entry-level
👮♂️ Security Engineer
🗽 H1B Visa Sponsor