Graduate School Newsblog

Tag: Computer Science

Graduate Student presenting “Learn to Use Twitter”

Published
By

Graduate student Leo Ureel will give a presentation on Twitter for the Online at the Library session at 9 a.m., Thursday, Nov. 29, at the Portage Lake District Library.

In the session, participants will learn the meaning of internet terms, such as “tweet,” “follow” and “hash-tag.” Everyone will create a Twitter account and send messages using the service.

If you plan to attend, contact the CS department at 487-2209.

For more information, contact Leo Ureel at ureel@mtu.edu .

Published in TechToday

Continue Reading →

Simons Award for Graduate Students in Theoretical Computer Science

Published
By

The Simons Foundation Division for Mathematics and the Physical Sciences invites applications for the Simons Award for Graduate Students in Theoretical Computer Science program. These awards will be made to graduate students with an outstanding track record of research accomplishments.

To be eligible the applicant must be a graduate student who has completed two, three or four years at a U.S. or Canadian institution of higher education. A track record of outstanding results in theoretical computer science is the key criterion.

There is a limit of two applications per university. Please coordinate with the department chair. There are no citizenship requirements.

A Simons Award for Graduate Students is awarded for a period of two years for up to $24,000 per year. An awardee must be a graduate student for the duration of the award. Each award will provide support for the following:

  • Student Discretionary Funds: up to $8,500 per year for the awardee to use at his/her discretion (e.g., travel to summer research locations or to conferences, equipment, books, personal computer).
  • Summer Support: up to $9,000 per year for up to three months of summer salary support for awardee.
  • Department Funds: $2,500 per year to the awardee’s department to enhance the research atmosphere of the department; these funds should be expended at the discretion of the student’s advisor.
  • Overhead: $4,000 to the institution for administrative expenses.

Click here to apply.   The deadline to apply is February 7, 2013. Please coordinate submission of the proposal with the appropriate officials in accordance with institution/university policies. Please see the Application Instructions for further information.

Continue Reading →

Science, Mathematics And Research for Transformation (SMART) Defense Scholarship

Published
By

The Science, Mathematics And Research for Transformation (SMART) Scholarship for Service Program has been established by the Department of Defense (DoD) to support undergraduate and graduate students pursuing degrees in Science, Technology, Engineering and Mathematics (STEM) disciplines. The program aims to increase the number of civilian scientists and engineers working at DoD laboratories. Learn More >

Application deadline: December 14, 2012

To apply online, https://smart.asee.org/apply

Graduate applicants can be either currently enrolled in a regionally accredited U.S. college or university or awaiting notification of admission to such. If awaiting admission, you must be accepted for entrance in the fall 2013 term.  For more on eligibility, https://smart.asee.org/about/eligibility.

Participants in the SMART Scholarship for Service Program receive:

  • Full tuition and education related fees (does not include items such as meal plans, housing, or parking)
  • Stipend paid at a rate of $25,000 – $38,000 depending on degree pursuing (may be prorated depending on award length)
  • Paid summer internships
  • Health Insurance allowance up to $1,200 per calendar year
  • Book allowance of $1,000 per academic year
  • Mentoring
  • Employment placement after graduation
Continue Reading →

PVS Tutorial Offered

Published
By

Associate Professor Ali Ebnenasir (CS) and PhD student Amer Tahat (CS) will be conducting tutorials on the Prototype Verification System (PVS) at 4:30 p.m., Monday, Nov. 19, in Rekhi 101. Space is limited, so arrive early.

The PVS is one of the premier theorem provers developed at the Stanford Research Institute. This tutorial provides a basic understanding of PVS along with elementary techniques for the verification of computing systems in theorem proving. PVS has been used in the verification of numerous real-world applications such as Aircraft Transportation and Navigation Systems, Nuclear Plants Safety Systems and Spacecraft Autonomy and AI Planning.

This tutorial will be offered for faculty researchers and graduate students with generous technical support from the Formal Methods group at NASA Langley and the PVS group at SRI. Prerequisites include preliminary knowledge of propositional and predicate logics.

For more information, see Research.

If you have any questions, contact Ebnenasir at 487-4372 or aebnenas@mtu.edu .

Published in Tech Today

Continue Reading →

New dissertations available in the Library

Published
By

The Graduate School is pleased to announce new dissertations are now available in the J.R. van Pelt and Opie Library from the following programs:

  • Biological Sciences
  • Computational Science and Engineering
  • Computer Science
  • Electrical Engineering
  • Engineering Physics
  • Forest Science
  • Geology
  • Materials Science and Engineering
  • Mechanical Engineering-Engineering Mechanics
  • Rhetoric and Technical Communication
Continue Reading →

US Department of Energy Computational Sciences Graduate Fellowships

Published

U.S. Department of Energy Computational Sciences Graduate Fellowships

The U.S. Department of Energy provides funding for students in their first or second year of graduate study in the fields of physical, engineering, computers, mathematics and life sciences. The fellowships are renewable up to four years. Students receive about $31,000 a year, as well as a $1,000 annual academic allowance for travel, research activities and attending conferences. Some students may also get matched funds for computer support up to $2,475.

Continue Reading →

New theses and dissertations available in the Library

Published
By

The Graduate School is pleased to announce new theses and dissertations are now available in the J.R. van Pelt and Opie Library from the following programs:

  • Civil Engineering
  • Computer Science
  • Electrical Engineering
  • Environmental Engineering
  • Environmental Engineering Science
  • Industrial Archaeology
  • Materials Science and Engineering
  • Mechanical Engineering
  • Mechanical Engineering-Engineering Mechanics
  • Rhetoric and Technical Communication
Continue Reading →

Department of Defense SMART

Published

The Science, Mathematics And Research for Transformation (SMART) Scholarship for Service Program has been established by the Department of Defense (DoD) to support undergraduate and graduate students pursuing degrees in Science, Technology, Engineering and Mathematics (STEM) disciplines.

Eligibility:

  • a U.S. citizen at time of application,
  • 18 years of age or older as of August 1, 2012,
  • able to participate in summer internships at DoD laboratories,
  • willing to accept post-graduate employment with the DoD,
  • a student in good standing with a minimum cumulative GPA of 3.0 on a 4.0 scale (as calculated by the SMART application) and,
  • pursuing an undergraduate or graduate degree in one of the disciplines listed on the About SMART page.

Benefits:

  • Full tuition and education related fees (does not include items such as meal plans, housing, or parking)
  • Cash award paid at a rate of $25,000 – $41,000 depending on prior educational experience (may be prorated depending on award length)
  • Paid summer internships
  • Health Insurance reimbursement allowance up to $1,200 per calendar year
  • Book allowance of $1,000 per academic year
  • Mentoring
  • Employment placement after graduation
Continue Reading →

THE NASA GRADUATE FELLOWSHIP APPLICATIONS IS APPROACHING

Published

THE DEADLINE OF FEBRUARY 23, 2011 FOR THE NASA GRADUATE FELLOWSHIP APPLICATIONS IS APPROACHING.

Only two weeks remain to submit graduate student applications for NASA’s new Space Technology Research Fellowships. Applications are due by February 23 for the new NASA grants.

Applications are being accepted from accredited U.S. universities on behalf of graduate students interested in performing space technology research beginning this fall.

The fellowships will sponsor U.S. graduate student researchers who show significant potential to contribute to NASA’s strategic space technology objectives through their studies. Sponsored by NASA’s Office of the Chief Technologist, the fellowships’ goal is to provide the nation with a pipeline of highly skilled engineers and technologists to improve America’s technological competitiveness.

NASA Space Technology Fellows will perform innovative space technology research while building the skills necessary to become future technological leaders. Information about the fellowships, including how to submit applications, is available at:

http://www.nasa.gov/offices/oct/early_stage_innovation/grants/NSTRF.html

To learn more about NASA’s Office of the Chief Technologist and the crosscutting space technology areas of interest to NASA, visit:

http://www.nasa.gov/oct

If you plan to submit an application please contact Jodi Lehman (jglehman@mtu.edu) in the Sponsored Programs Enhancement Office.

Continue Reading →