Tag: Computer Science

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

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

PVS Tutorial Offered

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

New dissertations available in the Library

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

US Department of Energy Computational Sciences Graduate Fellowships

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.

New theses and dissertations available in the Library

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

Department of Defense SMART

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

THE NASA GRADUATE FELLOWSHIP APPLICATIONS IS APPROACHING

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.

Alumni Gifts Underwrite New Computing Research Center

The new Paul and Susan Williams Center for Computer Systems Research will soon provide a space where Michigan Tech’s computer scientists and engineers can put their heads together.

Equipment and furnishings for the 10,000-square-foot center are made possible by a gift from Paul Williams, a 1961 electrical engineering graduate. Williams, of Torrance, Calif., is a retired engineer who spent nearly all of his career with Hughes Aircraft.

Donations from other alumni are underwriting the costs of remodeling the fifth floor of the Electrical Energy Resources Center, which will house the new facility. The space was formerly occupied by the Seaman Mineral Museum. The construction project is funded by gifts from the James Fugere Foundation and the Dave House Family Foundation, along with numerous other donations alumni have made over the last several years.

The Williams Center will support research on real-time, high-performance computing and information processing; computer-aided design of digital systems; and embedded and distributed computer systems.

“Our aim is to bring together people from all parts of campus with a common interest in computing systems research,” said Dan Fuhrmann, chair of the Department of Electrical and Computer Engineering. “The Williams Center will be for faculty and students alike, for graduate students and undergraduates. It represents a huge leap forward in realizing Paul Williams’ vision of state-of-the-art facilities in electrical engineering, computer engineering and computer science, that were simply not available at Michigan Tech in 1961.”

Williams is also supporting Tech’s Paul and Susan Williams Endowed Scholarship, to be awarded annually to a graduate of his other alma mater, Negaunee High School. Preference will be given to electrical engineering majors.

The center has been a cooperative effort. “We’re excited about working with the Department of Computer Science on this,” said Fuhrmann. “We’ll be looking at experimental architectures, new applications and new ways of doing computing.”

Steven Carr, interim chair of computer science, is equally enthusiastic. “It’s a really neat opportunity for our departments to collaborate in a much more defined way,” he said. “We have always worked well together, and there are faculty in both departments who have the potential to cooperate closely on large projects. The center will play a big role in making that happen.”

The Williams Center concept grew from the Strategic Faculty Hiring Initiative in computational discovery and innovation. “It’s helping realize the goals of the SFHI, to raise the level of computing studies campus wide,” Fuhrmann said. “As we develop the resources made possible with this gift, we’ll be reaching out to others on campus for interesting computational problems.”

A grand opening for the center is expected in August. The facility will house 10 faculty offices, a conference room, a seminar room, two small meeting rooms, common areas for graduate student desks and lab space and a social area overlooking the Keweenaw Waterway. “It was designed to draw people together,” Fuhrmann said. “And the fact that it was made possible entirely through alumni donations is just phenomenal.”

Published in Tech Today.

NASA NSPIRES Research Opportunities

Supporting research in science and technology is an important part of NASA’s overall mission. NASA solicits this research through the release of various research announcements in a wide range of science and technology disciplines. Please bookmark and visit often  http://nspires.nasaprs.com/external to search for NASA research opportunities that may fit with your graduate research focus.

Current Opening:  NASA Space Technology Research Fellowships (NSTRF)

This Fall 2011 Fellowship opportunity is open to US citizens and permanent residents who are pursuing Master’s or Doctoral degrees in relevant space technology disciplines in Science, Technology, Engineering, and Mathematics.   Selected fellows will perform research on their respective campus and at NASA Centers and US Research and Development laboratories.

The maximum amount of an NSTRF award is $60,000 per year for a Master’s candidate and $66,000 per year for a Doctoral candidate – this includes a faculty advisor allowance of $9,000.

If interested, please contact Jodi Lehman (jglehman@mtu.edu).