Experience

PhD Researcher — IMT Atlantique, Brest, France (Full-time)

January 2024 – present

• Thesis “Secure Continuous Deployment for the Cloud”: constraint-driven multi-cloud deployment.
• Supervised by J.-C. Bach and F. Dagnat (P4S, Lab-STICC).
• Designed a domain-specific language (DSL) to specify application requirements and infrastructure constraints.
• Formalized deployment as an SMT problem, with formal reasoning about plan consistency.
• Automatic synthesis of solver-verified deployment plans, with IaC code generation.
• Implementation in Java with the Z3 solver; automated deployment with Docker, Ansible, Terraform, and Kubernetes.
• Paper published at the IC2E 2025 conference (runner-up, best-paper award); a second paper is under review at SEFM 2026.
• Conference presentations and participation in seminars and scientific events.

Teaching Assistant — IMT Atlantique, Brest, France (Part-time)

September 2024 – May 2026

• 110h across 2 assignments for engineering students.
• Prepared lab sessions and tutorials, and graded assignments.

• Programming: taught Python fundamentals, object-oriented programming, testing and defensive programming, documentation/code quality conventions, and AI-assisted programming with GitHub Copilot.
• Algorithms: taught algorithm design, recursion, data structures, complexity analysis, and divide-and-conquer and dynamic programming strategies.
• Databases: taught relational database principles, SQL, schema normalization, conceptual (UML) modeling, and data persistence in object-oriented applications.
• Project work: supervised student teams building a smart-grid system in Java, integrating networking, UML design, and database persistence with the Vert.x framework.
• Codecamp: coached student groups building a Python CLI task-management tool from a common base, incrementally adding self-chosen extensions, with peer code review and cross-team validation of code quality, functionality, and documentation.
• Developer tools: taught the development environment: operating systems, file systems, terminal usage, IDE setup, version control with Git/GitLab, and AI-assisted development practices.
• Distributed systems analysis: taught distributed algorithms in Go through hands-on labs: message passing, leader election, failure detection, broadcast/gossip protocols, and voting-based (Byzantine-tolerant) probabilistic consensus.

Freelance DevOps Engineer — Fiverr, Upwork (Remote)

March 2023 – October 2025

• Delivered 77+ projects for 50+ international clients, rated 5.0/5 across 65 Fiverr reviews — see Testimonials.
• Containerized and deployed 30+ applications with Docker and Kubernetes.
• Provisioned multi-cloud infrastructure (AWS, GCP, Azure) with Terraform and Ansible.
• Set up 4 production environments on GCP with auto-scaling and Grafana monitoring.
• Deployed to AWS ECS and Azure App Service through CI/CD pipelines.
• Automated backups of MySQL databases to Amazon S3.

Engineering Intern — IMT Atlantique, Brest, France

March 2023 – July 2023

• Developed a control system (C++, Python) for the Fischertechnik Learning Factory, an Industry 4.0 pilot plant.
• Programmed the PLCs and control logic for the production line stations.
• Designed a real-time monitoring system with Node-RED and MQTT to track sensors and actuators.
• Built a dashboard to visualize production data and machine states.
• Containerized services with Docker and automated deployment with Ansible.
• Wrote technical documentation and a setup reproduction guide.

System Administrator Intern — University of Constantine 2, Constantine, Algeria

February 2022 – September 2023

• Configured a Debian server (Laravel application, OpenLDAP, Bind9, DHCP).
• Installed and configured 22 network switches.
• Deployed a private GitLab instance and automated application deployment with Ansible.

Web Developer Intern — University of Constantine 2, Constantine, Algeria

May 2020 – November 2021

• Developed the back-end of a MOOC platform (PHP, Laravel).
• Set up the development infrastructure with Docker and Docker Compose.
• Configured 2 GitLab CI pipelines for testing and deployment.