THEORY OF PROGRAMMING LANGUAGES
Descrição da oferta de emprego
Examples of such systems abound, and can be found in diverse critical domains.
These include autonomous driving, modelling of biological systems, and medical and industrial engineering.
It is therefore crucial that one can simulate their execution as effectively and precisely as possible.
The simulation of hybrid systems, however, still harbours difficult challenges.
A most prominent one arises from the ubiquitous use of floating-point arithmetic – it introduces errors and potentially leads to simulations that are completely different from the actual behaviour of the hybrid system at hand.
Consequently the engineer may draw up wrong conclusions (e.
.
the driving system is safe) which in turn can cause catastrophic failures.
The overarching goal of this project is to simulate hybrid systems via exact real arithmetic instead.
More specifically the idea is to assist in the implementation of a simulator of hybrid systems, by implementing libraries for exact real arithmetic, plotting, visualisation, and analysis of differential equations.
We expect that the performance of such a simulator will be worse than the standard counterpart (i.
.
via floating-point arithmetic), however in principle it will have much greater fidelity and this is of crucial importance in the critical domains mentioned above.
The language for writing down hybrid systems will be based on a while-language with differential constructs for specifying how a physical process behaves.
The justification for this choice is that the language is simple, yet powerful, and moreover has a well-established semantics which we can use as an implementation guide.
The implementation will be based on the programming language Haskell, due to the latter’s laziness and higher-order features which is particularly useful in the context of exact real arithmetic.
Academic Qualifications MSc student in computer science or related field.
Minimum profile required - Experience with functional programming (Haskell) and hybrid systems;- B.
c.
completed with overall grade >= 16;- Current overall grade M.
c.
degree >= 16.
Preference factors - Experience with functional programming (Haskell) and hybrid systems; - M.
c.
course with focus on the two topics that were previously mentioned; - High overall grade in the M.
c.
degree.
Application Period Since 28 Nov to 11 Dec Centre High-Assurance Software Scientific Advisor Renato Jorge Neves
Detalhes da oferta
- INESC TEC
- 28/11/2024
- 26/02/2025
Equação it is a company focused on boosting technology and solid solutions through our expert consultants leading a high perspective and adding value to our customers with the purpose of providing optimization and business growth to our partners... we are looking for a scrum master with the following......
Proficient in programming languages such as c++, python, or java... familiarity with plc programming and industrial automation protocols... knowledge of project tools – fmea, planning, ishikawa... strong knowledge of robotic systems, sensors, and control systems... benefits: competitive salary health......
• writing of technical documentation... • implementation of user requirements... • elaboration of test programs... • assistance with deployment and configuration of the system... • knowledge and experience with xml format• knowledge of powershell scripting... • knowledge of migration tools such as sharegate......
Job description:you will be a single point of contact for the bank's clients for different types of inquiriesyou are able to manage all different types of inquiries generated via inbound activities such as chat and email... from the beginning, you will take an active role in providing excellent and nimble......
Job description:you will be a single point of contact for the bank's clients for different types of inquiriesyou are able to manage all different types of inquiries generated via inbound activities such as chat and email... from the beginning, you will take an active role in providing excellent and nimble......
We are committed to equality of opportunity for all... we use our experience and the power of ict to shape the future of society with our customers... fortune named fujitsu as one of 'the world's most admired companies' in 2013... possibility to work only 35h per week with our gimme5 program! fujitsu......
We are committed to equality of opportunity for all... we use our experience and the power of ict to shape the future of society with our customers... fortune named fujitsu as one of 'the world's most admired companies' in 2013... possibility to work only 35h per week with our gimme5 program! fujitsu......
We are proud to be part of joyn, an international group of it companies with over 20 years of business experience, with projects in more than 14 countries... net sw developer profile with a minimum experience of 3 years... we also inform you that your data will be kept in the company for a period of......
We are committed to equality of opportunity for all... we use our experience and the power of ict to shape the future of society with our customers... fortune named fujitsu as one of 'the world's most admired companies' in 2013... possibility to work only 35h per week with our gimme5 program! fujitsu......
We are committed to equality of opportunity for all... we use our experience and the power of ict to shape the future of society with our customers... fortune named fujitsu as one of 'the world's most admired companies' in 2013... possibility to work only 35h per week with our gimme5 program! fujitsu......
