Python Security Type-Checker Development Opportunity
Budget: $10 – $30 USD
Are you an experienced Python developer with a keen interest in data security? Here's your chance to contribute to a fascinating project aimed at enhancing a security type-checker for a subset of Python. We're seeking a talented individual to join our team and help implement an Information Flow Control (IFC) type system, ensuring noninterference in designated functions and variables.
Key Responsibilities:
Define and implement Least Upper Bound (LUB) and Greatest Lower Bound (GLB) operations.
Conduct type-checking for expressions and statements, ensuring compliance with security constraints.
Collaborate with the team to refine and enhance the existing codebase.
Perform manual type-checking to validate program correctness.
Requirements:
Proficiency in Python programming and solid understanding of its syntax.
Familiarity with security type-checking systems, particularly Information Flow Control (IFC).
Strong problem-solving skills and attention to detail.
Effective communication skills for team collaboration and progress updates.
Key Responsibilities:
Define and implement Least Upper Bound (LUB) and Greatest Lower Bound (GLB) operations.
Conduct type-checking for expressions and statements, ensuring compliance with security constraints.
Collaborate with the team to refine and enhance the existing codebase.
Perform manual type-checking to validate program correctness.
Requirements:
Proficiency in Python programming and solid understanding of its syntax.
Familiarity with security type-checking systems, particularly Information Flow Control (IFC).
Strong problem-solving skills and attention to detail.
Effective communication skills for team collaboration and progress updates.