Undergraduate Research Assistantship (URA) program
The Cheriton School of Computer Science offers enrichment opportunities to exceptional students through the Undergraduate Research Assistantship (URA) program to earn $600 a term for part-time research with a faculty member. The money is paid once near the end of the term.
Current URA positions
Faculty members post openings each term so interested and eligible students can apply. Students can also contact faculty members to see if they are interested in supervising a URA.
The following faculty members are available to supervise URA students.
Any student who has completed their second year in the Faculty of Mathematics with an average of at least 80% is eligible. Preference is given to students enrolled in Computer Science major plans. A student can only do one URA per term. A student cannot be on a co-op term while doing a URA.
URA research projects
Title: Search Over Encrypted Data
Data outsourced to the cloud is susceptible to theft by hackers or malicious insiders. Encrypting data before outsourcing and retaining the key can protect it against such theft. However, encrypted data can no longer be easily searched. Sending the data to the client for searching is too expensive. Instead, we aim to search directly over the encrypted data at the server. Based on recent results we plan to implement the first strongly encrypted, relational databases that can be queried using a large subset of SQL. Breaking into the cloud storage will no longer suffice.
We are looking for multiple students contributing to the design, implementation and evaluation of a first prototype of this encrypted database. Ideally, you can program well in a systems-oriented language such as C/C++ and have good working knowledge of database architecture.
If you are interested, please contact Florian Kerschbaum at email@example.com.
Title: Large Scale Experimentation with Graph Processing Systems
Are you interested in experiencing multiple big data systems to build your resume and skill set?
We are looking for multiple students to participate in our wide ranging experimentation project for several big data systems.
This project evaluates seven of distributed graph systems: Hadoop, Haloop, Vertica, Giraph, GraphLab (PowerGraph), Blogel, and GraphX (SPARK) over four very large data sets (Twitter, World Road Network, UK 200705, and ClueWeb) using both online graph querying and graph analytics workloads. The main objective is to create an independent study by experimentally analyzing the performance, usability, and scalability (using up to 128 machines) of these systems.
The successful candidates will:
- Learn the principles of designing a fair experiment.
- Have a chance to practice on several big data systems.
- Practice using large clusters with up to 4TB memory and more than 1500 cores.
- Solve graph problems using big data systems.
- General understanding for at least one graph algorithms.
- Good experience in using Unix command line and writing shell scripts.
- Excellent experience with one programming language: Java, Scala, or C++.
Additional useful skills:
- Previous experience with big data systems or distributed environments.
- Excellent understanding for graph algorithms and their complexity.
- Good experience with web development
If you are interested please contact Tamer Ozsu at firstname.lastname@example.org
Internet of Drones (IoD) is an Air Traffic Controller architecture for drones. It is what it takes to finally make drone package delivery (say your groceries) and other applications possible. We are actively pushing toward completing our simulator and our physical demonstration with many drones involved.
We are looking for highly motivated, ambitious team players who want to work on a project that breaks new ground. If you're that person, we encourage you to join us and help by working on the software development for the simulator and if our progress allows, controlling of the real drones via our algorithms through wireless network. We are looking for talented students who can produce high quality code and are proficient in programming with Python.
Interested and eligible students should email Prof. Raouf Boutaba email@example.com with the subject line “URA applicant for IoD” along with your unofficial transcript and CV.
Title: Physical modelling of lace patterns using knot tightening
Ridgerunner is a C++ software library developed by the Knot Theory group at the University of Georgia. It takes an arbitrary knot and shortens the length of the strands until they collide with one another. This technique has been used to identify isomorphic knots. The library approximates a strand using a polygon and minimizes the length of the polygon subject to an infinite family of differentiable constraint functions. The goal of the current project is to adapt Ridgerunner to render a class of alternating braids which represent a 500 year old fibre art form known as bobbin lace.
The first step of the project is to understand the algorithm used in Ridgerunner and how it compares to traditional simulated annealing approaches. One concern is how much out-of-plane movement occurs with this tightening approach. For bobbin lace, we will need to “nail” the endpoints of threads down to the plane.
The second step is to convert a lace graph into a set of braid words and use the software to tighten the threads simulating the tension applied by a lace maker. The Ridgerunner library will probably be too slow to handle most lace patterns; however, the thread positions for lace patterns are fairly stable after just two rows. We will try to modify the library to consider only local forces.
The final step of the project is to introduce immovable polygons into the model to represent the pins used by lacemakers. The immovable objects will limit the amount of tightening that can occur.
Interested students should contact Dr. Veronika Irvine (firstname.lastname@example.org).
Title: A relational query evaluation backend for Flix
Flix is a domain-specific language for declaratively expressing and
solving program analysis problems being developed at Waterloo. It
consists of two sub-languages: a Datalog-like declarative constraint
language, and a Haskell-like functional language. The goal of this
URA is to implement a new query evaluation backend for the relational
constraint language. The Flix system is implemented in Scala. This
position requires some experience with Scala and an interest in database
Title: Extending the Scala DOT calculus
Dependent Object Types (DOT) is a core calculus for formally specifying
the type system and semantics of the Scala language. Its soundness proof
has been checked with Coq. The goal of this URA is to specify more Scala
features, such as traits, in DOT and prove them sound with Coq. This
position requires some experience with Coq and is particularly suitable
for students who did well in CS 245E or CS 798 Software Foundations.
Interested students for both of these titles should contact Ondrej Lhotak email@example.com
If you are a senior undergraduate student interested in working with large scale distributed systems that involve managing big data and storage in the cloud to achieve scalability and deliver good performance, please e-mail Khuzaima Daudjee.
kdaudjee [AT] uwaterloo.ca
Title: Privacy Vulnerabilities on Android
We have developed an app that analyzes the network traffic of all apps on a smartphone in order to detect leakage incidents, where an app sends sensitive user information across the network https://www.cs.uwaterloo.ca/~uhengart/publications/spsm15.pdf
In a previous URA, a UI that informs users of leakage incidents was added to the app.
The first goal of the proposed URA is to thoroughly test the app and UI with several applications and address any issues that may arise so that the app can be released on Google Play. The second goal is to add additional features to the app, such as providing more detailed information about leakage incidents or coming up with simple ways to distinguish between legitimate and illegitimate leakage incidents.
Android development experience is required.
Interested students should contact: Urs Hengartner firstname.lastname@example.org
We are looking for up to three students to fill URA positions to work on a main-memory database management system. The system is mainly coded in common lisp, but also has components written in C, Bison, Flex and csh. It is a "compiling" DBMS that has a simple extensible runtime and operates by translating SQL-like data manipulation requests directly to C code that interfaces with this runtime. The underlying data model is a generalization of the relational data model in which, among other things, arbitrary inheritance hierarchies may be declared.
During the course of the project, students will increase their familiarity with a range of topics, among which: semantic data modelling, query optimization, A* search, transaction compilation, legacy data integration, rule-based translation and source code synthesis.
Ideal applicants will have a solid background in algorithms and data structures, and a particular interest in program translation. Experience with programming in a functional style would also be an asset.
Interested students should contact Grant Weddell email@example.com
Both of these forms must be fully completed and returned to Simone Paull in MC 4036, Please email firstname.lastname@example.org to arrange a time.
A faculty member must sign and fill out the account number on both the URA form and the Casual or Additional Pay Request form.
International Students need an SIN # to work in Canada
Please refer to the Student Success Office for this information:
For more information, please contact: