Graph Coloring Algorithm Development

I'm seeking a Python developer with expertise in Gurobi and algorithm optimization. The primary goal is to help with implementing several solvers based on a scientific paper for graph coloring and then comparing and benchmarking them.

Key Requirements:
- Focus on minimizing the number of colors
- Efficient handling of large-scale graphs

Ideal Skills:
- Proficiency in Python and Gurobi
- Strong background in graph algorithms and optimization techniques
- Experience with algorithm development and computational efficiency

Integer Linear Programming (ILP) formulations
Constraint Programming (CP) models
SAT-based encodings
For someone experienced it should be simple task.
I need this done by Sunday so the time is really tight.

Please include relevant experience in your bids.