Total 106 Senior Executive level Education / Training job vacancies in D15 Katong, Joo Chiat, Amber Road

The Executive / Senior Executive, Marketing and Communication, will support the institution’s marketing efforts to enhance its brand image, drive program awareness and generate leads. This role focuses on managing social media, crafting impactful content, coordinating events, ensuring brand governance, and managing branded merchandise to boost visibility and engagement with key stakeholders.

Responsibilities

Brand Management

• Act as the brand custodian, ensuring adherence to corporate brand guidelines and maintaining consistent brand governance across all platforms and materials
• Source and manage branded merchandise for students, visitors, partners etc. to enhance brand presence and engagement

Content Management and Marketing

• Coordinate with Marketing Manager to develop and implement annual marketing and content calendars, translating strategic goals into actionable plans
• Produce compelling content for website, social media, and other platforms, driving brand and program awareness and generating leads
• Day-to-day management of social media platforms, including crafting engaging posts, scheduling content, and responding promptly to inquiries
• Assist the Marketing Manager and work with the relevant teams to execute marketing campaigns to enhance brand positioning, improve visibility and attract prospective students
• Copywriting for marketing materials and communications

Events and Outreach

• Organise and coordinate in-house events such as workshops and talks
• Represent the organisation at external events, such as roadshows, to promote programs and engage prospective students

Reporting

• Conduct regular market research and monitor competitor’s activities and programs, and interpret, present and discuss this intelligence during schedule meetings
• Keep up to date with new developments in policies and industry landscape, anticipate potential negative and positive impacts on the business and adapt strategy accordingly

Requirements

• Degree in Marketing, Communications, Business, or a related field
• At least 1-2 years of experience in a marketing or communications role, preferably within education or a similar industry
• Strong understanding of social media management and content creation
• Excellent written and interpersonal skills
• Experience in event planning and coordination is an advantage
• Highly adaptable to a fast-paced and dynamic environment

Desired Skills and Experience

Market Research, Microsoft Office, verbal communication skills, social media, Interpersonal Skills, Adaptable, commercial acumen. Able to work flexible hours. Past experience in private education institution and knowledge of EduTrust process an advantage.

Responsibilities:

This position requires the candidate to work closely with the Operations and Client Service team. This position will provide customer care services to students and their parents, as well as operational support for the team.

Job Role & Responsibilities:

• Plan monthly enrichment programme schedules and holiday camps for all schools.
• Liaise between schools and enrichment programme vendors to confirm the schedule.
• Inform respective schools to broadcast the available enrichment programme to the parents.
• Handle parents’ queries, feedback and enrolment promptly and professionally.
• Provide parents with clear explanations on our programmes via various communication channels.
• Prepare necessary in the portal for registration.
• Follow up with parents for registration, payment and programme schedules.
• Prepare enrolment list, teachers detail to send to schools before the start of programme.
• Work closely with vendors and schools for any cancellation/replacement class.
• Inform parents on cancellation/replacement of classes if any.
• Process ad-hoc credit refunds for students who are withdrawing/graduating.
• Execute payment process for the enrichment programme vendors.
• Correspond with ECF for sponsored students and enrichment programmes.
• Provide operational support for all enrichment programmes.
• Prepare monthly and termly revenue and costing reports for E-reach.
• Prepare monthly programme enrolment report for E-reach.
• Reception duties, answering any phone and email enquiries.
• Deliver a professional and high-quality service experience in a customer-facing role.
• Acquire a strong working knowledge of the organisation’s programmes and services.
• Maintain close liaison with other departments in order to have a good understanding of the operational flow and ensure a seamless client experience.
• Develop great rapport with parents, children as well as teachers to build brand loyalty.
• Responsible for the weekly logistics of the enrichment programmes, including printing, assembling, packing and arranging of transport of experiment materials to various schools.
• Perform any other duties and responsibilities as and when assigned by Management.

Job Requirements:

• Possesses at least GCE ‘A’ levels or the equivalent.
• Minimum 1-year experience working in a customer service.
• Required to work shift hours and on weekends.
• Strong proficiency in written and spoken English.
• Being effectively bilingual would be a strong advantage.
• Candidates who have worked in the hospitality or education industry are most preferred.
• Possesses emotional maturity and passion for customer service.
• Familiar with CRM systems and practices.
• Good team player, possesses the ability to work with minimal supervision.
• Positive, extroverted and outgoing personality.
• Well-groomed with a professional disposition.
• Flexible, able to manage change and ambiguity well and able to work under tight deadlines.
• Careful, meticulous, with an eye for detail.
• Well-organised, methodical with strong time-management abilities to manage multiple tasks.

Position Overview:

We are seeking a proactive and dynamic Learning and Development Executive to join our team at LAN ZHOU WU FU PTE.LTD , a leading traditional Chinese F&B company in Singapore. This position plays a critical role in fostering a positive work environment and enhancing employee growth. The ideal candidate will manage onboarding, orientation, and continuous learning and development programs while contributing to HR operations to ensure a well-supported workforce.

Key Responsibilities:

1. Onboarding and Orientation:

• Oversee the onboarding process for new employees, ensuring a smooth and welcoming integration into the company.
• Conduct orientation sessions to familiarize new hires with company culture, policies, and procedures.
• Prepare onboarding documentation, such as contracts, manuals, and checklists.

2. Learning and Development:

• Identify training needs and design programs to address skill gaps and support career development.
• Organize and facilitate in-house training sessions and workshops.
• Coordinate with external training providers to deliver specialized courses.
• Evaluate the effectiveness of training programs through feedback and performance assessments.

3. HR Operations:

• Maintain and update HR policies in compliance with Singapore employment regulations.
• Assist in recruitment processes, including job posting, candidate screening, and interviewing.
• Handle employee grievances and provide HR support to managers and staff.

4. Employee Engagement and Retention:

• Develop initiatives to enhance employee satisfaction and engagement.
• Monitor and improve retention strategies, aligning them with company values.

5. Administrative Support:

• Manage employee records, HR databases, and training logs.
• Prepare monthly HR reports and training summaries.

Requirements:

• ** Applicable to Singaporeans only due to quota limitations
• Diploma or degree in Human Resources, Business Administration, or a related field.
• 2-5 years of HR experience, with a focus on learning and development and onboarding.
• Strong understanding of Singapore employment laws and regulations.
• Excellent interpersonal, communication, and organizational skills.
• Proficiency in Microsoft Office and HR management software.
• Experience in the F&B or hospitality industry is a plus.
• Ability to work under pressure in a fast-paced, dynamic, and challenging environment.
• Effective communication skills at all levels, with receptiveness to feedback. Knowledge of Mandarin is an advantage.
• Must be able to join within short notice.

We are a training institute, providing IT & Computer Skills Training.

We are looking for a couple of Training Executives to coordinate & administer the trainings, call prospective trainees for enrollment, and do the necessary coordination work for smooth operations & Setup of the training rooms.

You should be able to do the following:

1. Handle Phone inquiries, send replies by email, phone

2. Call Prospective students to advise about training programs

3. Collect Fees, Generate Invoices & Do Registrations

4. Prepare Classroom for Training & Setup

5. Take care of Inventory of Books, Pantry for Snacks,

6. Assist management in day to day operations and office administration.

You should be able to work for Monday to Friday full days 8am to 6pm, and Saturday Half Days (alternating morning 8am-1pm and afternoon session (1pm-6pm) All Saturdays are working. Send resume with photo, current and expected salary, and availability to us.

Benefits:

• Health insurance
• Promotion to permanent employee

Schedule:

• Day shift
• Monday to Friday
• Saturdays, Half days, morning & afternoon timing, alternating each week.

Education: GCE 'A' Level or equivalent (Preferred)

Experience: School administration: 1-2 year (Preferred)

Work Location: In person at Fortune Centre, Middle Road.

Send your resume, a recent photo, and availability for interview to hr@intellisoft.com.sg

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

• To apply machine learning techniques to improve the accuracy of the inferencing system
• To select and analyze specific Android brand/model on their compatibility with the side-channel inferencing system
• To evaluate the performance overhead and accuracy of the inferencing system prototype

• Bachelor or Master Degree in Computer Science, Information Technology, Information Systems, Computer Engineering, or related disciplines
• Project experience in machine learning or Android security is a plus
• Good communication skills in English
• Advanced level of programming and software implementation, especially in C/C++ and Java
• Good understanding of existing machine learning techniques
• Good understanding of Android architecture and Android executables
• Good analytical, technical, and problem-solving skills
• Self-motivated and willing to work in a term

#LI-JN2

Job Description:

• Develop, implement, and evaluate clinical training programs for nursing students and new nurses.
• Provide guidance and support to newly hired nurses during their orientation period.
• Assist to develop training materials and lesson curriculum.
• Ensure that all educational activities comply with the healthcare facility’s policies, standards, and regulatory requirements.
• Work closely with Nurse Managers / Clinicians on staff development, clinical-based in-service and continuing education.
• Provide constructive feedback and recommend additional training or support if needed.

Requirement:

• Registered with Singapore Nursing Board.
• Bachelor of Degree in Nursing OR Advanced Diploma in Nursing (Orthopaedic, Oncology or Medical Surgical)
• Must have minimum 5 years of clinical experience

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

Nanyang Academy of Fine Arts (NAFA), University of the Arts Singapore, seeks an experienced Senior Lecturer for the School of Arts Management (SAM).

As the arts sector evolves, it is crucial for arts managers, technical managers and production designers to be able to respond to changing demands of artists and audiences and contribute to the sector’s growth.

This is where NAFA’s School of Arts Management stands out. Our programmes equip students with the versatility and resilience to adapt to the ever-changing landscape within, and beyond, the arts sector.

Our programmes are based on industry-relevant practice, involving interdisciplinary collaborations to broaden students’ perspectives.

You can expect to play a key role in the arts sector by nurturing and equipping the next generation to work with artists and arts organisations in events, festivals, exhibitions and community arts. Our values-based approach ensures students develop the cultural sensitivity and awareness to develop audiences for various art forms and address the needs of both artists and audiences alike — ultimately creating an impact on the development of the arts in Singapore and beyond.

Main Roles and Responsibilities

The role involves managing and delivering Foundation, Diploma and Degree modules as assigned. You will deliver approximately 20-24 contact hours of teaching per week, demonstrating a high level of pedagogical competence. You will prepare and develop academic documents such as module guides & teaching resources.

A key part of the role includes contributing to curriculum development, conducting program reviews, and designing learning materials to ensure academic excellence. You will supervise and assess student projects, while also contribute to interdisciplinary collaborations and research.

In addition, you will be responsible for monitoring student progress and providing career guidance, while offering pastoral care and empathetic support to ensure students' overall well-being. Establishing and maintaining strong industry and institutional links is also critical to integrating academic knowledge with real-world industry practices, providing students with valuable professional connections and insights.

Requirements & Qualifications

• You should possess a Master’s degree in Arts Management, Technical Production or related areas, with a minimum of ten years of teaching and relevant industry experience.
• A proven track record in research, knowledge exchange, or professional practice that advances the field of Arts Management or Technical Production and aligns with the objectives of the School and Academy is essential.
• To excel in this role, you must also employ effective pedagogical methodologies, utilizing innovative and reflective approaches to inspire learning.
• Proficiency in both written and spoken English is required, as well as excellent problem-solving and analytical skills.
• A team player with strong interpersonal skills to build and maintain relationships with diverse stakeholders, including academics, educators, artists, and cultural leaders, is a pre-requisite.

If you have a passion for the arts, we encourage you to apply. This is your opportunity to be part of NAFA in our season of global recognition and to shape the future of arts education in Asia.

Job Description:

• Stakeholder Engagement and Needs Assessment: Collaborate with key stakeholders to identify their needs and clarify research/evaluation questions. Ensure alignment of priorities with the institution's, cluster’s, and ministry's vision, mission, and goals.
• Research and Evaluation Design: Contribute to the development of robust and rigorous research and evaluation methodologies for complex and specialized Health Services Research (HSR) studies.
• Data Collection and Analysis: Plan, oversee, and manage data collection efforts for health program evaluations and HSR studies. Analyze results, generate actionable insights, and communicate findings, highlighting strengths, areas for improvement, and recommendations to inform future health programs and services.
• Knowledge Dissemination: Promote interest in and disseminate valuable knowledge related to public health, health program evaluation, and outcomes research. Share findings with the broader healthcare community both nationally and internationally.
• Stakeholder Relationship Management: Expand and strengthen the stakeholder base for health program evaluations. Foster and maintain partnerships with existing collaborators to support ongoing research and evaluation efforts.

Requirements:

• Degree in Statistics, Mathematics, Public Health, or a related field.
  For Senior level: Minimum of a Master's or PhD in Public Health, Data Science, Statistics, or a related discipline.
• Proficiency in SPSS, STATA, or other statistical analysis software.
• Strong analytical skills, with the ability to interpret and summarize complex data accurately.
• Strong organizational skills and attention to detail.
  Ability to work independently and manage multiple tasks effectively.
  

Interested applicants, kindly furnish us with your detailed resume in MS Words format and click "Apply Now" button or email your resume to esther@jobstudio.com.sg

*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 loss arising from scams.”

JOBSTUDIO PTE LTD

EA License No: 10C4754

EA Personnel: Avena Esther

EA Personnel Reg No: R24120999

Responsibilities

• Maintaining of SOP, work procedure and training material or report writing.
• Assist in developing training programme related to health & safety.
• Organize safety promotion and health campaigns, training courses.
• Assist in training implementation of IT and related software programme.
• Support in training registration, administration, and documentation in related of health & safety.
• Ensure smooth process of training sessions.
• Maintain communication and business relation with different stakeholders.
• Managed assigned department work task as given by the Manager and any ad-hoc duties when necessary.

Requirements

• Bachelor's degree or higher in related field.
• Passionate about innovation and solving challenging problems.
• Able to establish health & safety training operations guidelines, standards, and best practices.
• Experience in conducting safety training.
• Experience in implementing and safety programme would be advantageous.
• Must have BCSS certification and relevant SECK certification.
• Excellence in communication skills.
• Experience in conducting safety training.
• Experience in implementing and safety programme would be advantageous.
• Must have Advanced Certificate in Workplace Safety and Health
• Good Time Management

Job Description:

• Develop, implement, and evaluate clinical training programs for nursing students and new nurses.
• Provide guidance and support to newly hired nurses during their orientation period.
• Assist to develop training materials and lesson curriculum.
• Ensure that all educational activities comply with the healthcare facility’s policies, standards, and regulatory requirements.
• Work closely with Nurse Managers / Clinicians on staff development, clinical-based in-service and continuing education.
• Provide constructive feedback and recommend additional training or support if needed.

Requirement:

• Registered with Singapore Nursing Board
• Bachelor of Degree in Nursing OR Advanced Diploma in Nursing (Orthopaedic, Oncology or Medical Surgical)
• Must have minimum 5 years of clinical experience

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

PlayFACTO @ Bukit Timah located at King's Arcade is looking for experienced and passionate Student Care Teachers to join our team! Positions are available immediatly for the right candidates.

PlayFACTO School is the leading student care provider in positive holistic education and after school care for students of P1-P6. As a Student Care Teacher with PlayFACTO, you will help develop student’s hearts and minds using our unique positive education framework, daily enrichment programmes, and guided assistance of each student's Primary homework assignments.

If you are a passionate educator looking for a fun and engaging environment where you can help your Primary students develop high calibre character and educational foundations for their future, we'd like to hear from you!

Come JOIN US and make difference in student’s lives at PlayFACTO @ Bukit Timah!

Main Purpose of the Job:

This position requires someone who has managerial, programming and teaching experience.

To foster critical thinking, advance student’s knowledge and skills through the teaching of The Lab curriculum. The incumbent is expected to provide an intellectual foundation for students concerning coding/programming. The courses serve students and provide enrichment experiences.

Requirements:

• At least 3 years of teaching experience
• Ability to relate to young people
• Willingness to work evenings and weekends (Must be able to work both weekends)
• Ability to be adaptable and flexible in working practices
• Take initiative to implement changes when necessary
• Possesses leadership and teamwork skills
• Posesses sales/customer services work experience
• Possesses a strong command in Computational Thinking
• Possesses strong programming skills (i.e. visual programming, Python, C++)
• Possesses hardware knowledge (i.e. EV3, Raspberry Pi)
• Passionate with teaching and educating the future generation

Job Types: Full-time, Permanent, need to work on weekends

Salary: $3,500.00 - $5,000.00 per month

Job Description:

• Develop, implement, and evaluate clinical training programs for nursing students and new nurses.
• Provide guidance and support to newly hired nurses during their orientation period.
• Assist to develop training materials and lesson curriculum.
• Ensure that all educational activities comply with the healthcare facility’s policies, standards, and regulatory requirements.
• Work closely with Nurse Managers / Clinicians on staff development, clinical-based in-service and continuing education.
• Provide constructive feedback and recommend additional training or support if needed.

Requirement:

• Registered with Singapore Nursing Board.
• Bachelor of Degree in Nursing OR Advanced Diploma in Nursing (Orthopaedic, Oncology or Medical Surgical)
• Must have minimum 5 years of clinical experience

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

Job Description:

• Conduct statistical analysis and provide statistical support for research project
• Assisting identify stakeholders needs and clarifying the research/ evaluation question
• Planning and overseeing data collection to support related program evaluation
• Expanding the stakeholder base for health program evaluation and strengthening partnership with existing collaborators
• Performing data extraction and compiling statistical data for reporting

Requirement:

• Bachelor Degree with concentration in Statistics, Mathematics 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 No: R21101828

EA Personnel Name: Kam Xiu Ping

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