Assistant Management Executive

5.5 days | 11am – 8pm (1 to 2 hours break) | Willing to work on weekend

Basic Salary : From $2,300 + Commission | Gross up to 3000 +

Address : Suntec or Tai Seng

Requirement

• Retail shop management experience and retail sales experience preferred
• Fitness knowledge a plus

Responsibilities

• Daily Operations Management: Oversee and coordinate daily activities within the club to ensure smooth and efficient operations.
• Customer Follow-ups: Conduct follow-ups with potential and existing customer to address their needs, answer queries, and enhance their overall experience.

Chew Xing Shan Reg No: R22107044

The Supreme HR Advisory Pte Ltd EA No: 14C7279

WhatsApp: +65 83592812 [Shannon]

Job Description:

• To prepare monthly statistical reports
• To assist in the collation and complication of data and internal department use.
• Assists to organize meetings; reserves meeting venues and minutes taking.
• To assist in preparation of presentation slides.
• To present the reports at meetings
• Support in asset tracking and monitoring
• Raises e-procurement or purchase requisition for department purchases, if required.
• Manage and schedule calendar appointments for HOD.
• Prepares for new hires’ on-boarding
• Maintain and update of staff particulars and PSA Leave records
• To support Emergency Planning activities i.e. Civil Emergency, Pandemic Outbreak, etc
• To participate in process and service initiatives
• To participate in corporate events, whenever necessary i.e. Outreach programmes, etc
• Undertakes any other responsibilities assigned by Reporting Officer.

Requirements:

• Prior experience and proficiency with Microsoft Excel is preferred
• Min. GCE 'N/O/A' levels or Diploma from any field

Interested candidates can write in to Ann at [email protected]

Ann Goh Xin Ting

R1875289

Recruit Express Pte Ltd

E.A License: 99C4599

Working Hours:

5.5 days (Office Hours)

Job Details:

- Recep duties

- To do stock-table at Consumable room, move consumable boxes. escorting vendors/contractors

- Other duties assigned by supervisor

Job Requirements:

- Min GCE N/O/A level

- Can start immediately

- Able to work on weekends

Interested candidates, kindly send a copy of your resume to: [email protected]

Jessica Fong Zhi Tong [R1879124]

Email Address: [email protected]

Recruit Express Pte Ltd

EA Licence No: 99C4599

Job Highlights:
- Attractive numeration package (basic + allowances + bonuses) ~3 months annual bonuses
- Reputable & stable company supporting government projects

Our client has been in the supply chain business, serving the defence & government sectors, as well as commercial industries. The company offers end-to-end, integrated, and secured logistics services including sourcing and procurement, ordering and inventory control, acceptance and quality control.

Job Responsibilities:
- Accurately key in date and details of items into the database or system.
- Sort and categorize items based on their description and category.
- Prepare weekly and monthly reports summarizing the activities.
- Conduct regular inventory checks to ensure the accuracy of records.
- Assist in coordinating the delivery, including verification and documentation procedures.

Requirement
- At least Diploma and above
- Preferable with 1 – 2 years of administrative experience
- Candidate without working experience can be considered as training provided

How to Apply:
Interested candidates, please submit your updated resume by using Quick Apply button
We regret to inform that only shortlisted candidates will be informed.

Yip Seow Thung
Registration Number: R24121304
EA License No: 18C9027

• Provide general administrative / clerical duties and support
• Assist in inventory management, logistic support & co-ordination.
• To support sales representatives from main office
• To assist in accounting daily duties
• Ensure invoice amount tally after delivery
• Communicate with warehouse staff on stock availbility before generate invoices
• To key in transaction information into system (Invoices)
• Occasionally assist in some packing work.

- Sorting and filing of documents from Various customers

- Able to read and write English & Chinese

- Printing & Stationery purchase if requies

- Others ac hoc admin duties as & when assigned

- Update data input if require

- Part time or full time welcome

Job Responsibility

· Attend to all incoming phone calls and direct them to the relevant person.

· Responsible for receiving all visitors and maintaining the reception area and conference rooms.

· Manage and coordinate the daily schedule.

· Support Consultants with administrative duties, such as event organizing, media monitoring, hotel liaison, etc.

· Handle general admin duties such as filing, sorting, typing, and photocopying.

· Generate monthly admin reports.

· Scan daily clippings (newspaper & magazine) & collate press kits.

· Other ad-hoc duties as assigned.

Administration Supervisors

Successful candidate/s will join our Commercial Services team to serve our 150-strong merchants across Singapore. Our CS team is responsible for our daily success in processing orders and making deliveries fast, smooth and hassle-free.

Commercial Services team aims to ensure smooth process from inventory to orders to picking to deliveries to payments to sending reports to filings.

We are looking to fill up to 1 position with the best of the best candidates who are passionate at work and are inspiring to work with.

Responsibilities

• Receive and process orders and returns from Merchants.
• Communicate with Merchant for errors or changes.
• Supervise Warehouse Team to ensure picking is accurate.
• Work with Agility Team to provide smooth and on-time deliveries.
• Request, receive and record payments.
• Track and record daily deliveries.
• Track and record payments for verifications.
• Keep our proprietary ordering system accurate.
• Stocktaking and general filings duties.
• Support sales team - disseminate informations, after-sales services, merchants enquiries, inventory accuracy.

Pre-Requisites:

• Preferably with 1-6 years of admin experience
• Training provided.
• Humble and courteous.
• Dedication to the job.
• Passionate to serve customers.
• Able to take pressure from customers
• Prompt actions - Sense of urgency.
• General computer skills.

 Supports the Aftersales Manager / Service Manager with administrative

activities and paperwork

 Prepare documents for approval

 Monitor leave application for approval

 Monitor over time submission for approval

 Assists with all subcontractors PO / sublets

 Conducts follow up according to subcontractors’ last activity

Good Pay + Good allowance + Good Bonus

Interested candidates please send an updated Resume / CV in Ms Word format to [email protected] or WhatsApp’s your resume to 98332779 ( no Calls)

Consultant in-charge : Quah Li Lian (Lilian) ( Registration No: R1983286 )

Our client is a Global MNC, one of the leading players in the Logistics/Transportation sector. Due to business needs, they are now recruiting an Admin Assistant to be part of their team for ongoing transformation projects. They are located in the East – easily accessible.

Responsibilities:

• Organize and maintain documents, such as policies, procedures, incident reports, and records.
• Assist with data entry, report compilation, and creating presentations
• Support compliance efforts by managing documents, keeping records, and tracking deadlines.
• Assist with scheduling meetings, preparing agendas, and distributing materials.
• Help arrange training sessions, keep training records, and monitor employee certifications.
• Other ad-hoc duties as assigned

Requirements:

• Proficiency in the Microsoft Office Suite (Word, Excel, PowerPoint, Outlook)
• Tertiary education or equivalent required.
• Able to start immediately

Interested candidates who wish to apply for the advertised position, please click APPLY NOW or email an updated copy of your resume/cv.

Email Address: [email protected]

We regret that only shortlisted candidate will be notified.

Recruitpedia Pte. Ltd.

EA License No. 19C9682

R21101676 | Ng Zhi Qing Alethea

Job Description:

· Perform administrative support in the office

· Preparing of tax invoices, delivery orders and other documentation work

· Planning and arrangement for logistics movement

· Control of inventory and stock taking

· Other duties as assigned

Requirements:

· Possess at least A Levels or Diploma in any field

· Able to commit for at least 3 months

· Able to commence work immediately or in short notice

· No experience needed, full training will be provided.

· Keen interest in the healthcare/ medical industry

Interested candidates please send a copy of your resume to

[email protected]

Email Subject: Admin Assistant

Kate Leau Wei Xuan
R1552331

Recruit Express Pte Ltd (Healthcare & Lifesciences Division)
EA License: 99C4599

Basic Functions:

· Answer telephone calls and carry out various reception and admin duties.

· Approach customers and attend to their needs.

Duties & Responsibilities:

· Answer and redirect incoming calls in a polite and pleasant manner.

· Greet customers promptly, identify their needs and direct them to the appropriate personnel.

Good Pay + Good allowance + Good Bonus

Interested candidates please send an updated Resume / CV in Ms Word format to WhatsApp’s your resume to 98332779 ( no Calls)

Consultant in-charge : Quah Li Lian (Lilian) ( Registration No: R1983286 )

Clinic Assistant | Up to $3k | 5.5 Days | Novena

Basic Salary - $2000-$3000 + (Splint making incentive)
Working location – novena
Working Hours – 5.5days | 9am-6pm Weekdays / 9am to 1pm sat

Responsibilities

• Responsible for frontline counter duties - Attend to patients/ customers, general billing and cashiering duties, answering phone calls, attending to customers enquiries, handling patient registration, scheduling appointments and follow up.
• Track all tests & investigations ordered for patients.
• Admin duties & communication with related parties for patient admission.
• Assist doctor in ad-hoc admin duties.
• Splint making (training will be provided and there will be incentive given accordingly).
• Maintain good patient relationships and ensure smooth delivery of quality service to patients.
• Any other duties as required.

Requirements

• With experience as clinic assistant preferred.
• Training provided.
• Proficient in all Microsoft Office applications.
• Must be able to sight blood and wound.

The Supreme HR Advisory Pte Ltd | 14C7279

Ong Boon Kiet (Travys) | R22104769

Senior Recruitment Consultant

Digital Ambassador

Location: islandwide

Start Immediate (Commit 3 months or more), must be open to work both weekends

Job Description

a) As directed by the teachers-in-charge, prepare and set up apparatus, equipment and other materials for practical lessons. Retrieve,clear away and clean apparatus and equipment, including safe disposal of waste after the lessons.

(b) Provide direct technical support to the teaching and learning of science (and maths) in the three science laboratories; carry out risk assessments together with the teachers whenever appropriate or necessary, to ensure safety.

(c) Keeping the three science labs & its preparation room clean, sanitised, safe, well-organised and clutter-free. Ensure the three labs are safe and secure when not in use.

(d) Maintaining the scientific instruments, and ensuring that supplies are accessible for teachers to use for lessons. Report to the HODs of Science and Mathematics for these:

• Assist with the establishment and maintenance of Science (& Maths) Departments’ resources.

• Monitor and manage stock-taking of equipment and resource materials.

• Check deliveries & reorder essential items as necessary.

• Carry out and arrange for the maintenance and repair of apparatus and equipment. Upkeep required records and logs of all maintenance and servicing of equipment.

(e) Perform simple administrative and office work such as maintaining records and inventory stock lists, preparing labels and posters for science labs and liasing with vendors for quotations for items ordered.

(f) Operate and maintain basic office equipment and material.

(g) Any other jobs assigned by the school such as covering reception duties, packing of resources, or supporting the adhoc tasks needed for special school events and etc.

Our client is a Water Treatment Industry. Due to their current expansion plan, they are looking for a Procurement Assistant to join their team, in hopes of developing the current high performing team. They are located in the West.

Key Responsibilities:

• Manage data input, analytics, and maintenance of the Procurement Department’s electronic folders.
• Conduct clerical and administrative tasks within the Procurement Department.
• Assist and support the team with quotation and tender activities.
• Utilize internal Purchase Requisitions to identify and process purchase requirements, ensuring accurate information for the Purchase Order process.
• Monitor and expedite Purchase Orders with vendors.
• Communicate order status updates to internal stakeholders.
• Ensure proper filing and archiving of Vendor Registration documentation.
• Confirm goods receipt for Purchase Orders upon delivery.
• Perform additional duties as required, aligned with the role.

Requirements:

• Possess at least “O" Level or Diploma/ITE certification in Office Skills or equivalent.
• Knowledge of Microsoft Office applications (Word, Excel)

Interested candidates who wish to apply for the advertised position, please click APPLY NOW or email an updated copy of your resume/cv.

We regret that only shortlisted candidate will be notified.

Email Address: [email protected]

Recruitpedia Pte. Ltd.

EA License No. 19C9682

R24122162 | LAI CHAI LI

Admin Support:

• Preparation of tax invoices, monitor and update account receivable (AR)
• Upload business expenses invoice and update payment records
• Maintain client contact lists via Xero accounting software
• Answer and direct phone calls, arrange courier services
• Write and distribute mails, correspondence memos, letters and forms
• Order office supplies and research new deals and suppliers
• Providing outsourced admin support to clients
• Develop and maintain a filing system for Registered Office clients
• Act as client company's admin to prepare invoice, put up bank transfer and saved paid invoice for accounting purpose
• Provide general support to visitors and act as the point of contact for internal and external clients
• Other ad-hoc duties as and when assigned

HR Support:

Payroll Services:

• Processing of monthly client payroll via payroll software. (Inculding MINDEF NSman makeup claims, Government Paid Maternity Leave, ChildCare Leave, Extended ChildCare Leave and etc if applicable)
• Regularly update CPF regulation
• Other ad-hoc duties as and when assigned

MOM Services:

• Prepare and submit MOM application
• Stay updated on MOM regulation.

Job Requirements:

· At least a GCE "O" Level.

· At least 1 year of relevant working experience. Fresh Graduates will be considered

· Familiar with Xero accounting software is an added advantage

· Possess excellent communication (both verbal and written) and interpersonal skills

· Proficient in MS Office, Micosoft 365

· Able to multi-task and take initiatives

· A good team player but must be able to work independently with minimal supervision.

Account Executive (PR or Singaporean only)

- Starting salary from $3600

- 5 days work

- ⁠Location: Blk 1001 Jalan Bukit Merah Redhill

Job scope:

- Handle full set of account

- Perform day to day operations of AR, AP and GL Functions

- Generate monthly invoices

- Submit E- invoice

- Payroll preparation

- Quarterly GST Preparation & Submission

- Assist in the preparation of tax returns, audits, and resolving discrepancies

- Ad hoc Admin duties

Job Requirements:-

• Candidate must possess at least LCCI or Higher / Diploma

• At least 2 Years of work experience in accounting

• Able to work independently

Main Responsibilities

· Prepare releasing raw material documents (COAs, Lab Test Report, Health Cert, Invoice, BL, Permit) & SFA list send to Quality team.

· Update COA specification into Navision

· Change raw material “BA” code if require

· Update cargo status after sampling done

· Assembly order to convert lot number/item code for stuffing balance if require

· Cover receptionist duties if require

· Any other job duties as assigned

Requirements:

· Minimum 2 years’ experience in similar or relevant roles

· Minimum qualification in NITEC

· Proficient in MS Office& Excel

· Good organization and communication skills

· Able to start immediately will be advantageous

1) To be responsible for the preparation of report required by principal and

internal stakeholders

2) Be responsible on minutes taking and timely submission

3) To coordinate with internal stakeholders on related matters (e.g. Finance,

Human Resource Department, etc.)

4) To be in-charge of ensuring documents are being submitted timely with

compliance to principal and company guidelines.

Good Pay + Good allowance + Good Bonus

Interested candidates please send an updated Resume / CV in Ms Word format to [email protected] or WhatsApp’s your resume to 98332779 ( no Calls)

Consultant in-charge : Quah Li Lian (Lilian) ( Registration No: R1983286 )

Our tuition centres are looking for administrative officers who can perform the following tasks:

1. Customer enquiries and sales matters.

2. Attendance matters.

3. Lesson scheduling matters.

4. Payment matters.

5. Marketing matters.

6. Logistic matters.

Must be:

1. IT Saavy- possess basic knowledge of using computer, zoom

2. Proficient in written and spoken English & Mandarin

3. Team Player

Candidates with administrative related working experience preferred. Training will be provided.

Location: Near Choa Chu Kang MRT

Rates: From $3320 with bonus and commission

Working hours: Mon, Wed, Thurs, Fri 2-10pm. Sunday 8.30am-5.30pm.

Whatsapp Simon at 90625285 to drop your resume.

Full job description

Responsibilities

• Assist in overall support of centre operation and general administration.
• Provide after course and during course support.
• Be sensitive, caring and attentive to students’ needs and well-being.
• Upkeep the cleanliness of the centre.
• Other ad hoc admin duties as required.

Requirements

• Minimum GCE N Level
• Responsible, positive learning attitude
• Good interpersonal skills (in both English and Mandarin).
• Able to work during weekends.
• Weekday hours 2pm - 9pm, Weekend hours 9am - 6pm
• Prior experience in enrichment centre with administration experience or teaching experience preferred.

About Us

We are hiring for our new expansion at Holland Drive. We provide English enrichment classes for 4 to 12 years old. Our curriculum employs a multi-sensory approach, enabling children with diverse learning styles to thrive in the same classroom.

Preschool Assistant Teacher / Teacher

(Islandwide Multiple Various Schools)

• S$1,800 ~ S$4,000
• Ensure the safety of children at all times
• Able to work independently with minimum supervision
• Strong communication skills verbal and written
• Responsible for planning and implementing programs for young children
• Engage children with activities to enhance their learning experience
• Observe, assess and document children's performance, behavior, social development, and physical health

Requirements:

• Cert in Early Childhood Care & Education

WhatsApp me for interview arrangement NOW

Whatsapp: +65 80231200

✉ [email protected]

Daniel Wong Reg No: R2095781

The Supreme HR Advisory Pte Ltd EA No: 14C7279

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

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