- Expertini Resume Scoring: Our Semantic Matching Algorithm evaluates your CV/Résumé before you apply for this job role: Large language models for automatic bug finding in source code analysis H/F.
Urgent! Large language models for automatic bug finding in source code analysis H/F - Local Job Opening in Grenoble
Position description
Category
Mathematics, information, scientific, software
Contract
Internship
Job title
Large language models for automatic bug finding in source code analysis H/F
Subject
JOIN US, TO DO WHAT?
Contribute to technological innovation for clean and safe energy, health and well-being, sustainable transportation, information and communications, space exploration, safety and security: that is the mission of CEA - Leti.
In the context of an ITSEF, the security evaluation of a software component usually requires a source code review (audit) performed by an evaluator who needs to be assisted by static analysis tools that can be configured and customized to help checking security requirements.
The code analysis methodology applied at Leti ITSEF mainly consists in the following 2 operations: (1) extract a piece of source code to verify a particular property, (2) try to automatically prove the property, and in case of unknown status (the proof failed) search path conditions to violate the property.
Such violations may reveal vulnerabilities to be exploited by malicious input data (software attack) combined with fault injection (hardware attack).
Contract duration (months)
6
Job description
Join us for an internship!
CEA Tech Corporate from CEA Tech on Vimeo
As an intern at CEA, you will have the opportunity to work in a world-renowned research environment.
Our teams are made up of passionate and dedicated experts, offering a framework conducive to learning and collaboration.
You will have access to state-of-the-art equipment and first-rate research resources to carry out your assignments.
Main goals
(1) Investigate how LLM can be used to assist evaluators in finding bug automatically in source code.
For example, a research question is how IA could assist the user in generating formal specification, which is a long repetitive and complex process.
(2) Assess how LLM perform and can be complementary to traditional tools used for evaluation (formal methods, using Frama-C and Lazart).
Internship tasks
•Literature review of LLMs solutions for automatic bug finding.
•Test of LLMs on open benchmarks of source code containing vulnerabilities ([3,4])
•Evaluation of a scope where LLM is relevant (, where it can be complementary, to assist the evaluator)
•Proposition of a methodology to assist source code analysis with LLMs
References
[1] Sauze-Kadar Marine, Thomas.
Loubier.
(2025).
A Multi-Model Approach to Enhance Automatic Matching of Vulnerabilities to Attack Patterns.
Récupéré sur
[2] Lacombe, G., Feliot, D., Boespflug, E.
et al.
Combining static analysis and dynamic symbolic execution in a toolchain to detect fault injection vulnerabilities.
J Cryptogr Eng 14, 147–164 (2024).
[3] WooKey challenge:
[4] ANSSI, Amossys, EDSI, LETI, Lexfo, Oppida, Quarkslab, SERMA, Synacktiv, Thales, Trusted Labs.
(2020) Inter-CESTI: Methodological and Technical Feedbacks on Hardware Devices Evaluations.
Methods / Means
LLM, IA, static code analysis, Formal methods, cybersecurity
Applicant Profile
What do we expect from you?
We are looking for a motivated and curious candidate (BAC+5) in the field of cybersecurity to join our team.
The candidate must have good programming skills (Python, C, assembly, …) and some basic knowledge in artificial intelligence, embedded system security, vulnerability exploits.
A prior technical knowledge in formal methods for static code analysis is highly valued.
A proactive and autonomous profile, an enthusiasm for scientific research are encouraged.
We offer:
An internship in the heart of the Grenoble metropolitan area, easily accessible via the CEA's soft mobility program.
A unique research environment dedicated to topics with high societal impact.
Experience in a cutting-edge field of innovation with strong industrial development potential.
Training to strengthen your skills or acquire new ones in embedded electronics, information technology, telecommunications, and/or cybersecurity.
In accordance with the CEA's commitments to the integration of people with disabilities, this job is open to all.
The CEA offers accommodations and/or organizational possibilities for the inclusion of workers with disabilities.
Position location
Site
Grenoble
Job location
France, Auvergne-Rhône-Alpes, Isère (38)
Location
Candidate criteria
Languages
English (Intermediate)
Prepared diploma
Bac+5 - Diplôme École d'ingénieurs
Requester
Position start date
02/02/2026
✨ Smart • Intelligent • Private • Secure
Practice for Any Interview Q&A (AI Enabled)
Predict interview Q&A (AI Supported)
Mock interview trainer (AI Supported)
Ace behavioral interviews (AI Powered)
Record interview questions (Confidential)
Master your interviews
Track your answers (Confidential)
Schedule your applications (Confidential)
Create perfect cover letters (AI Supported)
Analyze your resume (NLP Supported)
ATS compatibility check (AI Supported)
Optimize your applications (AI Supported)
O*NET Supported
O*NET Supported
O*NET Supported
O*NET Supported
O*NET Supported
European Union Recommended
Institution Recommended
Institution Recommended
Researcher Recommended
IT Savvy Recommended
Trades Recommended
O*NET Supported
Artist Recommended
Researchers Recommended
Create your account
Access your account
Create your professional profile
Preview your profile
Your saved opportunities
Reviews you've given
Companies you follow
Discover employers
O*NET Supported
Common questions answered
Help for job seekers
How matching works
Customized job suggestions
Fast application process
Manage alert settings
Understanding alerts
How we match resumes
Professional branding guide
Increase your visibility
Get verified status
Learn about our AI
How ATS ranks you
AI-powered matching
Join thousands of professionals who've advanced their careers with our platform
Unlock Your Large language Potential: Insight & Career Growth Guide
Real-time Large language Jobs Trends in Grenoble, France (Graphical Representation)
Explore profound insights with Expertini's real-time, in-depth analysis, showcased through the graph below. This graph displays the job market trends for Large language in Grenoble, France using a bar chart to represent the number of jobs available and a trend line to illustrate the trend over time. Specifically, the graph shows 102 jobs in France and 3 jobs in Grenoble. This comprehensive analysis highlights market share and opportunities for professionals in Large language roles. These dynamic trends provide a better understanding of the job market landscape in these regions.
Great news! CEA is currently hiring and seeking a Large language models for automatic bug finding in source code analysis H/F to join their team. Feel free to download the job details.
Wait no longer! Are you also interested in exploring similar jobs? Search now: Large language models for automatic bug finding in source code analysis H/F Jobs Grenoble.
An organization's rules and standards set how people should be treated in the office and how different situations should be handled. The work culture at CEA adheres to the cultural norms as outlined by Expertini.
The fundamental ethical values are:The average salary range for a Large language models for automatic bug finding in source code analysis H/F Jobs France varies, but the pay scale is rated "Standard" in Grenoble. Salary levels may vary depending on your industry, experience, and skills. It's essential to research and negotiate effectively. We advise reading the full job specification before proceeding with the application to understand the salary package.
Key qualifications for Large language models for automatic bug finding in source code analysis H/F typically include Computer Occupations and a list of qualifications and expertise as mentioned in the job specification. Be sure to check the specific job listing for detailed requirements and qualifications.
To improve your chances of getting hired for Large language models for automatic bug finding in source code analysis H/F, consider enhancing your skills. Check your CV/Résumé Score with our free Resume Scoring Tool. We have an in-built Resume Scoring tool that gives you the matching score for each job based on your CV/Résumé once it is uploaded. This can help you align your CV/Résumé according to the job requirements and enhance your skills if needed.
Here are some tips to help you prepare for and ace your job interview:
Before the Interview:To prepare for your Large language models for automatic bug finding in source code analysis H/F interview at CEA, research the company, understand the job requirements, and practice common interview questions.
Highlight your leadership skills, achievements, and strategic thinking abilities. Be prepared to discuss your experience with HR, including your approach to meeting targets as a team player. Additionally, review the CEA's products or services and be prepared to discuss how you can contribute to their success.
By following these tips, you can increase your chances of making a positive impression and landing the job!
Setting up job alerts for Large language models for automatic bug finding in source code analysis H/F is easy with Grenoble Jobs | Expertini. Simply visit our job alerts page here, enter your preferred job title and location, and choose how often you want to receive notifications. You'll get the latest job openings sent directly to your email for FREE!