FREE ACCESS
5,000–10,000 jobs/day
See all jobs on Scoutfield
Search thousands of fresh jobs every day.
Discover
- Fresh listings
- Fast filters
- No subscription required
Create a free account and start exploring right away.
Core Competencies
Role fitCore Competencies
Use this summary to align your resume positioning with the role.
Demonstrates expertise in AI-enabled secure system design, formal methods, program analysis, and security verification, with a strong ability to lead multi-disciplinary research projects and mentor teams. Proven track record of translating research into practical applications and publishing influential work.
Highest-signal resume keywords
Ph.D. In Computer Science6+ Years Of Relevant ExperienceDeep Expertise In Formal MethodsStrong Implementation Skills In C, C++, PythonExperience In Leading Research Projects
ATS Keywords
Tailor your resumeApplicant Tracking System Keywords
Tip: use these terms in your resume and cover letter to boost ATS matches.
Hard Skills
AI-Enabled Secure System DesignFormal VerificationProgram AnalysisThreat ModelingSecure Code GenerationAutomated ReasoningSynthesisArchitecture ExplorationStatic And Dynamic AnalysisProof Construction
Soft Skills
Excellent Written CommunicationExcellent Verbal CommunicationCreative ResearcherCollaborative Team PlayerSelf-Directed
Tools & Technologies
Theorem ProversAnalysis FrameworksAI/ML ToolingHardware Description Languages
Industry Keywords
Computer ArchitectureSoftware SecurityHardware SecurityProgramming LanguagesInfluential PublicationsOpen-Source SystemsTechnology Transfer
Tech Stack
Tools & technologiesPythonC++
About the role
Key responsibilities & impact- Define a high-impact research agenda and lead projects in AI-enabled secure system design, implementation, analysis, and verification
- Develop models, agents, and tools for security requirements and specification, threat modeling, architecture exploration, secure code and hardware generation, program analysis, synthesis, and proof construction
- Combine AI techniques with static and dynamic analysis, formal verification, symbolic reasoning, testing, and domain-specific security knowledge to produce reliable and machine-checkable results
- Build end-to-end prototypes and evaluate them on realistic hardware and software systems, measuring security, correctness, scalability, performance, and human productivity
- Collaborate across hardware, software, AI, research, and product teams
- Publish original research
- Mentor researchers and interns
- Translate advances into practical developer and design capabilities
Requirements
What you’ll need- Ph.D. in Computer Science, Computer Engineering, Electrical Engineering, or a related field, or equivalent research experience
- 6+ years of relevant experience
- Established record of research excellence demonstrated through influential publications, open-source systems, patents, technology transfer, or substantial research collaborations
- Deep expertise in one or more relevant areas such as formal methods, program analysis, programming languages, software or hardware security, computer architecture, compilers, AI for code, or automated reasoning and synthesis
- Experience defining and leading ambiguous, multi-disciplinary research projects and providing technical mentorship
- Strong implementation and experimental skills in C, C++, Python, hardware description languages, theorem provers, analysis frameworks, or relevant AI/ML tooling
- Excellent written and verbal communication skills
- Ability to connect foundational research with real engineering and product needs
- Creative, collaborative, and self-directed researcher
Benefits
Comp & perks- Equity
- Benefits 📊 Check your resume score for this job Improve your chances of getting an interview by checking your resume score before you apply. Check Resume Score