Alternance – Évaluateur Sécurité – Embedeed Systems F/H– F/H
Cristal, France
EUR 21K-25K (estimate) Entry-level Apprenticeship Full Time
Tasks
- Develop Lean model
- Learn Lean
- Prove correspondence between Rust and model
- Rewrite embedded security software in Rust
- Test security products
- Write and prove security theorems
Perks/Benefits
- N/A
Skills/Tech-stack
C# | Functional Programming | Lean | Mathematical Reasoning | Rust | Security Vulnerability | Security Vulnerability Analysis | Vulnerability analysis
Education
Roles
Engineer | Formal Methods Engineer | Methods Engineer | Researcher | Security | Security Researcher
Related jobs
-
AI Engineer EUR 0K-0KAgentic Systems | Deep learning | Fine Tuning | Language Models | Language ProcessingHybrid work | Paid internship | Paid trial project | Remote work within FranceEntry-level Full TimeParis, IDF, FR / Paris, Île-de-France, … R1d ago
-
Site Reliability Engineer (SRE) - Storage EUR 33K-35KCI/CD | CephFS | GitLab | Go | Infrastructure as CodeBreakfast | Career mobility | Daycare support | Gym access | International environmentEntry-level Full TimeParis1d ago
-
C# | MATLAB | NumPy | Pandas | PythonFlexible project schedule | Paid project work | Part-time project-based workSenior-level Full TimeFrance - Remote R1d ago
-
Research Assistant (PhD) EUR 36K-46KC# | C++ | Deep learning | Java | Machine LearningOpen science publication | Open source contributions | Rolling application reviewEntry-level Full TimeParis, France2d ago
-
A/B | A/B Testing | AWS | Algorithm Optimization | AzureCompany laptop | Fully remote | Home office stipend | Learning and development budget | Paid Maternity LeaveSenior-level Full TimeFrance R2d ago
-
Embedded Software Platform Leader F/H USD 162K-244KC# | C++ | Cybersecurity | DNP3 | DockerFlexible telework | Group health insurance | Paid trainingSenior-level Full TimeMontpellier, France R3d ago
-
Embedded Software Platform Leader F/H USD 162K-244KC# | C++ | Cybersecurity | DNP3 | DockerCompany committee benefits | Flexible remote work | Group health insurance | Holiday vouchers | Meal vouchersSenior-level Full TimeMontpellier, France R3d ago
-
Member of technical staff (Inference) - Paris EUR 80K-120KC++ | CUDA | Caching | Continuous batching | Distributed ComputingCareer development | Continuous learning | Hybrid work | Professional growthSenior-level Full TimeParis4d ago
-
Quantum Compilation Scientist EUR 45K-45KBranch and Bound | C++ | Classical Compilation Theory | Compilation theory | Computer Architecture25 day vacation policy | Additional days off | Creche support | French language courses | Health coverageMid-level Full TimeParis4d ago
-
API Integration | Agile | Amazon Web Services | Apache Spark | Artificial IntelligenceBike purchase support | Medical insurance | Mobility programs | Museum Entry | RTTSenior-level Full TimeParis La Défense, FR, 920375d ago
-
SSEII Agentic Search/Data Engineer Senior (H/F) EUR 55K-60K.NET | Agile | C# | C++ | Code reviewCompany participation plan | Employee representative council | Flexible work options | Health insurance | Meal vouchersSenior-level Full TimeFrance - PARIS (RUE DE JAVEL) R8d ago
-
SSEII Agentic Search/Data Engineer Senior (H/F) EUR 55K-60K.NET | Agile | C# | C++ | Code reviewEmployee representative council | Extra paid leave | Flexible work options | Health insurance | Meal vouchersSenior-level Full TimeFrance - PARIS (RUE DE JAVEL) R8d ago
-
Ingénieur Algorithmie – Mécanique de Vol H/F EUR 40K-40KAerospace modeling | Automatic control | C# | C++ | Embedded SystemsCSE benefits | Fitness subsidy | Health insurance | Meal tickets | Paid time offSenior-level Full TimeLe Plessis Robinson, 92, France R9d ago
-
API | BPMN | C# | Git | GitLabEntry-level Apprenticeship Full TimeHelios, France11d ago
-
Embedded Software Development Engineer (f/m) EUR 60K-70KAgile | Airworthiness | Bus Analyzers | C# | DO-178BEmployee savings plan | Extra days off | Flexible working arrangements | Gym access | Health insurance coverageMid-level Full TimeToulouse - Saint-Martin, France15d ago
-
Entry-level Full TimeVerrières-le-Buisson, France16d ago
-
Backend Engineer, Database EUR 40K-50KAlerting | ClickHouse | Connection pooling | Data Ingestion | Data Modeling401k match | Dental insurance | Medical insurance | Professional development stipend | Team offsitesEntry-level Full TimeParis Office16d ago
-
Senior Machine Learning Engineer EUR 100K-100KAudio Feature Extraction | Automatic Speech Recognition | C# | C++ | Data AugmentationHybrid work | In office collaboration 3 days per weekSenior-level Full TimeParis - SVE, France16d ago
-
Embedded Networking Software Engineer EUR 42K-65KC# | DPDK | Device Drivers | Ethernet | KVMCareer development opportunities | Generous Paternity Leave | Meal vouchers | Premium health coverage | Remote work up to 2 days per weekMid-level Full Time Temporary38249, Montbonnot-Saint-Martin, Auvergne-Rhône-Alpes, France17d ago
-
Senior GenAI Engineer EUR 75K-100KAgent systems | Agents | C# | Evaluation Pipelines | JavaAnnual company offsite | Company-provided equipment | Flexible working hours | Health insurance | Remote-friendly environmentSenior-level Full TimeFrance19d ago
-
Activity monitoring | C# | C++ | Computer Vision | Deep learningEntry-level Full TimeSophia-Antipolis (Valbonne), France19d ago
-
Alternance – Banc robotique rendez-vous – (H/F) EUR 21K-25KC# | C++ | Cobot | Computer Vision | GitESG commitment | Inclusive work environment | Mentoring | On-the-job learning | Work-life balanceEntry-level Apprenticeship Full TimeCannes, France19d ago
-
AI Scientist - Audio EUR 60K-78KDistributed Training | Fine Tuning | Go | JAX | JavaDaily lunch vouchers | Full health insurance | Generous parental leave | Gympass subscription | Health insurance for familyMid-level Full TimeParis22d ago
-
API Development | Agile | Generative AI | LLM Agents | LeanChildcare support | Flexible equipment choice | Inclusion-focused workplace | Meal vouchers | Paid training daysSenior-level Full TimeLille, Hauts-de-France, France24d ago
-
Embedded Engineer EUR 28K-36KAI tools | Automated testing | Bluetooth | Bootloaders | C#Health benefits | Performance-based bonus | Technical trainingMid-level Full TimeArras Cedex, FR, 6203325d ago