KSU is an equal opportunity employer and actively seeks diversity among its employees.
Student Programmer (UGRAD-01May2006)
The SAnToS Laboratory is seeking applications for a Student Programmer. The successful applicant must be a current KSU student with preference to CIS department majors. Experience with Java is required. Responsibilities involve working with members of the lab on the development of extensions to the Bogor model-checking framework. Specific activities include participating in research group meetings, collaborating with team members, and implementing commercial-quality tools. This is an hourly position for the summer with the possibilities of continued employment. Slight preference to students that are planning on staying around for 1-2 years or planning on starting a graduate degree.
Responsibilities
- Implement tools in Java using the Eclipse IDE and APIs
- Present current status and provide demos
- Create unit, integration, and system tests
- Provide user and developer documentation
Qualifications
- Self-directed, proactive, and disciplined (necessary)
- Ability to work with a team (necessary)
- Experience with the Java programming language (necessary)
- Experience with Eclipse (preferred)
- Experience with developing Eclipse plugins (preferred)
- Experience with Bogor and/or other model-checkers (preferred)
- Experience with specification and/or verification of software (preferred)
Timeline
Screening of applicants will begin on May 17, 2006 and will continue until the position is filled. The target start date is May 22, 2006. To ensure full consideration of your application it should be received by May 15, 2006.
Wages
This is a student hourly position with an hourly rate of $8-$15 depending on experience. Pay increases are given on a regular basis based upon performance.
How to Apply
Submit a cover letter and resume to tcw@cis.ksu.edu or mail to Todd Wallentine, Department of Computing and Information Sciences, Kansas State University, 234 Nichols Hall, Manhattan, KS 66506.