Advanced Problem Solver for Discrete Structures and Logic expert needed

We are seeking an experienced consultant proficient in discrete structures, logic, and combinatorial problem solving. The ideal candidate will have strong expertise in working with complex mathematical concepts, including:

Set theory and power sets
Boolean logic and formulas
Functions (injective, surjective, bijective)
Combinatorial analysis and advanced counting techniques
String operations and formal language processing
This project will involve solving a variety of tasks related to these topics. We are looking for someone who can deliver efficient and accurate solutions, with the potential for continued collaboration on future projects involving similar subject matter.

Skills required:

Strong understanding of Set Theory, Boolean Logic, and Functions
Expertise in combinatorics and algorithmic approaches to problem-solving
Familiarity with formal language operations and discrete structures
Experience with mathematical tools such as Python or similar software is a plus
This is an ongoing position with potential for future work, focusing on applying these skills to solve complex challenges efficiently.