Based at the University of Limerick, Ireland, and affiliated with:

Lero  - The Irish Software Research Centre (https://www.lero.ie)
Enable - Research Programme on Smart Communities (https://www.enable-research.ie)
Confirm - Centre for Smart Manufacturing (https://confirm.ie)

Aplication Procedure

The closing date for receipt of applications is 12 noon, Irish Standard Time Wednesday, 1st May 2019.

Further information for applicants and application material is available online from http://www.ul.ie/hrvacancies/

The Role

The positions are based in a thriving, creative, multi-displinary software research group (http://spare.lero.ie), with deep and extensive academic collaborations, industrial partners, and a collegial and supportive working environment.

Applicants from a wide variety of backgrounds are welcome, including from software engineering, security engineering, privacy management, digital forensics,  mobile and ubiquitous computing, and/or adaptive systems.

Applicants with experience in application areas like smart cities, smart manufacturing, Industrie 4.0/Cyber-Physical Systems, Internet of Things, etc, are also welcome.

Potential applicants are encouraged to contact Prof Bashar Nuseibeh <Bashar.Nuseibeh@lero.ie> for an informal discussion. If possible, please include a CV and a sample publication with your email

Please note that formal applications (online) must include:
 
- A letter of introduction indicating how you meet the criteria outlined in the Job description.

- A completed online Application Form
 
Please email erecruitment@ul.ie if you experience any difficulties
 
Applications are welcome from suitably qualified candidates.

QUALIFICATIONS:

• The ideal candidate will have a PhD in software verification with PhD and postdoctoral experience of a number of the following: formal verification tools used in industry such as Promela/SPIN,TLA+, Frama-C; formal models of concurrency; weak memory models; probabilistic modelling; refactoring code to minimise false positives from static analysis tools; software certification and qualification processes; real-time operating systems; and related topics.

Aplication Procedure

• Send an email to Dr. Andrew Butterfield (Firstname.LastName@scss.tcd.ie) containing:
  1. CV
  2. Contact details for at least two referees
  3. Cover letter detailing why you feel you are suited to the position.
• Application Deadline: 12noon (IST) Wednesday 18th September
• Trinity College Dublin is an equal opportunities employer

The Role

RTEMS-SMP Qualification is an activity funded by the European Space Agency (ESA) to perform pre-qualification of an upcoming release of the open-source real-time operating system RTEMS (rtems.org). This release provides support for running RTEMS on multi-core systems. It follows on from previous work in this area funded by ESA.

Researchers from Lero, the Irish Software Research Centre are involved in a task that explores the use of formal verification techniques in this qualification process. The task is to deploy formal techniques such as formal modelling, model-checking, and theorem proving, to assist in improving the quality of qualification results in key areas.

Key areas under consideration include: modelling and verifying the multicore scheduling algorithms MrsP and OMIP and key synchronisation primitives; exploring how formal methods can help with test generation, and particularly for assembly code, with coverage analysis; and probabilistic reasoning to work around testing difficulties due to lack of predictability inherent in multi-core systems.

This will require the development and revision of requirements for these algorithms, development of formal models for appropriate formal tools and ways to automate, as far as is practical, the running of those tools.

Two key challenges are: to produce outputs that are suitable for software qualification; while doing this in a way that is acceptable to the open-source community (rtems.org) that maintains the operating system.

The activity is being run by a consortium led by Thales Edisoft (Portugal), with partners Embedded Brains (Germany), Jena Optronik (Germany), CISTER Research Centre, ISEP (Portugal), and Trinity College Dublin (Ireland) as part of Lero, the Irish Software Research Centre.

QUALIFICATIONS:

• Relevant Honours level Engineering / Science degree or similar.
• Masters or PhD degree in a related discipline or industry experience is an advantage.

Requirements

•  Experience in data mining techniques example data pre-processing, data analysis, pattern recognition etc.
•  Experience in algorithm development and machine or Deep learning techniques.

Aplication Procedure

Applications closing: Tuesday April 23rd @ 12 noon. All applications must be made online at www.ittralee.ie

The Role

We are looking for a highly motivated Research Assistant to join the research team at IMaR @ ITTralee. The successful candidate will work on data analytics and machine learning projects in collaboration with industrial partners and the SFI Lero team. The successful candidate may have the opportunity to lead aspects of the overall project.

http://imar.ie/opportunity-research-assistant-data-analytics-machine-learning/
http://www.ittralee.ie/en/InformationFor/Vacancies/

Qualification : Third level degree in a technical discipline, ideally in computer science or software engineering.

Aplication Procedure

Please note that applications for all vacancies must be submitted online at www.ul.ie/hrvacancies in advance of 12 noon Irish Standard Time on the advertised closing date.  We aim to complete the screening process within one week of the closing date, and the shortlisting process within a further week.  Therefore we aim to be in touch with all candidates within one month of the closing date.  

The Role

OVERALL PURPOSE OF THE JOB:

Lero has had considerable success in securing research funding to date, with over €100m awarded to Lero researchers since Lero’s establishment in 2005. We aim to secure 80m+ in leveraged funding over the period 2015 - 2020 from a variety of sources, including SFI, Enterprise Ireland, the Irish Research Council, the European Commission, the European Space Agency and industry partners.
Lero is seeking to appoint an International Funding Manager who will develop and implement a funding strategy to achieve Lero’s funding objectives. The International Funding Manager will be a core part of the Lero Operations Group, and will work closely with Lero researchers in all the Lero institutions.

The role will require regular travel between the Lero academic and industry partners in Ireland, as well as to funding bodies in Ireland and abroad, particularly in the EU. As such, the location can be a matter for discussion.

DESCRIPTION:

Reporting to the Lero General Manager, and working with Lero researchers as well as each institution’s research support services, the International Funding Manager will:

•    Develop, own and implement a funding strategy for Lero that will deliver on its *Non Exchequer-Non Commercial (NE-NC) Funding objectives.
•    Work closely with the Business Development Manager to incorporate NE-NC funding strategy into the Lero business development plan.
•    Identify and pursue opportunities that facilitate the alignment of research funding body agendas with Lero’s specific research capabilities through extensive networking and investigation.
•    Promote Lero as the academic partner of choice amongst European and international academic institutions.
•    Anaylse and understand the content and operation of national and international research funding programmes (in particular, the EU’s Horizon 2020 & programmes) in order to focus Lero researchers on relevant opportunities.
•    Assist Lero researchers in building appropriate research consortia to bid for identified funding calls.
•    Assist researchers and partner organisations (including industry partners) with the preparation of grant proposals, contract negotiations and post award project implementation.
•    Ensure Research Centre KPI’s for *Non Exchequer-Non Commercial (NE-NC) funding are monitored and met.
*NE-NC funding is funding awarded from sources external to Irish Government and Industry Sources. This includes funding from the EU H2020 programme and other private and international Awards.
The role will require regular travel between the Lero academic and industry partners in Ireland, as well as to funding bodies in Ireland and abroad, particularly in the EU. As such the location can be a matter for discussion.

Essential Criteria

•    Third level degree in a technical discipline, ideally in computer science or software engineering.
•    Minimum 7 years work experience with third level degree in an academic, industrial or in a research funding body environment.
•    Strong people skills and networking experience with the ability to forge long term strategic relationships and multi-disciplinary partnerships between academic institutions.
•    Knowledge and understanding of research funding programmes at international level.
•    Demonstrated ability to work across organisational boundaries, achieving results through influencing skills and collaboration.
•    Minimum 5 years project management experience in a target driven environment.
•    Excellent verbal and written communications skills.

Desirable Criteria

•    Experience in devising and implementing a funding strategy for a research organisation or research funding body.
•    Experience in managing and coordinating research funding submissions and a demonstrated track record of success.
•    Experience in working with international organisations and structures, particularly in the research context.
•    Experience in the preparation and review of complex proposals and reports.
•    Broad understanding of the software research environment.
•    A postgraduate qualification in technical or business discipline.