Total 3,445 research officer job vacancies in Education / Training category in Singapore

The SingHealth Centre for Population Health Research and Implementation (CPHRI) is the nexus for population health research, innovation, implementation science and evaluation in SingHealth. CPHRI aims to seamlessly leverage data and technology to guide and support population health initiatives and accelerate the implementation of research findings in care delivery and improvement.

You will assist the Principal Investigator to perform a variety of functions such assisting in developing study plans and conducting literature reviews. You will be tasked to prepare Institutional Review Board applications as well as assist in subject recruitment, data collection and data management. You will assist with quality control and preparations for quality assurance. You will be required to liaise with study partners to ensure all study-related activities are carried out efficiently and coordinate project meetings. You will particpate in the preparation of abstracts, posters and manuscripts for dissemination of study results as well as reports as required by the funder.

Requirements

• Bachelor’s degree in Public Health, Biological Sciences, Social Sciences, Epidemiology or related academic area
• Knowledge of Microsoft Office applications and data analytics software (e.g. SPSS, STATA, Python and NVivo) is an advantage
• Good verbal and written communication skills
• Good time management skill
• Good interpersonal skills and ability to work both independently and in a team

The Centre for Population Health Research and Implementation (CPHRI) is a centralised platform for population health research, innovation, implementation and evaluation activities at the SingHealth Regional Health System. CPHRI aims to seamlessly leverage data and technology to guide and support population health initiatives and accelerate the implementation of research findings in care delivery and improvement.

You will support the work of the Population-based, Unified, Learning System for Enhanced and Sustainable Health (PULSES) Centre Grant which seeks to develop a learning and integrated Regional Health System to address unmet needs and advance population health research in Singapore.

You will assist the Principal Investigator (PI) in conducting literature reviews and systematic reviews as well as assisting with study design and planning. You will conduct quantitative and qualitative research studies and perform data analysis. You will organise analytical and research activities and prepare manuscripts/reports/proposals. You will offer technical guidance and research support to department staff in the domain of analytics and programme evaluation. You will also support the development of educational curriculum and conduct education activities related to the various population health research areas and projects.

Requirement

• Master’s degree in Health Economics, Public Health, Biostatistics, Social Science, Epidemiology or related academic area with least 2 years’ experience in population health research
• Experience in health economics, built environment on social factors and health or implementation science will be an advantage
• Experience in using any statistical package (SPSS/STATA/SAS) or qualitative analysis software Nvivo
• Good verbal and written communication skills
• Good interpersonal skills and ability to work both independently and in a team

The Centre for Population Health Research and Implementation (CPHRI) is a centralised platform for population health research, innovation, implementation and evaluation activities in SingHealth. CPHRI aims to seamlessly leverage data and technology to guide and support population health initiatives and accelerate the implementation of research findings in care delivery and improvement.

You will support the work of the Population-based, Unified, Learning System for Enhanced and Sustainable Health (PULSES) Centre Grant as well as other signature research programmes in the centre. You will assist the Principal Investigators in developing grant proposals and study plans. You will conduct literature reviews and systematic reviews as well as assist with study design and planning. You are required to perform data analysis and ensure the accuracy in the data interpreted.

You will be involved in the preparation of abstracts/posters/manuscripts/reports. You will oversee the process and quality of the study execution and keep track of timelines and budget. You will also lead a team of junior research staff and provide technical supervision.

Requirements

• PhD degree in Social Science, Biostatistics, Public Health, Epidemiology, Health Economics or related academic area with at least 3 years’ experience in population health research
• Experience in health economics or implementation science will be an advantage
• Track record of publications in peer-reviewed journals
• Strong quantitative or qualitative research skills
• Proficient with advanced data analytics software (eg. SPSS, STATA, SAS) or qualitative analysis software (eg. Nvivo)
• Excellent written and verbal communication skills
• Highly motivated, independent and able to work in a dynamic environment
• Ability to work independently and in a team

As a University of Applied Learning, SIT works closely with industry in our research pursuits. Our research staff will have the opportunity to be equipped with applied research skill sets that are relevant to industry demands while working on research projects in SIT.

The primary responsibility of this role is to deliver on an applied research project as a part of Infocomm Technology cluster at SIT. In this role, you will be part of the research team, working to develop and evaluate privacy-preserved Generative AI algorithms for generating synthetic Personal Identity Information (PII). This aims to overcome the issues raised by using real-world PII data.

Key Responsibilities:

• Participate in and manage the research project with Principal Investigator (PI), Co-PI and the research team members to ensure all project deliverables are met.
• Design a Natural Language Processing algorithm for identifying Personal Identity Information data.
• Design and evaluate a privacy preserved Generative AI based algorithm for generating synthetic data.
• Validate integrated system functionality and performance.
• Help produce progress reports and technical papers on research work.
• Ensure compliance with Work, Safety and Health Regulations.
• Assist in project resources requirement and managing student projects.

Job Requirements:

• Have a Masters or PhD Degree in Computer Engineering/Computer Science/Electrical Engineering or equivalent.
• Have relevant research/industry experience in Machine Learning, AI and Privacy.

• An excellent team player who can cope with an agile and fast-paced environment.

• Good communication and interpersonal skills.

• Possess relevant hands-on experience in Python, Java, C++ etc. and corresponding development environments.

Requirements:

• Engage relevant internal and/or external stakeholders to identify research and evaluation needs/questions.
• Conduct literature reviews.
• Conceptualize and design the studies/projects including the methodology (sampling method, test materials/surveys to be used etc…) and the timeline (project milestones)
• Manage all aspects of the studies/projects from start to completion.
• Conduct fieldwork, interviews, experiments, concept tests, etc. to gather data.
• Conduct data preparation and cleaning on the gathered data.
• Conduct statistical analyses on the cleaned data.
• Prepare presentations and reports for internal/external stakeholders.
• Prepare presentations for conferences and manuscripts for journal publications.
• Support operations of the research unit

Qualifications:

• Master’s degree and above in social work, psychology, or related fields
• 2 years of relevant experience is preferred (fresh graduates with research being a core component of their degree, are welcome to apply)
• Experience with at least one quantitative analysis software such as SPSS, STATA, R and/or similar tools.
• Analytical, organized, and good interpersonal skills
• Prior experience in social service sector would be an added advantage.

The Singapore National Eye Centre/Singapore Eye Research Institute (SNEC/SERI), is seeking a highly qualified and motivated individual to take on a significant role in this exciting and rapidly developing research group.

The Ocular Epidemiological Research Group at SERI conducts ophthalmic epidemiologic research via machine learning in Singapore and Asia. In addition, together with Retina and Glaucoma Research Groups at SERI, we are conducting several clinical projects, collectively involving over 100,000 study subjects, with comprehensive image and genetic data.

For the role of a Research Officer, you will be working in the Ocular Epidemiology Research Group with the following (but not limited to) responsibilities,

• Assist Principal Investigator (PI) and Research Fellow in developing study plans and conduct literature reviews to aid grant applications and scientific manuscripts.
• Prepare reports and ethics applications
• Perform image processing (e.g. Python, MATLAB).
• Perform data validation and analysis using advanced data analytics software (e.g., SPSS, STATA, SAS).
• Perform data validation and analysis using advanced machine learning platforms (e.g., TensorFlow, Caffe, pytorch, etc.).
• Coordinate and communicate with funding organizations, and collaborators
• Assist in study execution, managing project timelines, and participate in the preparation of abstracts, posters and presentations
• Interpret and present study results
• Train and manage junior coordinators and students
• Perform other related or additional duties assigned by the PI

Requirements:

• A Bachelor degree in computer science, computer vision, robotics, public health, biostatistics or relevant disciplines is preferable
• Good written and verbal communication skills
• Advanced knowledge in statistical analysis and machine learning
• Ability to work independently with minimal supervision and to multi-task several projects at a time
• An analytical mind, drive and dynamic personality
• He/ She can additionally be assured of a fulfilling and challenging career in a fast-paced and dynamic organization. We strongly encourage continuous education and development through our in-house training programmes and external courses.

Note: Package offered will commensurate with qualifications and experience.

Key Responsibilities:

Plan, execute and manage all phases of accounting and business-related research and thought leadership projects congruent with the Institute's strategy. This includes:

• Generate research themes or topics. Regular horizon scanning to identify global, regional and local industry and business trends of relevance to the accountancy profession.
• Develop and roll out research proposals that would enhance the Institute’s thought leadership and advocacy position.
• Collaborate with relevant partners, industry stakeholders, and/or government agencies to drive research projects and agendas that are relevant and of interest to the accounting profession.
• Ensure timely delivery of high-quality research outputs that are produced within budget allocation.
• Identify appropriate research approaches, including prepare survey questionnaires, focus group discussion questions, interview questions, etc.
• Collect, analyse and interpret data and results.
• Present research results and write reports for publication.
• Work closely with the Communications Department to effectively publicise the research outputs via available media and communications platforms.
• Produce commentaries for CA Lab on emerging business trends and developments that impact the profession.
• Carry out any other ad-hoc assignments assigned by the immediate supervisor.

Requirements:

• Bachelor’s degree in Accountancy, Business, Finance, Economics or Political Science.
• At least 5 years of relevant experience in research-related work.
• Keen interest in latest business trends and developments. Curious and always on the lookout for areas/topics that interest the accountancy and business community.
• Strong analytical and critical thinking skills, with the ability to grasp issues and acquire knowledge in new domains.
• Analyse multiple sources of information and data to derive insights for research purposes and to write reports and commentaries.
• Excellent writing, communication and interpersonal skills. The ability to facilitate group discussions will be an added advantage.
• Highly motivated, able to work independently and multi-task in a dynamic environment.
• Team player with excellent organisational skills and attention to detail.
• Strong knowledge of MS Excel, including pivot tables, v-lookup, etc. Familiar with survey tools such as SurveyMonkey.

Interested applicants are invited to apply directly at the NUS Career Portal

Your application will be processed only if you apply via NUS Career Portal

We regret that only shortlisted candidates will be notified.

Job Description

The Institute for Applied Learning Sciences and Educational Technology (ALSET) (to be renamed Centre for Holistic Inquiry into Lifelong Learning (CHILL)) has an opening for a UI/UX Researcher (Research Assistant) role.

The User Researcher will utilize data analytics to understand and analyze the needs, behaviours, and motivations of users to inform the design and development of a system for designing inclusive blended learning solutions for diverse learner populations. This involves:

• Gathering raw data from various sources such as databases, data warehouses, social media, and more.
• Preparing the data for analysis by removing inaccuracies, inconsistencies, and redundancies.
• Applying statistical and mathematical models to the data to identify relationships, correlations, and causations.
• Conducting various research activities such as interviews, surveys, and focus groups to gather both qualitative and quantitative data from users.
• Synthesizing qualitative data through thematic analysis and interpreting quantitative data using statistical methods.
• Creating visualizations to interpret and communicate findings from collected data.
• Translating research findings into actionable insights and recommendations, guiding the design and development process to ensure the final product meets user needs effectively.

Additionally, the researcher will work in the broader field of Human Computer Interaction (HCI) on researching user experience where they would be developing, prototyping and conducting usability testing. The Designer will also be involved in developing various artefacts contributing to the Technology Enhanced Learning (TEL) aspect of HCI research, and leading appropriate research activities.

Qualifications

• Bachelor’s Degree in Information Systems or related fields.
• At least 1-2 years’ experience in user research and data analytics using technologies such as Tableau, R and Python.
• Experience in databases such as MongoDB, MySQL, PostgreSQL is preferred.
• Experience in technologies such as React, Node is an added plus.
• Prior research experience is advantageous.
• Strong analytical skills and proficiency in data analytics tools.
• Excellent communication skills (written and verbal) and interpersonal skills.

The Centre for Advanced Robotics Technology Innovation (CARTIN) are seeking a highly skilled and motivated Autonomous Robotics Software Engineer to join our team.

Key Responsibilities:

• Develop and maintain software for autonomous sweeping vehicles.
• Conduct field testing trials to validate software performance and reliability.
• Provide software and computer support, including setting up and troubleshooting computer-related matters.
• Develop software tools, sensors, actuator drivers for testing safety-critical modules and sensors in robotic systems.
• Assist in integrating custom modules into complex software stacks.
• Work with Subject Matter Experts (SMEs) to carry out software acceptance testing, including unit, functional, and load testing, and organize test result records.
• Manage and deploy software commits for field testing, ensuring timely updates and maintenance.

Job Requirements:

• Bachelor's degree in Computer Science, Robotics, Electrical Engineering, or a related field. A Master’s degree is preferred.
• 2–6 years of experience in C++/ROS development.
• Hands-on experience in robotics and mechatronics.
• Experience with deploying ROS in real-world environments.
• Familiar with robotic sensor and actuator hardware such as LiDAR.
• Strong problem-solving skills and the ability to work in a multi-disciplinary team.
• Experience in developing software for cleaning systems or similar applications.
• Familiarity with robotics technologies.
• Knowledge of machine learning applications in robotics.
• Experience with software development life cycles, including design, implementation, deployment, and maintenance.

We regret that only shortlisted candidates will be notified.

Job Description

The Signature Research Programme in Health Services & Systems Research (“HSSR”) in Duke-NUS Medical School is a centre of academic excellence for research and education on the organisation, funding and delivery of health services. The programme’s focus is on public health and clinical service innovation in an increasingly complex and connected world. The major research focus of HSSR is the organisation and delivery of health and social services in the context of an ageing population. The research methods include decision science and simulation modelling, survey research, qualitative research, health economics, and implementation science and evaluation. We are also developing a range of education activities for health care professionals including short courses, graduate certificates, Masters course and PhD programmes.

A Senior Research Fellow position is currently available, and the successful candidate will be expected to perform a variety of research activities which include but not limited to the following: -

• Build up an Implementation Science core in HSSR and Health Services Research Institute (“HSRI”).
• Bring in grants in collaboration with our collaborators.
• Support research activities relevant to the scope of HSSR and HSRI.
• Be responsible for project management.
• Perform other related duties incidental to the work described herein or as assigned by the supervisor.

Job Requirements

• PhD in Public Health or Health Services Research.
• Minimum 3 years of postdoctoral work experience. Prior experience in healthcare would be advantageous.
• Possess strong writing and critical thinking skills.
• Have excellent communication (verbal & written) and interpersonal skills.
• Action-oriented, highly motivated, and target-focused.
• Able to work both independently and as a team player in a diverse workforce.

We regret that only shortlisted candidates will be notified.

Job Purpose

Provide strong technical expertise and leadership in Process Development of project transfer and start-up. Responsible for areas of the Frontend processes. Work closely with team to ensure successful implementation of project. Lead and/or support the team for new product transfer I development, equipment design, processes optimization and qualifications efforts. To ensure compliance to ISO/FDA, cGMPs, HSE regulatory requirements.

Accountabilities

• To lead process development aspects of project implementation to deliver results within projected timeline, excellent execution and documentation.

• To lead user requirement specification (URS) development for processes equipment and liaise with vendors on technical discussion.

• To lead design reviews for processes equipment and work with global/ R&D team to develop and transfer the technology to site.

• To develop and execute equipment and processes validation approach / plan.

• To lead and execute new equipment and processes installation, optimization, commissioning, qualification and validation.

• To proactively communicate project progress, key issues and any other critical topics in a timely manner to the appropriate management level and vendors.

• To ensure compliance to cGMPs, IS013485 / FDA, HSE, and policy requirements.

Requirements

• Education: Minimum Diploma in Engineering (Mechanical, Electrical, Automation) or relevant discipline or equivalent.
• Experience: 8-15 years working experience in contact lens or optical device manufacturing or similar environment.
• Good understanding of processes automation system, vision inspection system, robotics and GMP/GDP requirement.
• Good analytical and troubleshooting skill with systemic approach.
• Good leadership and management skills.

As a University of Applied Learning, SIT works closely with industry in our research pursuits. Our research staff will have the opportunity to be equipped with applied research skill sets that are relevant to industry demands while working on research projects in SIT.

The primary responsibility of this role is to deliver on an industry innovation research project where you will be part of the research team to develop future-ready display technologies and demo applications for virtual reality, augmented reality and mixed reality.

Key Responsibilities

• Participate in the research project with Principal Investigator (PI), Co-PI and the research team members to ensure all project deliverables are met.
• Undertake these responsibilities in the project:

1. Conduct in-depth AI research towards proof-of-concept (POC) prototypes for future-ready display technologies for VR/AR/MR
2. Develop demonstration applications for the POC prototype

• Carry out Risk Assessment, and ensure compliance with Work, safety and health regulations.
• Coordinate procurement and liaison with vendors/suppliers.
• Work independently, as well as within a team, to ensure proper operation and maintenance of equipment.

Job Requirements

• A PhD degree in computer or related programmes and have relevant competence in the areas of VR/AR/MR and AI.
• 3 or more years of research experience in VR/AR/MR/AI.
• Hands-on experience of developing POC systems to demonstrate research results.
• Knowledge and experience in optics will be advantageous.
• Able to build and maintain strong working relationships with people within and external to the university.
• Self-directed learner who believes in continuous learning and development
• Show strong initiative and take ownership of work.
• Teamwork spirit

The Centre for Outbreak Preparedness (“COP”) at Duke-NUS was launched in June 2022, with a vision to enhance regional health security across Asia - with major focus on supporting low-and-middle income countries across the region. A key pillar of COP’s efforts is to support the Asia Pathogen Genomics Initiative (“Asia PGI”) which was established to enhance genomic pathogen surveillance in 14 countries in Asia, and accelerate the new tool development to enhance outbreak response capacity. This includes novel technologies such as genomic sequencing, diagnostics, new therapeutics and vaccines. Key work-streams include developing guidance to accelerate approval of innovations; supporting industry and national distributors on issues of procurement, supply and distribution; facilitating links with regional global market shaping efforts to improve affordability; and examining policy/regulatory/legal frameworks to address national and regional challenges.

The position of a Research Fellow at COP will contribute to a new initiative – the Asia PGI Strategy Think Tank developed to support countries around key policy, regulatory, procurement and legal issues. Duke-NUS partners include the Centre of Regulatory Excellence at Duke-NUS, the Centre for Global Health Law at NUS, Singapore-based manufacturers and global and regional partners. The focus areas of the Strategy Think Tank include health policy and planning, responding to emerging procurement and regulatory challenges supporting the development of legal frameworks that foster health security.

The key responsibilities for the Research Fellow will include but not limited to:-

• Work with COP, related Duke-NUS and Singapore-based institutions and regional and global partners to ensure work-streams align with existing global/regional initiatives are accomplished in an effective and efficient manner, and adhering to all legislative, policy, procedural and scientific guidelines.
• Be involved with the work-streams of the Strategy Think Tank across 14 countries in Asia.
• Be involved in collaborative efforts with national, regional and global stakeholders and managing timelines for key outputs and deliverables.
• Work with COP to conduct policy reviews, qualitative interviews, syntheses of legal and regulatory frameworks and related content development
• Compile country case-studies and synthesize emerging lessons
• Perform other related duties incidental to the work described herein.

Job Requirements

• Possess a PhD degree and/or post-graduate medical degree with at least 3 years of relevant research experience and training.
• Possess technical understanding of health policy and issues related to global health.
• Have experience in supporting capacity development/training efforts.
• Able to contribute to multiple projects efficiently.
• Able to maintain a professional demeanour and high level of comfort working with high-profile stakeholders from government, industry, academia, institutions, NGOs, multilateral organisations, at local/regional/international levels.
• Posses strong writing and critical thinking skills, as well as good communication and presentation skills.

We regret that only shortlisted candidates will be notified.

COMPANY DESCRIPTION

Singapore Management University is a place where high-level professionalism blends together with a healthy informality. The 'family-like' atmosphere among the SMU community fosters a culture where employees work, plan, organise and play together building a strong collegiality and morale within the university.

Our commitment to attract and retain talent is ongoing. We offer attractive benefits and welfare, competitive compensation packages, and generous professional development opportunities all to meet the work-life needs of our staff. No wonder, then, that SMU continues to be given numerous awards and recognition for its human resource excellence.

RESPONSIBILITIES

Work done will be at the direction of the PI, and where relevant, the Industry Director and Centre Director.As the Programme is interdisciplinary and multidisciplinary by nature, you will be expected to convey yourdomain expertise and edify others (and vice versa) in as productive, constructive, and collaborative a manneras possible.

You may be asked to participate in the development of use cases and delivery of proof-of-concept prototypesfor government and industry partners in the areas of computable contracts and "rules as code". Experience inrequirements analysis and agile, iterative methodologies will be useful at this stage.The work of the team will be largely determined by these use cases and customers. We will work with multipleuse cases so that we can abstract across them and develop generalized, reusable infrastructure. We will workwith specific customers so we can build useful applications on top of that infrastructure.You will contribute to the design and development of open-source software written to serve those use cases.You will work as part of a team of research engineers, developers, and domain expertise and you will beexpected to actively participate in team meetings and text-based communications. You will be expected to beactive members of the applied research community, by validating and contributing to advances incomputational law.

You may be asked to conduct use-inspired research at the direction of the Principal Investigator. This includes

• reading academic papers, standards publications, and related material such as blog posts andpresentations;
• coming up to speed in fields which may be new to you, such as computational linguistics, mathematicallogic, programming language design, formal verification, and model-based architecture;
• reading (and updating/commenting, relevant) existing software documentation;
• creating presentations, video recordings, walkthroughs, etc. to document and explain research work done;
• writing (and presenting, if so decided by the PI) academic papers and materials for publication; and
• documenting in a sufficiently-detailed manner so as to share what you've learned.

You will be expected to participate in software development; this includes

• learning how to use third party tools, including editors, IDEs, databases, business process modeling software, programming languages, and libraries;
• evaluating competing software systems for suitability;
• building infrastructure to enable application development
• managing yourself, and managing fellow team members;
• engaging in product, project, and program management as needed
• reading books and consuming such other media forms about software development;
• writing documentation such as user/developer-facing manuals, tutorials;
• delivering community support to users and customers;
• preparing presentations to represent the project before external audiences; and
• writing actual user-facing applications throughout the "full stack",in each case, documenting, reporting, and/or presenting the same in clearly and efficiently, both internally and externally.

Researchers under the Programme should possess both mastery of their academic speciality, anddemonstrated practical experience producing and supporting high-quality open-source code throughcommunity engagement across multiple media. Candidates must have Bachelor's, Master's, Ph.D., oralternative qualifications in computer science, software engineering, (symbolic) artificial intelligence,computational linguistics, or formal methods. Fluency in multiple natural languages, and any experience with law, are a plus.

This specialist role requires skills in the following areas (one or two in each category is sufficient):

Open-Source Software & Open-Standard Infrastructure Engineering Internet Unix TCP/IP HTTP(S) XML JSON Schemas YAML Git Github Technical Writing Developer Relations and Evangelism

Programming Languages and Frameworks: Preferred: Haskell or OCaml. Python. Possible alternatives: Common Lisp Racket Scheme Javascript / Typescript / Node.

Formalization of Contracts, Rules, and Business Logic: Akoma Ntoso LegalRuleML Petri Nets Drools iLog OPA Neota Logic Constraint Handling Rules ICAIL JURIX RuleML+RR

Semantic Web and Ontologies: RDFa RDFt RDF RIF SWRL OWL Cyc KBpedia SUMO UFO Protg or a commercial rules engine with ontology support

Model Driven Architecture: UML BPMN DMN OCL SBVR Statecharts Activity Diagrams Parnas Tables Logics: Hoare

Logic Kripke structures Modal mu-calculus Dynamic Logic Deontic, Temporal, and Epistemic modals Situation Calculus Process Calculi Multivalent logics Defeasible Logic BDI Abductive Logic F-Logic Intuitionistic Non-monotonic Logics Skolemization Well-Founded Semantics Good Old-Fashioned Artificial Intelligence and Semantic Web

Knowledge Representation and Reasoning: Lisp Prolog F-Logic Drools Oracle Policy Manager Flora-2 Datalog Answer-Set Programming Defeasible Logic Expert Systems DocAssemble lps.doc.ic.ac.uk

Skills listed below this line are preferred but not required:

Theorem Proving and Strongly Typed Languages: CoQ Agda Idris Lean Prover F* Advanced Haskell (Template etc) OCaml Elm Isabelle/HOL StrangeLoop Pony

Model Checkers and SAT/SMT solvers: Z3 PAT SMTlib NuSMV SPIN Sentient

IDEs, Language Workbenches, and PLT frameworks: K Framework JetBrains MPS IDEs (Vim, Emacs, Visual Studio Code, Atom, Sublime Text) Language Server Protocol Rule Systems and Logics

Computational Linguistics Natural Language Generation Computational Semantics (in Haskell, Prolog, or Lisp) Montague Semantics Grammatical Framework Text planning Surface realization Familiarity with: WordNet FrameNet SenseNet Controlled Natural Languages Attempto Controlled English ACErules

Parsers, Compilers, and Programming Language Theory Lex/YACC alex/happy Bison CFGs EBNF BNFC

Formal Verification and Specification Languages Some familiarity with any of: TLA+ Alloy IVy B Method Z notation VDM++ LTL CTL

App Development Test-Driven Development Continuous Integration Software Project Management Agile / XP / Scrum Pair Programming Literate Programming Unit Testing Amazon Web Services Docker Full-Stack Development

#LI-JN2

COMPANY DESCRIPTION

Singapore Management University is a place where high-level professionalism blends together with a healthy informality. The 'family-like' atmosphere among the SMU community fosters a culture where employees work, plan, organise and play together building a strong collegiality and morale within the university.

Our commitment to attract and retain talent is ongoing. We offer attractive benefits and welfare, competitive compensation packages, and generous professional development opportunities all to meet the work-life needs of our staff. No wonder, then, that SMU continues to be given numerous awards and recognition for its human resource excellence.

RESPONSIBILITIES

Work done will be at the direction of the PI, and where relevant, the Industry Director and Centre Director.As the Programme is interdisciplinary and multidisciplinary by nature, you will be expected to convey yourdomain expertise and edify others (and vice versa) in as productive, constructive, and collaborative a manneras possible.

You may be asked to participate in the development of use cases and delivery of proof-of-concept prototypesfor government and industry partners in the areas of computable contracts and "rules as code". Experience inrequirements analysis and agile, iterative methodologies will be useful at this stage.The work of the team will be largely determined by these use cases and customers. We will work with multipleuse cases so that we can abstract across them and develop generalized, reusable infrastructure. We will workwith specific customers so we can build useful applications on top of that infrastructure.You will contribute to the design and development of open-source software written to serve those use cases.You will work as part of a team of research engineers, developers, and domain expertise and you will beexpected to actively participate in team meetings and text-based communications. You will be expected to beactive members of the applied research community, by validating and contributing to advances incomputational law.

You may be asked to conduct use-inspired research at the direction of the Principal Investigator. This includes

• reading academic papers, standards publications, and related material such as blog posts andpresentations;
• coming up to speed in fields which may be new to you, such as computational linguistics, mathematicallogic, programming language design, formal verification, and model-based architecture;
• reading (and updating/commenting, relevant) existing software documentation;
• creating presentations, video recordings, walkthroughs, etc. to document and explain research work done;
• writing (and presenting, if so decided by the PI) academic papers and materials for publication; and
• documenting in a sufficiently-detailed manner so as to share what you've learned.

You will be expected to participate in software development; this includes

• learning how to use third party tools, including editors, IDEs, databases, business process modelingsoftware, programming languages, and libraries;
• evaluating competing software systems for suitability;
• building infrastructure to enable application development
• managing yourself, and managing fellow team members;
• engaging in product, project, and program management as needed
• reading books and consuming such other media forms about software development;
• writing documentation such as user/developer-facing manuals, tutorials;
• delivering community support to users and customers;
• preparing presentations to represent the project before external audiences; and
• writing actual user-facing applications throughout the "full stack",in each case, documenting, reporting, and/or presenting the same in clearly and efficiently, both internally andexternally.

Researchers under the Programme should possess both mastery of their academic speciality, anddemonstrated practical experience producing and supporting high-quality open-source code throughcommunity engagement across multiple media. Candidates must have Bachelor's, Master's, Ph.D., oralternative qualifications in computer science, software engineering, (symbolic) artificial intelligence,computational linguistics, or formal methods. Fluency in multiple natural languages, and any experience with law, are a plus.

This specialist role requires skills in the following areas (one or two in each category is sufficient):

Open-Source Software & Open-Standard Infrastructure Engineering Internet Unix TCP/IP HTTP(S) XML JSON Schemas YAML Git Github Technical Writing Developer Relations and Evangelism

Programming Languages and Frameworks: Preferred: Haskell or OCaml. Python. Possible alternatives: Common Lisp Racket Scheme Javascript / Typescript / Node.

Formalization of Contracts, Rules, and Business Logic: Akoma Ntoso LegalRuleML Petri Nets Drools iLog OPA Neota Logic Constraint Handling Rules ICAIL JURIX RuleML+RR

Semantic Web and Ontologies: RDFa RDFt RDF RIF SWRL OWL Cyc KBpedia SUMO UFO Protg or a commercial rules engine with ontology support

Model Driven Architecture: UML BPMN DMN OCL SBVR Statecharts Activity Diagrams Parnas Tables Logics: Hoare

Logic Kripke structures Modal mu-calculus Dynamic Logic Deontic, Temporal, and Epistemic modals Situation Calculus Process Calculi Multivalent logics Defeasible Logic BDI Abductive Logic F-Logic Intuitionistic Non-monotonic Logics Skolemization Well-Founded Semantics Good Old-Fashioned Artificial Intelligence and Semantic Web

Knowledge Representation and Reasoning: Lisp Prolog F-Logic Drools Oracle Policy Manager Flora-2 Datalog Answer-Set Programming Defeasible Logic Expert Systems DocAssemble lps.doc.ic.ac.uk

Skills listed below this line are preferred but not required:

Theorem Proving and Strongly Typed Languages: CoQ Agda Idris Lean Prover F* Advanced Haskell (Template etc) OCaml Elm Isabelle/HOL StrangeLoop Pony

Model Checkers and SAT/SMT solvers: Z3 PAT SMTlib NuSMV SPIN Sentient

IDEs, Language Workbenches, and PLT frameworks: K Framework JetBrains MPS IDEs (Vim, Emacs, Visual Studio Code, Atom, Sublime Text) Language Server Protocol Rule Systems and Logics

Computational Linguistics Natural Language Generation Computational Semantics (in Haskell, Prolog, or Lisp) Montague Semantics Grammatical Framework Text planning Surface realization Familiarity with: WordNet FrameNet SenseNet Controlled Natural Languages Attempto Controlled English ACErules

Parsers, Compilers, and Programming Language Theory Lex/YACC alex/happy Bison CFGs EBNF BNFC

Formal Verification and Specification Languages Some familiarity with any of: TLA+ Alloy IVy B Method Z notation VDM++ LTL CTL

App Development Test-Driven Development Continuous Integration Software Project Management Agile / XP / Scrum Pair Programming Literate Programming Unit Testing Amazon Web Services Docker Full-Stack Development

#LI-JN2

COMPANY DESCRIPTION

Singapore Management University is a place where high-level professionalism blends together with a healthy informality. The 'family-like' atmosphere among the SMU community fosters a culture where employees work, plan, organise and play together building a strong collegiality and morale within the university.

Our commitment to attract and retain talent is ongoing. We offer attractive benefits and welfare, competitive compensation packages, and generous professional development opportunities all to meet the work-life needs of our staff. No wonder, then, that SMU continues to be given numerous awards and recognition for its human resource excellence.

RESPONSIBILITIES

Work done will be at the direction of the PI, and where relevant, the Industry Director and Centre Director.As the Programme is interdisciplinary and multidisciplinary by nature, you will be expected to convey yourdomain expertise and edify others (and vice versa) in as productive, constructive, and collaborative a manneras possible.

You may be asked to participate in the development of use cases and delivery of proof-of-concept prototypesfor government and industry partners in the areas of computable contracts and "rules as code". Experience inrequirements analysis and agile, iterative methodologies will be useful at this stage.The work of the team will be largely determined by these use cases and customers. We will work with multipleuse cases so that we can abstract across them and develop generalized, reusable infrastructure. We will workwith specific customers so we can build useful applications on top of that infrastructure.You will contribute to the design and development of open-source software written to serve those use cases.You will work as part of a team of research engineers, developers, and domain expertise and you will beexpected to actively participate in team meetings and text-based communications. You will be expected to beactive members of the applied research community, by validating and contributing to advances in computational law.

You may be asked to conduct use-inspired research at the direction of the Principal Investigator. This includes

• reading academic papers, standards publications, and related material such as blog posts and presentations
• coming up to speed in fields which may be new to you, such as computational linguistics, mathematical logic, programming language design, formal verification, and model-based architecture
• reading (and updating/commenting, relevant) existing software documentation
• creating presentations, video recordings, walkthroughs, etc. to document and explain research work done
• writing (and presenting, if so decided by the PI) academic papers and materials for publication
• documenting in a sufficiently-detailed manner so as to share what you've learned

You will be expected to participate in software development; this includes

• learning how to use third party tools, including editors, IDEs, databases, business process modeling software, programming languages, and libraries
• evaluating competing software systems for suitability
• building infrastructure to enable application development
• managing yourself, and managing fellow team members
• engaging in product, project, and program management as needed
• reading books and consuming such other media forms about software development
• writing documentation such as user/developer-facing manuals, tutorials
• delivering community support to users and customers
• preparing presentations to represent the project before external audiences
• writing actual user-facing applications throughout the "full stack"

in each case, documenting, reporting, and/or presenting the same in clearly and efficiently, both internally and externally.

Researchers under the Programme should possess both mastery of their academic speciality, anddemonstrated practical experience producing and supporting high-quality open-source code throughcommunity engagement across multiple media. Candidates must have Bachelor's, Master's, Ph.D., oralternative qualifications in computer science, software engineering, (symbolic) artificial intelligence,computational linguistics, or formal methods.

Fluency in multiple natural languages, and any experience with law, are a plus.

Minimum qualifications:

Open-Source Software & Open-Standard Infrastructure EngineeringInternet Unix TCP/IP HTTP(S) XML JSON Schemas YAML Git Github Technical Writing Developer Relations and Evangelism

Programming Languages and Frameworks:Preferred: Haskell or OCaml. Python.Possible alternatives: Common Lisp Racket Scheme Javascript / Typescript / Node.

Formalization of Contracts, Rules, and Business Logic: Akoma Ntoso LegalRuleML Petri Nets Drools iLog OPA Neota Logic Constraint Handling Rules ICAIL JURIX RuleML+RR

Semantic Web and Ontologies: RDFa RDFt RDF RIF SWRL OWL Cyc KBpedia SUMO UFO Protg or a commercial rules engine with ontology support

Model Driven Architecture: UML BPMN DMN OCL SBVR Statecharts Activity Diagrams ParnasTables

Logics: Hoare Logic Kripke structures Modal mu-calculus Dynamic Logic Deontic, Temporal, andEpistemic modals Situation Calculus Process Calculi Multivalent logics Defeasible Logic BDI AbductiveLogic F-Logic Intuitionistic Non-monotonic Logics Skolemization Well-Founded SemanticsGood Old-Fashioned Artificial Intelligence and Semantic Web

Knowledge Representation and Reasoning: Lisp Prolog F-Logic Drools Oracle Policy Manager Flora-2 Datalog Answer-Set Programming Defeasible Logic Expert Systems DocAssemble lps.doc.ic.ac.uk

Skills listed below this line are preferred but not required:

Theorem Proving and Strongly Typed Languages:CoQ Agda Idris Lean Prover F* Advanced Haskell (Template etc) OCaml Elm Isabelle/HOL StrangeLoop Pony

Model Checkers and SAT/SMT solvers: Z3 PAT SMTlib NuSMV SPIN Sentient

IDEs, Language Workbenches, and PLT frameworks: K Framework JetBrains MPS IDEs (Vim, Emacs,Visual Studio Code, Atom, Sublime Text) Language Server ProtocolRule Systems and Logics

Computational Linguistics Natural Language GenerationComputational Semantics (in Haskell, Prolog, or Lisp) Montague Semantics Grammatical Framework Textplanning Surface realizationFamiliarity with: WordNet FrameNet SenseNet Controlled Natural Languages Attempto Controlled English ACErules

Parsers, Compilers, and Programming Language TheoryLex/YACC alex/happy Bison CFGs EBNF BNFC

Formal Verification and Specification LanguagesSome familiarity with any of: TLA+ Alloy IVy B Method Z notation VDM++ LTL CTL

App DevelopmentTest-Driven Development Continuous Integration Software Project Management Agile / XP / Scrum PairProgramming Literate Programming Unit Testing Amazon Web Services Docker Full-StackDevelopment

#LI-JN2

COMPANY DESCRIPTION

Singapore Management University is a place where high-level professionalism blends together with a healthy informality. The 'family-like' atmosphere among the SMU community fosters a culture where employees work, plan, organise and play together building a strong collegiality and morale within the university.

Our commitment to attract and retain talent is ongoing. We offer attractive benefits and welfare, competitive compensation packages, and generous professional development opportunities all to meet the work-life needs of our staff. No wonder, then, that SMU continues to be given numerous awards and recognition for its human resource excellence.

RESPONSIBILITIES

Work done will be at the direction of the PI, and where relevant, the Industry Director and Centre Director.As the Programme is interdisciplinary and multidisciplinary by nature, you will be expected to convey yourdomain expertise and edify others (and vice versa) in as productive, constructive, and collaborative a manner as possible.

You may be asked to participate in the development of use cases and delivery of proof-of-concept prototypesfor government and industry partners in the areas of computable contracts and "rules as code". Experience inrequirements analysis and agile, iterative methodologies will be useful at this stage.The work of the team will be largely determined by these use cases and customers. We will work with multipleuse cases so that we can abstract across them and develop generalized, reusable infrastructure. We will workwith specific customers so we can build useful applications on top of that infrastructure.You will contribute to the design and development of open-source software written to serve those use cases.You will work as part of a team of research engineers, developers, and domain expertise and you will beexpected to actively participate in team meetings and text-based communications. You will be expected to beactive members of the applied research community, by validating and contributing to advances incomputational law.

You may be asked to conduct use-inspired research at the direction of the Principal Investigator. This includes

• reading academic papers, standards publications, and related material such as blog posts and presentations;
• coming up to speed in fields which may be new to you, such as computational linguistics, mathematical logic, programming language design, formal verification, and model-based architecture;
• reading (and updating/commenting, relevant) existing software documentation;
• creating presentations, video recordings, walkthroughs, etc. to document and explain research work done;
• writing (and presenting, if so decided by the PI) academic papers and materials for publication; and
• documenting in a sufficiently-detailed manner so as to share what you've learned.

You will be expected to participate in software development; this includes

• learning how to use third party tools, including editors, IDEs, databases, business process modeling software, programming languages, and libraries;
• evaluating competing software systems for suitability;
• building infrastructure to enable application development;
• managing yourself, and managing fellow team members;
• engaging in product, project, and program management as needed;
• reading books and consuming such other media forms about software development;
• writing documentation such as user/developer-facing manuals, tutorials;
• delivering community support to users and customers;
• preparing presentations to represent the project before external audiences; and
• writing actual user-facing applications throughout the "full stack", in each case, documenting, reporting, and/or presenting the same in clearly and efficiently, both internally and externally.

Researchers under the Programme should possess both mastery of their academic speciality, and demonstrated practical experience producing and supporting high-quality open-source code throughcommunity engagement across multiple media. Candidates must have Bachelor's, Master's, Ph.D., or alternative qualifications in computer science, software engineering, (symbolic) artificial intelligence, computational linguistics, or formal methods.

Fluency in multiple natural languages, and any experience with law, are a plus.

Minimum qualifications:

Open-Source Software & Open-Standard Infrastructure EngineeringInternet Unix TCP/IP HTTP(S) XML JSON Schemas YAML Git Github TechnicalWriting Developer Relations and Evangelism

Parsers, Compilers, and Programming Language TheoryLex/YACC alex/happy Bison CFGs EBNF BNFC

App DevelopmentTest-Driven Development Continuous Integration Software Project Management Agile / XP / Scrum PairProgramming Literate Programming Unit Testing Amazon Web Services Docker Full-StackDevelopment

Programming Languages and Frameworks:Preferred: Haskell or OCaml. Python.Possible alternatives: Common Lisp Racket Scheme Javascript / Typescript / Node.

Computational Linguistics Natural Language GenerationComputational Semantics (in Haskell, Prolog, or Lisp) Montague Semantics Grammatical Framework Textplanning Surface realizationFamiliarity with: WordNet FrameNet SenseNet Controlled Natural Languages Attempto ControlledEnglish ACErules

Formal Verification and Specification LanguagesSome familiarity with any of: TLA+ Alloy IVy B Method Z notation VDM++ LTL

Preferred qualifications:

Theorem Proving and Strongly Typed Languages:CoQ Agda Idris Lean Prover F* Advanced Haskell (Templateetc) OCaml Elm Isabelle/HOL StrangeLoop Pony

Model Checkers and SAT/SMT solvers: Z3 PAT SMTlib NuSMV SPIN Sentient

IDEs, Language Workbenches, and PLT frameworks: K Framework JetBrains MPS IDEs (Vim, Emacs,Visual Studio Code, Atom, Sublime Text) Language Server ProtocolRule Systems and Logics

Formalization of Contracts, Rules, and Business Logic: Akoma Ntoso LegalRuleML PetriNets Drools iLog OPA Neota Logic Constraint Handling Rules ICAIL JURIX RuleML+RR

Model Driven Architecture: UML BPMN DMN OCL SBVR Statecharts Activity Diagrams ParnasTables

Logics: Hoare Logic Kripke structures Modal mu-calculus Dynamic Logic Deontic, Temporal, andEpistemic modals Situation Calculus Process Calculi Multivalent logics Defeasible Logic BDI AbductiveLogic F-Logic Intuitionistic Non-monotonic Logics Skolemization Well-Founded SemanticsGood Old-Fashioned Artificial Intelligence and Semantic Web

Knowledge Representation and Reasoning: Lisp Prolog F-Logic Flora-2 Datalog Answer-SetProgramming Defeasible Logic Expert Systems DocAssemble lps.doc.ic.ac.uk

Semantic Web and Ontologies:RDFa RDFt RDF RIF SWRL OWL Cyc KBpedia SUMO UFO Protg

#LI-JN2

COMPANY DESCRIPTION

Singapore Management University is a place where high-level professionalism blends together with a healthy informality. The 'family-like' atmosphere among the SMU community fosters a culture where employees work, plan, organise and play together building a strong collegiality and morale within the university.

Our commitment to attract and retain talent is ongoing. We offer attractive benefits and welfare, competitive compensation packages, and generous professional development opportunities all to meet the work-life needs of our staff. No wonder, then, that SMU continues to be given numerous awards and recognition for its human resource excellence.

RESPONSIBILITIES

Work done will be at the direction of the PI, and where relevant, the Industry Director and Centre Director.As the Programme is interdisciplinary and multidisciplinary by nature, you will be expected to convey yourdomain expertise and edify others (and vice versa) in as productive, constructive, and collaborative a manner as possible.

You may be asked to participate in the development of use cases and delivery of proof-of-concept prototypesfor government and industry partners in the areas of computable contracts and "rules as code". Experience inrequirements analysis and agile, iterative methodologies will be useful at this stage.The work of the team will be largely determined by these use cases and customers. We will work with multipleuse cases so that we can abstract across them and develop generalized, reusable infrastructure. We will workwith specific customers so we can build useful applications on top of that infrastructure.You will contribute to the design and development of open-source software written to serve those use cases.You will work as part of a team of research engineers, developers, and domain expertise and you will beexpected to actively participate in team meetings and text-based communications. You will be expected to beactive members of the applied research community, by validating and contributing to advances incomputational law.

You may be asked to conduct use-inspired research at the direction of the Principal Investigator. This includes

• reading academic papers, standards publications, and related material such as blog posts and presentations;
• coming up to speed in fields which may be new to you, such as computational linguistics, mathematical logic, programming language design, formal verification, and model-based architecture;
• reading (and updating/commenting, relevant) existing software documentation;
• creating presentations, video recordings, walkthroughs, etc. to document and explain research work done;
• writing (and presenting, if so decided by the PI) academic papers and materials for publication; and
• documenting in a sufficiently-detailed manner so as to share what you've learned.

You will be expected to participate in software development; this includes

• learning how to use third party tools, including editors, IDEs, databases, business process modeling software, programming languages, and libraries;
• evaluating competing software systems for suitability;
• building infrastructure to enable application development;
• managing yourself, and managing fellow team members;
• engaging in product, project, and program management as needed;
• reading books and consuming such other media forms about software development;
• writing documentation such as user/developer-facing manuals, tutorials;
• delivering community support to users and customers;
• preparing presentations to represent the project before external audiences; and
• writing actual user-facing applications throughout the "full stack", in each case, documenting, reporting, and/or presenting the same in clearly and efficiently, both internally and externally.

Researchers under the Programme should possess both mastery of their academic speciality, and demonstrated practical experience producing and supporting high-quality open-source code throughcommunity engagement across multiple media. Candidates must have Bachelor's, Master's, Ph.D., or alternative qualifications in computer science, software engineering, (symbolic) artificial intelligence, computational linguistics, or formal methods.

Fluency in multiple natural languages, and any experience with law, are a plus.

Minimum qualifications:

Open-Source Software & Open-Standard Infrastructure EngineeringInternet Unix TCP/IP HTTP(S) XML JSON Schemas YAML Git Github TechnicalWriting Developer Relations and Evangelism

Parsers, Compilers, and Programming Language TheoryLex/YACC alex/happy Bison CFGs EBNF BNFC

App DevelopmentTest-Driven Development Continuous Integration Software Project Management Agile / XP / Scrum PairProgramming Literate Programming Unit Testing Amazon Web Services Docker Full-StackDevelopment

Programming Languages and Frameworks:Preferred: Haskell or OCaml. Python.Possible alternatives: Common Lisp Racket Scheme Javascript / Typescript / Node.

Computational Linguistics Natural Language GenerationComputational Semantics (in Haskell, Prolog, or Lisp) Montague Semantics Grammatical Framework Textplanning Surface realizationFamiliarity with: WordNet FrameNet SenseNet Controlled Natural Languages Attempto ControlledEnglish ACErules

Formal Verification and Specification LanguagesSome familiarity with any of: TLA+ Alloy IVy B Method Z notation VDM++ LTL

Preferred qualifications:

Theorem Proving and Strongly Typed Languages:CoQ Agda Idris Lean Prover F* Advanced Haskell (Templateetc) OCaml Elm Isabelle/HOL StrangeLoop Pony

Model Checkers and SAT/SMT solvers: Z3 PAT SMTlib NuSMV SPIN Sentient

IDEs, Language Workbenches, and PLT frameworks: K Framework JetBrains MPS IDEs (Vim, Emacs,Visual Studio Code, Atom, Sublime Text) Language Server ProtocolRule Systems and Logics

Formalization of Contracts, Rules, and Business Logic: Akoma Ntoso LegalRuleML PetriNets Drools iLog OPA Neota Logic Constraint Handling Rules ICAIL JURIX RuleML+RR

Model Driven Architecture: UML BPMN DMN OCL SBVR Statecharts Activity Diagrams ParnasTables

Logics: Hoare Logic Kripke structures Modal mu-calculus Dynamic Logic Deontic, Temporal, andEpistemic modals Situation Calculus Process Calculi Multivalent logics Defeasible Logic BDI AbductiveLogic F-Logic Intuitionistic Non-monotonic Logics Skolemization Well-Founded SemanticsGood Old-Fashioned Artificial Intelligence and Semantic Web

Knowledge Representation and Reasoning: Lisp Prolog F-Logic Flora-2 Datalog Answer-SetProgramming Defeasible Logic Expert Systems DocAssemble lps.doc.ic.ac.uk

Semantic Web and Ontologies:RDFa RDFt RDF RIF SWRL OWL Cyc KBpedia SUMO UFO Protg

#LI-JN2

COMPANY DESCRIPTION

Singapore Management University is a place where high-level professionalism blends together with a healthy informality. The 'family-like' atmosphere among the SMU community fosters a culture where employees work, plan, organise and play together building a strong collegiality and morale within the university.

Our commitment to attract and retain talent is ongoing. We offer attractive benefits and welfare, competitive compensation packages, and generous professional development opportunities all to meet the work-life needs of our staff. No wonder, then, that SMU continues to be given numerous awards and recognition for its human resource excellence.

RESPONSIBILITIES

Work done will be at the direction of the PI, and where relevant, the Industry Director and Centre Director.As the Programme is interdisciplinary and multidisciplinary by nature, you will be expected to convey yourdomain expertise and edify others (and vice versa) in as productive, constructive, and collaborative a manner as possible.

You may be asked to participate in the development of use cases and delivery of proof-of-concept prototypesfor government and industry partners in the areas of computable contracts and "rules as code". Experience inrequirements analysis and agile, iterative methodologies will be useful at this stage.The work of the team will be largely determined by these use cases and customers. We will work with multipleuse cases so that we can abstract across them and develop generalized, reusable infrastructure. We will workwith specific customers so we can build useful applications on top of that infrastructure.You will contribute to the design and development of open-source software written to serve those use cases.You will work as part of a team of research engineers, developers, and domain expertise and you will beexpected to actively participate in team meetings and text-based communications. You will be expected to beactive members of the applied research community, by validating and contributing to advances incomputational law.

You may be asked to conduct use-inspired research at the direction of the Principal Investigator. This includes

• reading academic papers, standards publications, and related material such as blog posts and presentations;
• coming up to speed in fields which may be new to you, such as computational linguistics, mathematical logic, programming language design, formal verification, and model-based architecture;
• reading (and updating/commenting, relevant) existing software documentation;
• creating presentations, video recordings, walkthroughs, etc. to document and explain research work done;
• writing (and presenting, if so decided by the PI) academic papers and materials for publication; and
• documenting in a sufficiently-detailed manner so as to share what you've learned.

You will be expected to participate in software development; this includes

• learning how to use third party tools, including editors, IDEs, databases, business process modeling software, programming languages, and libraries;
• evaluating competing software systems for suitability;
• building infrastructure to enable application development;
• managing yourself, and managing fellow team members;
• engaging in product, project, and program management as needed;
• reading books and consuming such other media forms about software development;
• writing documentation such as user/developer-facing manuals, tutorials;
• delivering community support to users and customers;
• preparing presentations to represent the project before external audiences; and
• writing actual user-facing applications throughout the "full stack", in each case, documenting, reporting, and/or presenting the same in clearly and efficiently, both internally and externally.

The first set of tasks will involve the following specific assignments:

• Expressing decision logic using DMN/FEEL
• Evaluating the rule engine API
• Encoding existing materials in L4 for open source distribution
• Building interactive UIs using HTML, CSS, JavaScript and Python

Researchers under the Programme should possess both mastery of their academic speciality, anddemonstrated practical experience producing and supporting high-quality open-source code throughcommunity engagement across multiple media. Candidates must have Bachelor's, Master's, Ph.D., oralternative qualifications in computer science, software engineering, (symbolic) artificial intelligence,computational linguistics, or formal methods.

Fluency in multiple natural languages, and any experience with law, are a plus.

Minimum qualifications:

Open-Source Software & Open-Standard Infrastructure EngineeringInternet Unix TCP/IP HTTP(S) XML JSON Schemas YAML Git Github TechnicalWriting Developer Relations and Evangelism

Parsers, Compilers, and Programming Language TheoryLex/YACC alex/happy Bison CFGs EBNF BNFC

App DevelopmentTest-Driven Development Continuous Integration Software Project Management Agile / XP / Scrum PairProgramming Literate Programming Unit Testing Amazon Web Services Docker Full-StackDevelopment

Programming Languages and Frameworks:Preferred: Haskell or OCaml. Python.Possible alternatives: Common Lisp Racket Scheme Javascript / Typescript / Node.

Computational Linguistics Natural Language GenerationComputational Semantics (in Haskell, Prolog, or Lisp) Montague Semantics Grammatical Framework Textplanning Surface realizationFamiliarity with: WordNet FrameNet SenseNet Controlled Natural Languages Attempto ControlledEnglish ACErules

Formal Verification and Specification LanguagesSome familiarity with any of: TLA+ Alloy IVy B Method Z notation VDM++ LTL

Preferred qualifications:

Theorem Proving and Strongly Typed Languages:CoQ Agda Idris Lean Prover F* Advanced Haskell (Templateetc) OCaml Elm Isabelle/HOL StrangeLoop Pony

Model Checkers and SAT/SMT solvers: Z3 PAT SMTlib NuSMV SPIN Sentient

IDEs, Language Workbenches, and PLT frameworks: K Framework JetBrains MPS IDEs (Vim, Emacs,Visual Studio Code, Atom, Sublime Text) Language Server ProtocolRule Systems and Logics

Formalization of Contracts, Rules, and Business Logic: Akoma Ntoso LegalRuleML PetriNets Drools iLog OPA Neota Logic Constraint Handling Rules ICAIL JURIX RuleML+RR

Model Driven Architecture: UML BPMN DMN OCL SBVR Statecharts Activity Diagrams ParnasTables

Logics: Hoare Logic Kripke structures Modal mu-calculus Dynamic Logic Deontic, Temporal, andEpistemic modals Situation Calculus Process Calculi Multivalent logics Defeasible Logic BDI AbductiveLogic F-Logic Intuitionistic Non-monotonic Logics Skolemization Well-Founded SemanticsGood Old-Fashioned Artificial Intelligence and Semantic Web

Knowledge Representation and Reasoning: Lisp Prolog F-Logic Flora-2 Datalog Answer-SetProgramming Defeasible Logic Expert Systems DocAssemble lps.doc.ic.ac.uk

Semantic Web and Ontologies:RDFa RDFt RDF RIF SWRL OWL Cyc KBpedia SUMO UFO Protg

#LI-JN2

About us

Help us make a difference!
At Sunbird Bio, we’re developing protein-based diagnostic tests that provide unprecedented insights to enable earlier, more accurate diagnosis and treatment of Alzheimer’s disease and other neurological disorders. We are addressing the tremendous, growing need for more reliable and sensitive diagnostic tests to accelerate drug development and enhance patient care. We will be able to give patients and clinicians the clarity they need to make confident decisions when they matter most. Join our team to find a purpose-driven career and environment that supports you while you’re working to help others.

Job Specification

Position Overview:

We are seeking a highly skilled and motivated Senior/Principal Scientist to join our dynamic research team. The successful candidate will play a pivotal role in the development of new assays and technology platforms aimed at measuring and characterizing novel biomarkers for neurological diseases and processes.

Key Responsibilities:

· Design and lead the execution of experiments to develop novel assays for the detection of biomarkers associated with neurological diseases and processes.

· Utilize cutting-edge techniques and technologies to optimize assay sensitivity, specificity, and reproducibility.

· Collaborate closely with cross-functional teams to design overarching project goals aligned with company priorities and timelines.

· Source samples and reagents, establish collaborations, and leverage external resources to drive projects forward efficiently.

· Stay abreast of the latest scientific advancements in the field and incorporate relevant technologies and methodologies into research projects.

· Analyze experimental data, interpret results, and present findings to internal teams and external stakeholders through reports, presentations, and publications.

· Provide scientific expertise and guidance to junior team members, fostering a collaborative and innovative research environment.

Requirements (Qualification, Years of Experience, Knowledge & Skills required)

· Ph.D. in Biochemistry, Molecular Biology, Neuroscience, or related field.

· 5+ years of related experience

· Extensive experience in assay development, particularly in the context of biomarkers for neurological diseases or processes.

· Proficiency in a wide range of laboratory techniques, including but not limited to protein analysis, and molecular biology.

· Demonstrated expertise in the development and optimization of novel technology platforms for biomarker detection.

· Experience with bioinformatics and deploying models for complex biological data analysis.

· Strong analytical and problem-solving skills, with the ability to critically evaluate experimental data and troubleshoot technical challenges.

· Proven track record of leading and mentoring scientific teams, fostering a collaborative and innovative research environment.

· Strong analytical and problem-solving skills, with the ability to critically evaluate experimental data and troubleshoot technical challenges.

· Excellent communication and collaboration skills, with the ability to work effectively in a multidisciplinary team environment.

· Demonstrated ability to independently drive projects forward, meet deadlines, and adapt to changing priorities in a fast-paced research environment.

· Track record of scientific innovation demonstrated by publications in peer-reviewed journals and/or patents is highly desirable.

COMPANY DESCRIPTION

Mediacorp is Singapore's largest content creator and national media network, operating a suite of TV channels, radio stations, and multiple digital platforms. Its mission is to engage, entertain, and enrich audiences by harnessing the power of creativity.

We are committed to creating an inclusive and diverse workplace where talent thrives. Our hiring decisions are made based on merit and fit-to-role. If you have a disability or special need which requires accommodation to participate in the recruitment process, please inform us when you submit your online application. We will be happy to support as necessary.

Thank you for your interest and application to this role. Please note that only short-listed candidates will be contacted.

RESPONSIBILITIES

• Conduct material and field research and verify facts before scripting for production.
• Provide advice to producers based on the facts/data gathered.
• Build script draft and sequence for content flow and eventually write good quality Chinese scripts for programme.
• Brainstorm interesting programme concepts and do presentation at pitch sessions.
• Source for talent and assess suitability of role based on requirement of programme.
• Source for location and assess for suitability and cost.

• Minimum a degree in education with 2 years of working experience.
• Passionate about the entertainment industry.
• A strong communicator and has a flair for writing.
• Possess good research skills.
• Good command of Chinese language - both written and spoken as you will be attached to the Chinese Entertainment production.
• Effectively bilingual in Mandarin and English to communicate with various departments and organisations.

Job Scope:

• Participate in patient screening and recruitment
• Assist in consent-taking for participants enrolled on a community screening research programme
• Provide administrative support in surveys, questionnaires and interviews for the ongoing studies
• Assist in data collection and management
• Ad hoc duties as assigned.

Job Requirements:

• A Diploma in Life Sciences / Nursing
• Good interpersonal and communication skills
• Proficient in MS Office

Interested applicants, kindly furnish us with your detailed resume in MS Words format and click "Apply Now" button OR email to [email protected]

**We regret to inform only shortlisted candidates will be notified. Applicants who do not possess necessary experience or qualification will still be considered on individual merits and may be contacted for other opportunities**

“Jobstudio will not solicit any money, request to use your bank account for business or request you to transfer any monies to any parties, please be aware of scams impersonating Jobstudio and our employees, you may call our office directly at 64221390 for verification. we will not be liable for loss arising from scams.”

JOBSTUDIO PTE LTD

EA License No: 10C4754

EA Personnel: Choong Yi Han

EA Personnel Reg No: R2196526

Salary: up to $3500
Duration: 1 year direct contract

Working Days & Hours: Mon-Fri Office Hours

Location: Novena

Job Description:
Pre-Study

1. Coordinate study start-up activities, including assisting with feasibility reviews and furnishing of regulatory documents

2. Plan, organize and coordinate the workflow of the study

3. Development of materials and tools required for study start-up

4. Coordinate all mandatory training requirements and documentation

Study Recruitment and Conduct

1. Assisting with informed consent process by providing information to and educating research subjects, data collection and surveys

2. Coordinate all relevant subject visits, ensuring minimum deviation from schedule of visits

3. Ensure projects can be completed within the time frame and facilitate smooth running of research projects

4. Assist PI to ensure timely amendments to study documents when required

Study Monitoring, Audit and Inspection

1. Monitor the quality of research ensuring compliance with HBRA, GCP, ICH guidelines and standards

2. Conduct monitoring visits including Remote Monitoring and Site Monitoring

3. Assist with all external monitoring, audit and inspection visits

4. Monitor the financial aspects of the assigned study and advise the stakeholders accordingly

5. Work with PI and department to respond to any audit findings and implement approved recommendations

Study Closure

1. Assist with study closure activities including archival and assisting with all audits/ inspections/ monitoring

2. Ensuring proper closure of study with all ethics and regulatory authorities

3. Ensuring proper archiving of all study records including medical records, study documents, investigator files, subject files etc

Job Requirements: Min Degree in Life Sciences or similar

Interested candidates, please submit your resume to: [email protected]

Ally Audrey Lok Xin Woon

Recruit Express Pte Ltd (Healthcare & Lifescience)

Company EA Licence number : 99C4599

Personnel EA License: R21102307

[email protected]

A Research Officer position is available immediately at the IMCB Cell Fate Engineering & Therapeutics Laboratory. The laboratory is interested in dissecting the genetic and epigenetic mechanisms regulating cell fate changes, while developing novel tools and strategies for deriving differentiated cell types via defined factors reprogramming.

Applicants with relevant background in Molecular Biology, Stem Cell Biology, Biochemistry, or related fields are invited to apply. Experience with Stem cells, Genomics, or animal work would be highly desirable, though not essential. Successful candidates must be interested in Translational research, highly motivated, and be able to work in an interdisciplinary environment.

Requirements:

• M.Sc. or B.Sc. (Hons) from a well-recognized institution in Life Sciences/Biomedical Sciences
• Committed and able to work flexible hours
• Expertise in cell culture, RNA extraction and other Molecular Biology techniques
• Excellent analytical, technical and problem-solving skills
• Excellent organizational skills and experience in lab management

Interested candidates are asked to send a cover letter detailing their research motivations, CV, and the names and email addresses of three references to Jonathan Loh ([email protected]). Applicants can visit the lab website to find out more (http://www.imcb.a-star.edu.sg/php/jl.php).

Job Description
A research officer position is available immediately in the laboratory of Prof. Song Haiwei at IMCB.

The candidate will be responsible for supporting research fellows in conducting routine laboratory tasks such as cloning, DNA and RNA purification, protein expression and purification, and cell culture. Additionally, the role includes the procurement of essential supplies, aiding in asset management, and ensuring the availability of laboratory supplies for research teams.
Job Requirements

Requirements:

• B.Sc. or Diploma in Life Sciences or Biomedical Sciences.
• Experience in molecular biology techniques, including cloning, DNA and RNA purification, and protein expression/ purification.
• Strong work ethic, with excellent organizational and communication skills.

Preferred experience:

• Mammalian cell culture
• RNA biology