Job
- Level
- Junior
- Job Field
- Software
- Employment Type
- Part Time
- Contract Type
- Internship / school internship
- Location
- Stuttgart
- Working Model
- Hybrid, Onsite
Job Summary
In this role, you will develop formal verification methods for AI-based cyber defense systems and conduct scenario simulations to analyze their reliability and robustness.
Job Technologies
Your role in the team
- Research and further development of methods for Formal Verification (particularly Probabilistic Model Checking) for learning-based agents in autonomous cyber defense.
- Development and expansion of a verification framework for analyzing robustness, reliability, and behavior of AI-based cyber defense agents.
- Conducting and evaluating verification experiments as well as analyzing scalability and generalizability across various threat and network scenarios.
- Contributing to the development of robust and reliable AI systems for applications in defense and security within the framework of CortAIx.
- Documentation, presentation, and communication of research findings as well as participation in scientific publications.
This text has been machine translated. Show original
Our expectations of you
Education
- Degree in Computer Science, Mathematics, Artificial Intelligence, Network Security, or a related field.
Qualifications
- Good programming skills (e.g., Python, Java, C/C++) as well as basic knowledge in Machine Learning (ideally Reinforcement Learning and/or LLMs).
- Interest in formal methods; knowledge of Probabilistic Model Checking, network simulation, or autonomous agent systems is advantageous.
- Independent, structured working style as well as strong problem-solving, communication, and teamwork skills.
- Excellent spoken and written proficiency in German and English.
This text has been machine translated. Show original
Benefits
Work-Life-Integration
Health, Fitness & Fun
Topics that you deal with on the job
Job Locations
This is your employer
Thales Group
We combine diverse skills, talents and cultures to design and deliver exceptional high-tech solutions. Solutions that make it possible to act today tomorrow. From the bottom of the ocean to outer space and beyond, we help our clients think smarter and act faster - with ever-increasing complexity and every crucial moment along the way.
Description
- Company Type
- Established Company
- Working Model
- Full Remote, Hybrid, Onsite
- Industry
- Internet, IT, Telecommunication
Employer reviews
by devworkplaces.com
Total
(1 Review)3.4
Career Growth
3.4Culture
3.7Workingconditions
3.8Engineering
3.0
Student trainee in the field of formal verification for autonomous network security systems
- Location
- Stuttgart
- Working Model
- Hybrid, Onsite
- Diversity
- Open for all genders
