# Imen Graja

> Software Engineer at Fivetran

Location: San Francisco Bay Area, United States
Profile: https://flows.cv/imen

I’m a deep logical thinker who enjoys solving challenging problems. My goal is to pursue my career in software engineering where I can combine my analytical skills, my computer science background, and my passion for intellectual challenges to help make the world a better place!

## Work Experience
### Software Engineer @ Fivetran
Jan 2021 – Jan 2023 | San Francisco Bay Area

### Research Assistant @ université de Sfax - University of Sfax (USS)
Jan 2013 – Jan 2018 | Sfax, Tunisia
• Modeling and verifying time-aware processes for Cyber-Physical systems.
• Business process modeling using BPMN2.0 (OMG standard).
• Theoretical verification of system behavior, using formal methods of mathematics.
• Technologies: Java, XML, XPath, Choco-solver, Timed automata (UPPAAL), Hybrid automata (HyTech), Eclipse BPMN2 Modeler, Latex.

### Teaching Assistant @ université de Sfax - University of Sfax (USS)
Jan 2014 – Jan 2015
Course: Introduction to Computer Science.
• Designed efficient tutorials and taught hands that helped students improve their understanding of course materials.
• Taught classes consisting of 10-12 students each.

### Visiting Researcher @ LAAS-CNRS
Jan 2014 – Jan 2015
• Verification of cyber-physical systems: formal verification of the process to ensure that the BPMN design model is free of deadlock, livelock, and other undesirable properties that can cause a system crash. 
• Mapping of the BPMN model to formal languages.
Theoretical verification of system behavior, using formal methods of mathematics.

### Research Assistant Internship @ LAAS-CNRS
Jan 2012 – Jan 2014
• Modeling service-oriented architectures.
• Behavior modeling and automated verification of Web services.


## Education
### Computer Software Engineer
Hackbright Academy

### Doctor of Philosophy (Ph.D.) in Computer Science
University of Sfax

### Master’s Degree in Software Architecture
University of Sfax

### Bachelor’s Degree in Computer Science Applied to Management
University of Sfax

### University of Sfax


## Contact & Social
- LinkedIn: https://linkedin.com/in/igraja

---
Source: https://flows.cv/imen
JSON Resume: https://flows.cv/imen/resume.json
Last updated: 2026-04-05