Redwane AIT BRAHIM

Computer Science Engineer | Software Engineer

redwane.aitbrahim67@gmail.com +33 7 67 33 66 12 GitHub Portfolio
EU Driving License

Available for International Internship

6-month Final Year Engineering Internship

đź“… Available from: February 2026

🌍 Open to: Worldwide opportunities

🇪🇺 EU Citizen - No visa required for EU countries

🛂 Work Authorization - Can obtain work permits for other countries

Professional Profile

Seeking International Experience

Computer Science Engineering student (Master's level) in software development, cybersecurity, and game development. Seeking a 6-month graduation internship abroad starting February 2026 to gain international experience and contribute to innovative projects.

Download PDF Resume

Technical Skills

Game Development Expertise

1+ year experience in Unity game development with C# programming

Programming Languages

C# Java C/C++ Python SQL Solidity

Game Development

Unity 3D C# Scripting Game Physics UI/UX Design 2D/3D Graphics

Technologies

Git Docker Linux UML OVH React Node.js

Security & Formal Methods

Cryptography Coq Specification B Method Blockchain ProB

Methodologies

Agile Unit Testing Architecture Formal Verification

Projects & Experience

2023–2024

Decentralized Voting App

Developed a decentralized voting application deployed on a DevNet blockchain using a full-stack JavaScript architecture. Ensured vote integrity, anonymity, and system transparency through smart contract interaction and robust front-end design.

React Frontend
Node.js Backend
DevNet Blockchain
Smart Contracts Solidity
Secure Voting Logic
2023

Retail Management Trainee | CEDEO - SGDB France

Leading French distributor of plumbing, heating, and building materials for professionals

Analyzed sales
Logistics coordination,
Customer relationship managemen
Inventory data
Atlas / PDA
2024-2025

Unity Game Development Experience

One year of intensive game development using Unity 3D and C#. Created interactive gaming experiences with focus on performance optimization and user engagement.

Unity 3D Engine
C# Programming
Game Physics
UI/UX Design
Design Patterns
February 2025

Secure Voting Application in Java

Developed a secure voting application with robust architecture and comprehensive testing framework.

500+ concurrent users
UML
Junit 95% test coverage
January 2025

Voting System Architecture in B Specification

Designed formal architecture using B Method with ProB validation for critical system reliability.

99.9% reliability
50+ test scenarios
Formal verification
B Method
Mathematical specification and proof
March 2025

Complex Networks in C

Client-server architecture with socket programming and performance optimization through multithreading.

Socket programming
TCP/UDP
Performance improvement
2025

Conway Algebras Formalization in Coq

Research project formalizing Conway algebras and regular language semantics using the Coq proof assistant.

  • Defined modular algebraic structures for +, Ă—, *, and ^ω.
  • Mechanized key results over booleans, natural numbers and other with infinity.
  • Connected algebraic reasoning to automata theory and language semantics.
  • Constructive proofs ensuring correctness and formal soundness in Coq.
Formal Verification
Coq
Automata Theory
Mathematical Logic
Kleene & Conway algebra
2025

xv6 Operating System Internals

Academic exploration of memory and process management inside the xv6 Unix-like OS (MIT).

  • Analyzed virtual memory mapping and page allocation mechanisms.
  • Studied kernel-level scheduling, parcellization, and process lifecycle.
  • Modified and extended OS components for learning and testing purposes.
  • Deepened understanding of low-level OS design and architecture.
xv6 Kernel
Memory Management
Scheduling
C Programming
Summer 2025

Secure Messaging Application

Designed messaging application with end-to-end encryption

  • Implemented DMARC, DKIM, SPF reducing spam and blacklisting
  • Ensured compliance with international security standards
  • Design the network architecture to comply with the territoriality rules for certain countries
  • Developed an automated backup script
Windows PowerShell
End-to-end encryption
Cryptography
On premise
Veeam

Personal & Athletic Background

My athletic background and leadership experience in sports have shaped essential engineering skills including team management, strategic thinking, and performance optimization - directly applicable to software development and project management.

Football Coach

U10 Team Coach for 2 Years
Led youth development programs, managed team dynamics, and developed strategic game plans.

⚙️ Engineering Value:

Leadership skills, team coordination, strategic planning, and performance analysis essential for managing development teams.

Civic Service in Sports

Club Operations Manager
Optimized club operations, managed resources, and improved organizational efficiency.

⚙️ Engineering Value:

Process optimization, resource management, and system improvement - core skills for software architecture and DevOps.

Fitness & Discipline

Regular Strength Training
Consistent workout routine focusing on progressive improvement and goal achievement.

⚙️ Engineering Value:

Discipline, consistency, goal-oriented mindset, and continuous improvement - essential for code quality and project delivery.

Education

2023 - 2026

Master of Engineering in Computer Science

Télécom SudParis
Institut Polytechnique de Paris
Specialization: Software Engineering Advanced Algorithms, Software Architecture, Cybersecurity, Formal Methods

2021 - 2023

Mathematics & Physics Preparatory Class

Lycée Jean-Bart
Intensive training in mathematics and physics

2020

Scientific Baccalauréat

Lycée de l'Europe
Highest Honors