The David Cheriton School of Computer Science offers opportunities to exceptional students through the Undergraduate Research Assistantship (URA) program, in which a student earns $600 a term for part-time research with a faculty member. (The money is paid once, near the end of the term.)
Faculty members post openings each term, and interested eligible students apply. These opportunities are open to any student who has completed the second year of their studies in the Faculty of Mathematics with at average of at least 80%; preference will be given to students enrolled in Computer Science major plans. A student may hold at most one URA per term.
There are three forms that must be completed. In particular, the faculty member must fill out the account number on both the URA description form and on the casual pay authorization form and sign both of them.
- Enter start and end dates. These will usually be the first day of the term and the last day of the term, respectively.
- For "Rate of pay", fill in as "See gross amount".
- For "Number of hours worked", fill in an amount less than 20 hours per week).
- For "Gross amount", fill in as "Flat fee $600".
Note that international students must have a Social Insurance Number (SIN) in order to be paid. Obtaining a SIN requires that the faculty member fill out and sign the linked in memo. The completed memo and application form must be taken, along with a valid passport and study permit, to a Service Canada Centre. See http://www.servicecanada.gc.ca/eng/sin/apply/how.shtml for the application form and instructions.
For further information, please contact:
Mitzi Schnabel
Office DC 3102
Phone:(519) 888-4567 ext.32191
Email:cs-uops@cs.uwaterloo.ca
![[Valid RSS]](valid-rss-rogers.png "Validate my RSS feed")
Title: Transformation of SMV models
This URA involves writing a simple transformation on an SMV model. SMV is a simple modeling language used in model checking analysis. Building on our existing tools in ML to parse and write SMV models, the student will write and test several function to shift the behaviour of the model. If time permits, we may also work on porting the tools to OCaml.
The following are the requirements for the position:
Contact:
Nancy Day, nday@uwaterloo.ca
Fathiyeh Faghih, ffaghihe@uwaterloo.ca
Alma Juarez Dominguez, aljuarez@uwaterloo.ca
Title: Analyzing High-level Models
Abstract: This URA involves implementing a translator from a high-level modeling language to Promela, and as a result, generating traces by using the model checker SPIN. The following are the requirements for this position:
Contacts:
Nancy Day (nday@uwaterloo.ca),
Amirhossein Vakili (avakili@cs.uwaterloo.ca)
Title: Port of a PHP-based web-site to LINUX
Porting to a Linux server a Web site hosted on a PC. An interacting Web site was developed using PHP on a PC. It is now to be hosted in a Linux server owned by the School of Computer Science.
Contact: Please contact Prof. Daniel Berry (dberry@uwaterloo.ca)
Title: Port troff to Mac OS X
Porting to Mac OS X software developed on Unix and now running on Solaris and on Linux. The troff typesettig software family was developed in the 1970s on Unix. It now runs on a Solaris and on a Linux machine. It is to be ported to run on Mac OS X.
Contact: Please contact Prof. Daniel Berry (dberry@uwaterloo.ca)
Title: Computational Modeling of Time Dependent Series
This URA involves research on the modeling of time dependent series such as IMDB movie ratings, College Football rankings, and US inflation numbers. Knowledge of Python or Perl a plus.
Interested students should contact Alex Lopez-Ortiz by email (alopez-o@uwaterloo.ca).
Title: Internet Programming/Data Mining/Question Answering
This URA involves research on internet programming / data mining / question answering using C++ or Java. Interested students should contact Dr. Ming Li either by visiting to his office (DC3355 x 84659) or by sending email (mli@uwaterloo.ca).
Title: Voice, Activity and Location Monitoring for Alzheimer's Disease
This is a research project at the intersection of Health Informatics, Machine Learning, Artificial Intelligence and Kinesiology. The research groups lead by Prof. Poupart (UW Computer Science), Prof. Roy (UW Kinesiology) and Dr. Black (Sunnybrook Hospital, Neurology) developed a wearable sensor system consisting of a smart phone, a microphone and accelerometers attached to the ankles. The system collects data about the voice, activities and location of Alzheimer patients throughout the day. The goal of the project is to see what symptoms of Alzheimer's disease can be assessed and monitored with this data. A research assistant is needed to analyze the data and to package existing algorithms so that other health researchers who do not have a computer background can also use the system. Preference will be given to applicants who have already taken a course in Machine Learning or Artificial Intelligence, but all applicants will be considered.
Contact person: Pascal Poupart (ppoupart@cs.uwaterloo.ca)
Title: Graphics/Computer Vision for Assistive Technology Applications
This URA involves developing software and hardware platforms that provide assistance or entertainment for persons with cognitivedisabilities, such as Alzheimer's disease. There are a range of projects involving computer graphics, computer vision, and artificial intelligence. Interested students should contact Jesse Hoey by email(jhoey@cs.uwaterloo.ca), or at his office DC3613 x37744
Title: State Complexity of Regular Language Operations
This URA involves research on regular languages and finite automata. The state complexity of aregular language is the number of states in the minimal deterministic finite automaton recognizing the language. Of particular interest is the state complexity of regular operations. For example, if K and L are regular languages of complexity m and n, respectively, then mn states are sufficient to recognize the union of K and L, and mn states are necessary in the worst case. However, if K and L satisfy the conditions K=KA*and L=LA*, where A is the alphabet, then mn - (m + n - 2) states are sufficient for their union. There are many interesting subclasses of regular languages for which the state complexity of some operations is an open problem. The objective of this project is to solve some of these problems.
This work is theoretical, but will involve some programming and computation. A short written report is required at the end of the project. It would be helpful if you had taken CS360, or could take it in Spring 2011. An average in mathematics courses of at least 85% is required; I know from experience that a lower average does not result in a successful project.
If you wish further information please email your resume and transcript to brzozo@uwaterloo.ca
Dr. J. Brzozowski
Distinguished Professor Emeritus
Adjunct Professor
David R. Cheriton School of Computer Science
Title: Translating Modelling Languages to SMV
One of my PhD students, Fathiyeh Faghih, and I are interested in hiring a URA to work on translating a modelling language into the input language of the model checker SMV.
The student would need knowledge of a functional programming language (e.g.,scheme) and logic (e.g., have taken CS245).
The student would build on top of an existing code base, and would be working in the functional language ML.
Knowledge of state machines or UML would also be helpful.
Contact info: Nancy Day, nday@cs.uwaterloo.ca
Fathiyeh Faghih, ffaghihe@uwaterloo.ca
Title: Social Network of Scientific Researchers
Summary: Today's scientific researchers collaborate actively with each other. The co-authorship in scientific publications reveal such collaboration relationship. In the emerging research area of proteomics, there is an authoritative data source (PubMed) that is publicly available for the authors and abstracts of the scientific publications. This project is to mine this data source to find interesting facts of the collaboration network in the area of proteomics. Questions that can be answered include:
David R. Cheriton School of Computer Science
University of Waterloo
Waterloo, Ontario, Canada N2L 3G1
Tel: 519-888-4567 x33293
Fax: 519-885-1208
Contact | Feedback: cs-uops@cs.uwaterloo.ca | David R. Cheriton School of Computer Science | Faculty of Mathematics
Last modified: Wednesday, 02-May-2012 09:26:47 EDT
