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 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 TimeParis2d ago
-
Senior GenAI Engineer EUR 160K-170KAgent systems | C# | Evaluation Pipelines | Java | KubernetesCompany offsite | Flexible working hours | Health insurance | Remote-friendly environment | Stock optionsSenior-level Full TimeFrance2d 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, France3d ago
-
Mid-level Full TimeEurope, France, Ile-de-France, 92 - Hauts-De-Seine4d ago
-
Embedded Engineer EUR 28K-36KAI tools | Automated testing | Bluetooth | Bootloaders | C#Health benefits | Performance-based bonus | Technical trainingMid-level Full TimeArras Cedex, FR, 620335d ago
-
Software Engineer - Surgical Robotics EUR 48K-75KC# | C++ | Cybersecurity | IEC 62304 | IEC 62366Health insurance | Meal vouchers | Transportation reimbursementMid-level Full TimeParis, Île-de-France, France6d ago
-
C# | GNSS | Integrity monitoring | Ionosphere | JavaContinuous learning | Flexible work-life balance | Inclusive workplace | Training programsEntry-level Full TimeToulouse Champollion, France6d ago
-
Software Engineer C#/.NET - GenAI (F/H) EUR 50K-63K.NET | Automated testing | Behavior-Driven Development | C# | Clean CodeHybrid Remote | Learning budget | Meal vouchers | Paid time off | Team eventsSenior-level Full TimeParis, France9d ago
-
Open Source Program Developer EUR 80K-99KC# | Contributor License Agreements | Documentation | Go | JavaBuddy program | Career pathing | Employee resource groups | Employee stock purchase plan | Free mental health benefitsMid-level Full TimeFrance, Remote R10d ago
-
Deployed AI Engineer GBP 90K-110KBash | C++ | Containerization | Database systems | ELKEducation allowances | Hands-on onboarding program | Regular company events | Relocation support | Social allowancesMid-level Full TimeMunich - Berlin - London - …11d ago
-
Software Engineer - Storage Squad EUR 50K-50KC# | Distributed Systems | Git | Go | High ScalabilityFlexible work from home | Flexible working hours | Language classes | Lunch vouchers | Matching charity donationsSenior-level Full TimeParis, France12d ago
-
Embedded Software Engineer II EUR 50K-70KARM processors | Bluetooth | C# | C++ | CI/CDBoard games | E-learning platform | Employee discount | Gym access | Holiday bonusSenior-level Contract Full TimeBoulogne-Billancourt, IDF, France12d ago
-
Embedded Linux Software Engineer EUR 48K-65KALSA | AVB | Audio Processing | Build systems | Build systems (CMakeCareer advancement opportunities | Community engagement | Employee events | Health benefits | Hybrid work flexibilityMid-level Full TimeLAFR1, France13d ago
-
Research Platform Engineer - Paris/London EUR 70K-85KC++ | CI/CD | Distributed Systems | Go | JavaFood vouchers | Gym membership reimbursement | Health insurance | Parental leave | Transportation subsidyMid-level Full TimeParis18d ago
-
Mid-level Full TimeToulouse, France23d ago
-
Machine Learning Engineer - Foundational EUR 72K-110KC++ | Data Fusion | Data Processing | Deep learning | Distributed ComputingSenior-level Full TimeParis23d ago
-
Data Engineer - data modelling and C# skills EUR 38K-49KAzure Data | Azure Data Factory | C# | Data Factory | Data ModelingFlexible remote options | Health benefits | Learning opportunities | Paid Holidays | Paid volunteer daysMid-level Full TimeFrance - Paris28d ago
-
AI Engineer / NLP EUR 65K-80KAI Foundry | AWS | Agent Orchestration | Azure AI | Azure AI FoundryCultural and social benefits | Diversity and inclusion | Employee events | Health benefits | Hybrid work modelSenior-level Full TimeLAFR5, France30d ago