• University of Edinburgh Featured Masters Courses
  • Regent’s University London Featured Masters Courses
  • Imperial College London Featured Masters Courses
  • University of York Featured Masters Courses
  • Xi’an Jiaotong-Liverpool University Featured Masters Courses
  • Leeds Beckett University Featured Masters Courses
  • Swansea University Featured Masters Courses
De Montfort University Featured Masters Courses
Cardiff University Featured Masters Courses
University of St Andrews Featured Masters Courses
University of Birmingham Featured Masters Courses
Newcastle University Featured Masters Courses
0 miles

Masters Degrees (Automata)

  • "automata" ×
  • clear all
Showing 1 to 4 of 4
Order by 
Ranked 2nd in the UK by Research Fortnight, our geomatics research is ground breaking. We publish in leading international journals, at conferences, in the media and through educational outreach programmes. Read more

Course Overview

Ranked 2nd in the UK by Research Fortnight, our geomatics research is ground breaking. We publish in leading international journals, at conferences, in the media and through educational outreach programmes. Whether focusing on geodesy or geospatial engineering, you will work with experts to produce research of an international standard.

The School of Civil Engineering and Geosciences enjoys an international reputation for using the latest science to solve problems of global importance. Our research has significant relevance in non-academic settings and we regularly apply it through consultancy to industry, from the global offshore industry to local authorities and survey and engineering companies. We are a key part of the TSB Satellite Applications Catapult North East Centre of Excellence.

For geomatics we have MPhil and PhD supervision in the following areas:

Satellite geodesy: GPS and geophysical modelling; GPS/GNSS geodesy; precise orbit determination of altimetric and geodetic satellites; sea level; ice sheet mass balance; satellite altimetry; static and temporal gravity field and reference frame analyses from dedicated satellite missions; SAR interferometry; geophysical and industrial deformation monitoring; geodynamics and geohazards; integration of GPS and INS; engineering geodesy

Geospatial Engineering: geoinformatics and advanced GIS; geospatial algorithm development; spatial modelling including network modelling, cellular automata and agent based approaches to spatial complexity; multimedia cartography and information delivery; temporal GIS; geospatial data management; airborne and satellite remote sensing applied to environmental impact assessment; land use, vegetation and pollution monitoring; Earth observation of urban systems; photogrammetry; laser scanning; precise non-contact dimensional control

Training and Skills

As a research student you will receive a tailored package of academic and support elements to ensure you maximise your research and future career. The academic information is in the programme profile and you will be supported by our Postgraduate Researcher Development Programme, doctoral training centres and Research Student Support Team.

For further information see http://www.ncl.ac.uk/postgraduate/courses/degrees/geomatics-mphil-phd/#training&skills

How to apply

For course application information see http://www.ncl.ac.uk/postgraduate/courses/degrees/geomatics-mphil-phd/#howtoapply

Read less
The primary aim of this course is to educate you to MSc level in the theoretical and practical aspects of mathematical problem solving, mathematical model development, creating software solutions and communication of results. Read more
The primary aim of this course is to educate you to MSc level in the theoretical and practical aspects of mathematical problem solving, mathematical model development, creating software solutions and communication of results.

This course provides training in the use and development of reliable numerical methods and corresponding software. It aims to train graduates with a mathematical background to develop and apply their skills to the solution of real problems. It covers the underlying mathematical ideas and techniques and the use and design of mathematical software. Several application areas are examined in detail. It develops skills in mathematical problem-solving, scientific computing, and technical communication.

Training is also provided in general computing skills, mathematical typsetting, mathematical writing, desktop and web-based mathematical software development, and the use of computer languages and packages including Mathematica, parallel computing, C#, 3D graphics and animation, and visualisation.

The MSC is now available fully online and can be taken over 12 months full time or 24 months part time.

Visit the website: http://www.ucc.ie/en/ckr36/

Course Details

By the end of the course, you will be able to:

- use the description of a real world problem to develop a reasonable mathematical model in consultation with the scientific literature and possibly experts in the area
- carry out appropriate mathematical analysis
- select or develop an appropriate numerical method and write a computer programme which gives access to a sensible solution to the problem
- present and interpret these results for a potential client or a non-technical audience


Module descriptions - http://www.ucc.ie/calendar/postgraduate/Masters/science/page05.html#mathematical

AM6001 Introduction to Mathematica (5 credits)
AM6002 Numerical Analysis with Mathematica (5 credits)
AM6003 Cellular Automata (5 credits)
AM6004 Applied Nonlinear Analysis (Computational Aspects) (5 credits)
AM6005 Modelling of Systems with Strong Nonlinearities (5 credits)
AM6006 Mathematical Modelling of Biological Systems with Differential Equations (5 credits)
AM6007 Object Oriented Programming with Numerical Examples (10 credits)
AM6008 Developing Windowed Applications and Web-based Development for Scientific Applications (5 credits)
AM6009 3D Computer Graphics and Animation for Scientific Visualisation (5 credits)
AM6010 Topics in Applied Mathematical Modelling (5 credits)
AM6011 Advanced Mathematical Models and Parallel Computing with Mathematica (5 credits)
AM6012 Minor Dissertation (30 credits)


The course places great emphasis on hands-on practical skills. There is a computer laboratory allocated solely for the use of MSc students. PCs are preloaded with all the required software and tools. Online students are expected to have a suitable PC or laptop available; all required software is provided for installation to faciliate course work. Online teaching hours, involving lecturers, tutorials and practical demonstrations, usually take place in the morninbg. The rest of the time, you are expected to do exercises, assignments and generally put in the time required to acquire key skills.


Continuous assessment is the primary method of examining. In each module, typically 40% of the marks are available for take-home assignments and the remaining 60% of marks are examined by a practical computer-based examination. Final projects are read and examined by at least two members of staff.

For more information, please see the Book of Modules 2015/2016 - http://www.ucc.ie/calendar/postgraduate/Masters/science/page05.html#mathematical


Quantitative graduates with software skills are in high demand in industry according to the Governments Expert Group on Future Skills Needs. Demand for these skills is project to rise over the coming years not just in Ireland but in the EU and globally. Graduates have recently secured jobs in the following areas: banking, financial trading, consultancy, online gambling firms, software development, logistics, data analysis and with companies such as AIB, McAfee, Fexco, DeCare Systems, MpStor, the Tyndall Institute, Matchbook.com, First Derivatives and KPMG.

How to apply: http://www.ucc.ie/en/study/postgrad/how/

Funding and Scholarships

Information regarding funding and available scholarships can be found here: https://www.ucc.ie/en/cblgradschool/current/fundingandfinance/fundingscholarships/

Read less
Learning how to design high-level software that guarantees safety and correctness while still being in control of its complexity. Read more
Learning how to design high-level software that guarantees safety and correctness while still being in control of its complexity.

Software plays a role in almost every aspect of our daily lives and in every organisation anywhere in the world. It can often be a crucial key to their success. Well-structured software that is attuned to an organisation’s needs and future plans can be cost effective, improve efficiency, offer better services and be innovative. Many companies, in every branch out there, are therefore looking for highly skilled software specialists. Graduates of the Master’s specialisation in Software Science will have no trouble finding a job.

Producing software is not merely a technological enterprise but a deeply scientific and creative one as well. Modern cars drive on 20 million lines of code. How do we develop all this software and control its complexity? How do we ensure correctness of software on which the lives in a speeding car literally depend on? This specialisation goes far beyond basic code writing. It’s about analysing and testing code in order to improve it as well as simplify it.

Why study Software Science at Radboud University?

- Although not the only focus, our programme puts a lot of emphasis on embedded software and functional programming.
- We teach a unique range of software analysis techniques and application down to practical/commercial use in industry.
- This specialisation builds on the strong international reputation of the Institute for Computing and Information Sciences (iCIS) in areas such as model based and virtual product development, advanced programming, and domain specific languages. We also closely collaborate with the Embedded Systems Institute.
- Our approach is pragmatic as well as theoretical. As an academic, we don’t just expect you to understand and make use of the appropriate tools, but also to program and develop your own.
- For your Master’s research we have a large number of companies like Philips, ASML and NXP offering projects. There are always more projects than students.
- Thanks to free electives students can branch out to other Computing Science domain at Radboud University such as security, machine learning or more in-depth mathematical foundations of computer science.
- The job opportunities are excellent: some of our students get offered jobs before they’ve even graduated and almost all of our graduates have positions within six months after graduating.

See the website http://www.ru.nl/masters/softwarescience

Admission requirements for international students

1. A completed Bachelor's degree in Computing Science or related area
In order to get admission to this Master’s you will need a completed Bachelor’s degree in Computing Sciences or a related discipline.
2. A proficiency in English
In order to take part in the programme, you need to have fluency in English, both written and spoken. Non-native speakers of English without a Dutch Bachelor's degree or VWO diploma need one of the following:
- TOEFL score of >575 (paper based) or >232 (computer based) or >90 (internet based)
- IELTS score of >6.5
- Cambridge Certificate of Advanced English (CAE) or Certificate of Proficiency in English (CPE), with a mark of C or higher

Career prospects

Writing good software is a highly creative process, which requires the ability to approach problems in entirely novel ways through computational thinking. Besides creativity, a professional software scientist also has fine problem-solving, analytical, programming, and communication skills. By combining software programming, model-checking techniques and human intellect, software scientists can make a real difference to help and improve the devices that govern such a large part of our lives.

The job perspective for our graduates is excellent. Industry desperately needs software science specialists at an academic level, and thus our graduates have no difficulty in find an interesting and challenging job. Several of our graduates decide to go for a PhD and stay at a university, but most of our students go for a career in industry. They then typically either find a job at a larger company as consultant or programmer, or they start up their own software company.

Examples of companies where our graduates end up include the big Dutch high-tech companies such as Océ, ASML, Vanderlande and Philips, ICT service providers such as Topicus and Info Support and companies started by Radboud graduates, like AIA and GX.

Our research in this field

The Master’s programme in Computing Sciences is offered in close collaboration with the research Institute for Computing and Information Sciences (iCIS). Research at iCIS is organised in three different research sections:
- Model Based System Development
- Digital Security
- Intelligent Systems

The Software Science specialisation builds on the strong international reputation of iCIS in areas such model based and virtual product development, advanced programming, and domain specific languages.

Research project and internship

For your research project, you may choose to do your internship at:
- A company
---- SME, such as as Océ, Vanderlande, Clarity or GX
---- multinational, such as the Philips, ASML, NXP, Logica or Reed Business Media
- A governmental institute, such as the (Dutch) Tax Authorities or the European Space Agency.
- Any department at Radboud University or another university with issues regarding software, like studying new techniques for loop bound analysis, the relation between classical logic and computational systems, or e-mail extension for iTasks.
- One of the iCIS departments, specialising on different aspects of Software Science.
- Abroad, under supervision of researchers from other universities that we collaborate with. For instance, exploring a new technique for automata learning at Uppsala University in Sweden, or verifying the correctness of Erlang refactoring transformations at the Eötvös Loránd University (ELTE) in Budapest, Hungary.

See the website http://www.ru.nl/masters/softwarescience

Read less

  • 1
Show 10 15 30 per page

Share this page:

Cookie Policy    X