Master ST Home
Center ST Home
FAQ
?
Contact
?
People
Students
Staff
Coordinators
Courses
?
FPLC
?
|
SWE
?
DOS
?
|
SWS
?
CCO
?
|
SWA
?
APA
?
|
AFP
?
|
DBA
?
PV
?
|
GP
?
Seminars
DTP
?
|
TBPA
?
ACC
?
|
NO
?
DBA
?
Other Activities
Literature Study
Colloquium
Experimentation Project
Thesis project
?
How To
Electronic Library
Research Talk
Use TeX
Formulate Effectively
CommonMistakes
?
(constr)
Center
Home
Courses
People
Projects
Page
Edit Page
Rename Page
Attach File
Printable
Wiki Source
More ...
Web
Recent Changes
Notify Service
News
Page Index
Search
More ...
Wiki
About TWiki
Text Formatting
Registration
Change Password
Reset Password
Users
Groups
Log In
or
Register
Web Home
Master/Intern
-------+ Master Program Software Technology The Master Program Software Technology studies techniques that are employed in the production of software. We start from sound theoretical foundations, with a strong focus on real applicability. The program includes courses on programming methodology, programming formalisms (languages), programming tools, software architectures, component based programming, specification formalisms and verification techniques (correctness proofs, theorem proving). The Master Program is internationally oriented: the program is open to foreign students, and courses are taught in English. Students have the opportunity to follow courses and do projects at foreign universities and institutes. The program caters for students with a desire to obtain a Ph.D. position or a research position in a company, and for students who are interested in jobs as software designer in industry. The program results in a degree Master of Science in Computer Science. The program is offered by the [[Center.WebHome][Center for Software Technology]] of the [[http://www.cs.uu.nl][Institute of Information and Computing Sciences]] at [[http://www.uu.nl][Utrecht University]]. *The slides presented at Information Evening for Utrecht beta master studies, February 22nd 2007 are available.* [[%ATTACHURL%/mastervoorlichting-st.pdf][Download]] ----+++ Overview * [[Introduction]], our [[areas][areas of study]], and our [[CurriculumSoftwareTechnology][curriculum]]. * [[CareerOpportunities][career profiles]] * [[supervision]] * About us: [[Center for Software Technology]] * [[Admission]] * [[International Exchange]] This information is also available on a [[BrochureSoftwareTechnology][single page]] for easy printing. <center> | <a href="http://www.flickr.com/photos/38456545@N00/141298079/" title="Photo Sharing"><img src="http://static.flickr.com/46/141298079_2f9edda7be_m.jpg" width="240" height="115" alt="st lab" /></a> | <a href="http://www.flickr.com/photos/38456545@N00/141298081/" title="Photo Sharing"><img src="http://static.flickr.com/50/141298081_85441a7715_m.jpg" width="240" height="107" alt="overeem, mak & van noort" valign="top"/></a> | </center> -----+++ Check-list for New Students: [[Check List For New Students][here]]. -----+++ Thesis Project & Defenses How to start it, choosing your topics, tips, and procedures: [[ThesisProjects][see here]] <!-- * [[Thesis projects]] - subject areas for thesis projects * [[Thesis.WebHome][Planning your thesis project]] - procedures, milestones, and tips * [[Final steps]] to your thesis defense * [[http://www.cs.uu.nl/education/advies/master.html][Registration for the exam]] --> <!-- WP: commenting this out; already in the left-bar. -----+++ People * [[Center.People][Faculty and Ph.D. students]] * [[Students.WebHome][Master students]] * [[Student advisor]] --> <!-- * skin; don't show title * Set PREV_SKIN = notitle -->