Total 303 Science / R&D / Research job vacancies in Groby Road, LE3 9EJ

Job Description:

• Provide administrative support to the department including procurement, maintain and track departmental assets/ equipment
• Provide scheduling and secretarial support to the department (Clinical Research Unit) such as managing calendars of department Director
• Coordinate department meeting and minutes writing
• Provide grant and project funding administrative support
• Assist in generating reports and data
• Any Ad Hoc duties as per assigned

Requirement:

• Diploma in Business Administration/ Project Management/ Health Service Management or equivalent

Interested applicants, kindly furnish us with your detailed resume in MS Words format and click "Apply Now" button.

** 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 for verification. We will not be liable for any loss arising from scams. **

JOBSTUDIO PTE LTD

EA License No: 10C4754

EA Personnel: Kam Xiu Ping

EA Personnel Reg No: R21101828

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

The RA will work with the Director to promote the Institute's research, branding, and outreach-related initiatives. The job scope involves:

• Compiling databases of existing reports and other supporting materials, identifying and approaching potential interviewees, conducting interviews alongside the Director, transcribing interviews, and developing the report.
• Conducting literature reviews, developing sampling networks, and interview transcription. An ability to conduct bibliometric analyses is preferred, but not mandatory.
• Organising events (lectures, workshops and seminars), arranging meetings with Pillar Leads and Urban Fellows, taking minutes and other ad hoc tasks.

QUALIFICATIONS

• The Research Assistant (RA) position requires a Bachelor's degree in a social science discipline, ideally with a focus on/major in urban studies or a related field.
• The successful applicant will ideally have:
  • Some experience conducting qualitative research, preferably amongst senior stakeholders.
  • Excellent writing and communication skills.
  • Be organised, detail-oriented and motivated to learn.
  • A demonstrated interest in issues related to cities, urban transformation, and Southeast Asia.

Please note that your application will be sent to and reviewed by the direct employer - Singapore Management University

Job Responsibilities:
Minimum 8 years of proven work experience, as a hairstylist or colourist.

• Knowledge of a wide range of hairstyles, suitable for various hair lengths.

• Hands-on experience in colouring, straightening, curling techniques.

• Excellent interpersonal, communication and customer service skills.

• Well-groomed, proactive and self-motivated.

R & T RECRUITMENT MANAGEMENT (12C5922)

Job Description & Requirements

We are looking for highly passionate and responsible teachers to join our learning centre as the Maths and Science teachers. The successful candidate shall be tasked to deliver lessons in an engaging and dynamic manner, based on our curriculum and pedagogy, as well as establish relationships with our students to inspire loyalty and learning progress.

Responsibilities:

• Execute lesson plans for Primary or Secondary level Maths or Science programmes.
• Develop lesson materials and provide feedback to help students achieve visible improvement in academic results.
• Engage students and help them realise their potential.
• Assist in curriculum development and review of academic curriculums.
• The setting of examination/assessment papers and assignments (question papers, resit papers and answer keys).
• Invigilate, mark and record exams/assessments results.
• Will be assigned moderation duties for other modules.

Requirements:

• Experience in teaching Maths or Science at primary or secondary levels.
• Familiar with Singapore MOE or International Baccalaureate curriculum.
• Bachelor’s degree (preferably major in related disciplines).
• Excellent interpersonal, communication, presentation and organisational skills.
• Highly motivated, good working attitude and strong sense of responsibility.
• At least two years of experience in teaching related subjects.
• Experience in teaching in a multilingual environment and academic assessment.
• Able to conduct online lessons using Zoom etc, and familiar with software applications and productivity tools.

We offer an attractive package with excellent employee bene!ts, conducive working environment and career growth potential. Remuneration and benefits will commensurate with qualifications and experience.

Interested candidates are invited to apply online stating your current and expected salary and date of availability.

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

• The candidate will work on research projects related to dynamic crowdsourcing mechanisms for urban passenger transportation and package delivery.
• Reviewing extensive academic literature, building and analyzing mathematical models, proving theorems, performing numerical analysis and computer simulations.
• Able to work independently with guidance from a supervisor.

QUALIFICATIONS

• Bachelor degree in Operations Research or a related field.
• Possess strong mathematical modeling and proving skills;
• Excellent computer programming skills;
• Good English writing and communication skills;
• Excellent knowledge of operations management.

OTHER INFORMATION

#LI-KC1

Please note that your application will be sent to and reviewed by the direct employer - Singapore Management University

Compensation: Basic Salary + Commission. Earn over $3600 per month!
Benefits: 7 days of Annual Leave
Locations: 200 jalan sultan textile centre

Company Overview

ATTAIN RESEARCH COSMETIC PTE. LTD.

Position overview

As a Retail Sales Executive , you'll enjoy a dynamic work environment, engaging with diverse customers and showing them how our products can improve their quality of life.

Key Responsibilities:

Customer Engagement:

• Greet customers warmly and create a welcoming, personalized shopping experience.
• Understand customers’ needs to offer tailored product recommendations.
• Follow up on leads to convert inquiries into sales, making customers feel valued.

Sales:

• Use product knowledge to recommend and upsell premium items.
• Consistently meet or exceed sales targets, contributing to store growth.
• Actively seek opportunities to close deals and achieve goals.

Team Collaboration:

• Collaborate with your team to achieve store goals and provide excellent service.
• Share feedback and insights to improve sales strategies.

Requirements:

• Proven track record in sales.
• KPI-driven and eager for growth.
• Resilient and adaptable to change.
• Strong listening and communication skills.
• Tech-Savvy with platforms such as Google Workspace, Slack, WhatsApp, email, etc.
• Willing to work on Public Holidays and Weekends

Working Schedule (Full-Time): 11am to 9pm (2 meal breaks), 6 days work week. Rest days are flexible.

*Only shortlisted will be notified!

We're excited to work with you!

Job Types: Full-time, Part-time, Permanent

Pay: $2,200.00 - $6,000.00 per month

Expected hours: No more than 35 per week

Benefits:

• Cell phone reimbursement
• Employee discount
• Health insurance
• Professional development
• Promotion to permanent employee

Schedule:

• Holidays
• Monday to Sunday
• Weekend availability

Supplemental Pay:

• Commission pay
• Performance bonus

Experience:

• Retail Sales: 2 years (Required)
• Sales: 2 years (Required)

Willingness to travel:

• 100% (Required)

Work Location: In person

Your key responsibilities include:

• Assist in creating reports and tracking metrics related to product usage and customer retention, offering recommendations for improvement.
• Support data analysis tasks by assisting in ad-hoc analyses to answer business questions.
• Work with the Operations and Service Delivery teams to understand their needs and help translate them into hypotheses for testing.
• Collaborate with Product team to assist in maintaining dashboards and operational monitoring tools.
• Help define and track key performance indicators (KPIs) to measure product usage and customer retention.
• Document processes and metrics to enable future replication of analyses.

What do you need for this role?
Skills:

• Strong analytical and problem-solving abilities, with the capacity to interpret data trends and provide actionable insights.
• Familiarity with Business Intelligence and Visualization tools (e.g., Tableau, Power BI, Apache Superset) will be an advantage.
• Basic programming and data analysis skills (e.g. Python, R, SAS) are advantageous.
• Good communication skills to present findings clearly to non-technical stakeholders.

Qualifications:

• Bachelor’s degree in Marketing, Economics, Statistics, or a related field.
• 1-3 years of experience in product operations, business intelligence, or data analysis. Fresh graduates are welcome to apply.
• Previous experience in healthcare or e-commerce is an advantage.

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

• Design and implement AI for software engineering solutions
• Conduct evaluations and/or user studies to validate the effectiveness of the algorithms and tools
• Write and publish research papers and present them to reputable academic conferences
• Package the documents, implementation code, evaluation results of the project for release
• Liaise with other team members of this project to realize the overall goal of the project

QUALIFICATIONS

• Minimum Master Degree in Software Engineering/Computer Science/Computer Technology/Information Systems from a top-tier or local university
• Minimum 1 year of relevant research experience in software engineering with concrete output, e.g., at least one research paper in top or major software engineering research venue.
• Excellent knowledge about software engineering research
• Excellent knowledge about AI• Highly fluent in programming
• Competent in designing and implementing algorithms and data structures
• Excellent oral and written communication skills
• Excellent analytical, technical and problem solving skills
• Self-motivated individual who can work independently and also collaboratively with team members
• Able to work under strict deadlines

OTHER INFORMATION

#LI-JN2

Please note that your application will be sent to and reviewed by the direct employer - Singapore Management University

• To prepare apparatus and set-ups and render help to teachers during Science Experiments in the labortory
• To do stock take twice a year
• To maintain cleanliness and neatness in the science lab
• To take care of science corners (gardens)
• To help teachers in the Science activities during recess time
• To help with recycling programme on Thursdays

1. Eyewear Fitting and Dispensing

2. Assist customers in choosing frames

3. Fit and adjust glasses to ensure optimal comfort and proper alignment for clear vision

4. Lens Customization and Recommendations

5. Customer Service

6. Eye Testing

Research Trial Set Up and Initiation Assist with the acquisition and distribution of relevant trial documentation/equipment. Provide assistance in the preparation and submission of documentation for Ethical Approval and the NIHR CSP and EDGE process To establish trial site files for each trial in accordance with ICH-GCP and research governance. Collection of patient data from medical notes and completion of case record forms (CRFs) and to liaise with clinical trial co-ordinators, research nurses and investigators to ensure accurate data collection To transcribe/export data from medical records (paper or electronic) to CRFs (paper or electronic) as required by the study protocol Facilitate the secure filing and storage of study documentation in accordance with ICH- GCP and Research Governance and conduct quality assurance of documentation Organise and prepare for visits by trial monitors as required by the study protocol Take responsibility for liaising with clinical trials units/study sponsors regarding data queries and for checking and resolving data queries To evaluate patient eligibility, in liaison with other appropriate health care professionals for clinical trial entry, involving coordination of pre study tests, obtaining results and arranging appropriate appointments as per clinical trial protocols. Have a solid understanding of the application of ICH GCP Guidelines, the EU Directive on Clinical Research and Research Governance To ensure patients / carers are provided with written information relevant to the research study and are given the opportunity to discuss the research study or clinical trial adequately at the outset and during the course of the research or clinical trial in which they are being asked to participate (i.e. informed consent) Attend and support patients in the clinical environment for monitoring, assessment and follow up as part of research projects Where appropriate, to take consent from patients/participants to enter research studies To take relevant patient samples for clinical trials; such as blood samples, to centrifuge and separate serum, package and dispatch as per defined protocols, where appropriate Observe patients and monitor treatment toxicity/side effects; escalating findings accordingly Maintain accurate patient trial documentation, complete Case Record Forms, including the use of electronic data capture systems and ensure relevant information is recorded in patients medical notes Ensure safety data is reported to required SOPs and study protocols, and reports sent in a timely manner To ensure safe and appropriate storage of specimens in accordance with the trial protocol and in conjunction with specialist teams To record and report any adverse and serious adverse events according to trial protocol and local procedure. Contribute to effective communications within the CRN East Midlands, including preparation and delivery of regular presentations and reports. Establish and maintain effective working relationships with all relevant organisations and individuals, including member NHS Trusts, other NIHR Clinical research networks and other providers of NHS services within the CRN, Clinical Trials Units, Industry, and NHS commissioners. As a new post holder, training will be provided for the key aspects of this role, and a period of induction identified, however, the post holder will be expected to take advantage of opportunities to upgrade their skills and to attend meetings and workshops to enhance their knowledge.

A compelling and distinctive opportunity to join the founding staff team at Brook Mead Academy: help shape the future of Leicester’s newest secondary school.
Senior Science Technician
LG Band 5, Point 11-14 (£23,211.00 pro rata from £27,933.00 FTE)
The Mead Educational Trust (TMET) is a family of thirteen primary and secondary schools all based in Leicester and Leicestershire. Together, we seek to Make A Positive Difference to the lives of the children attending our schools. Brook Mead Academy is the newest school in TMET, following on from the successful opening of Castle Mead Academy in September 2019. Brook Mead builds on the outstanding provision enjoyed at our flagship secondary school, Rushey Mead Academy, which far exceeds national averages for progress and attainment, placing it year after year in the top 5% of schools nationally.
We know that education has the power to transform lives. At Brook Mead, we will be Building Better Futures Together! Staff and pupils are united in a mission to excel and secure the best possible future for each scholar by laying the foundations for high academic achievement and all-round personal development.
We believe that knowledge is power and access to powerful knowledge is the right of every child. We want to ensure our pupils leave with a treasure trove of knowledge and skills which will be theirs forever to use for the betterment of themselves and the world. We are looking for a Senior Science Technician who will join the team and develop, manage and co-ordinate the technical and material resources used in the teaching of Science in the school. You will be committed to ensuring that our pupils receive the best in Science education.
This is a unique opportunity to join a founding team to shape a brand-new school. You will join a small and select cadre of staff who are laying the foundations for a truly special and distinctive school.
• Professional learning and coaching is available to all and within the school day so there is every opportunity to grow as a practitioner.
• Staff wellbeing is a priority with constant vigilance around workloads.
• As part of The Mead Educational Trust, you will be able to work with esteemed colleagues at Castle Mead, Kibworth Mead, Rushey Mead and Orchard Mead, as well as colleagues in our primary schools.
• Practice is research informed in every area of work and we focus on a few key priorities rather than be seduced by gimmicks and quick fixes.
Join us to be build better futures!
Closing Date: Friday 4th October 2024 at midday.
Interviews: October 2024.
Position Start Date: As soon as possible after interview.
Salary: LG Band 5, Point 11-14 (£23,211.00 pro rata from £27,933.00 FTE).
Hours of work: 36 hours per week (38.6 weeks).
Mon to Thurs 8am to 4pm with 30min lunch, Fri – 8am to 2:30pm with 30min lunch.
Supporting documents: Applicant Pack including job description and person specification – Senior Science Technician at Brook Mead Academy
The successful candidate will be required to undertake an Enhanced DBS Disclosure check.
We reserve the right to close this vacancy early if a suitable candidate is found.
Brook Mead Academy is committed to safeguarding and promoting the welfare of children and young people and expects all staff and volunteers to share this commitment.

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.

QUALIFICATIONS

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

OTHER INFORMATION

#LI-JN2

Please note that your application will be sent to and reviewed by the direct employer - Singapore Management University

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

QUALIFICATIONS

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

OTHER INFORMATION

#LI-JN2

Please note that your application will be sent to and reviewed by the direct employer - Singapore Management University