Job Opportunity: Hourly-Paid Graduate Research Assistant

We are seeking a talented and motivated graduate student to join our research team as a Research Assistant. This is a great opportunity for students who are passionate about programming and developing language-level tools.

Position Details:

• Job Title: Undergraduate Research Assistant
• Pay Rate: $20/hour

Requirements:

• Must have undergraduate GPA of at least 3.4
• Proficient in programming in at least one language
• Experience building formal reasoning tools, such as SMT solvers or program analyses