About us:

Our vision is to be the source of truth in global supply chains. To achieve this, we work with some of the world's largest and most valuable brands to support their ESG commitments, reduce the risk of fraud and unethical practices, and protect their reputations. As a global leader in product verification, we have locations in Auckland, Dunedin, London, Singapore and Washington, D.C.

Oritain is a leading provider of traceability and sustainability solutions for the fashion, Retail and manufacturing industries. We use a unique combination of isotope analysis and machine learning technology to trace the origin of fabrics with a high degree of accuracy. This allows brands and retailers to improve the transparency and sustainability of their supply chains. 

About the role:

We've just established our Singapore office and are looking for our founding SDR to join our sales team. Your primary responsibility is to generate and qualify leads, ultimately driving revenue growth for the company. You will play a crucial role in identifying potential customers, engaging with them, and nurturing relationships to create a pipeline of qualified opportunities for our sales team. The ideal candidate will possess excellent communication skills, strong sales acumen, and a passion for building meaningful customer relationships. If you want to join a mission-driven company and sell a solution with a true purpose, this could be your perfect role!

What you'll be doing

• Prospect and qualify potential leads through various channels, including but not limited to cold calling, email campaigns, networking, and social media platforms.
• Conduct thorough research to identify key decision-makers and target industries, tailoring outreach strategies accordingly.
• Engage with prospects to understand their business needs and effectively communicate the value of our products or services.
• Set up initial discovery calls for sales representatives.
• Meet or exceed assigned daily activity minimums and monthly activity quotas.
• Maintain accurate and up-to-date records of all prospects, interactions, and progress in our CRM system.
• Collaborate with Sales Managers and the marketing team to develop and refine lead-generation strategies and campaigns.
• Continuously learn about industry trends, competitive landscape, and offerings to effectively position our solutions to prospects.
• Provide feedback and insights from prospect interactions to help improve marketing strategies and product offerings.
• Collaborate with the sales team to ensure a smooth handover of qualified opportunities for further nurturing and closing.

About you:

• You are curious and an active listener. You seek to understand prospects’ needs and challenges and respond accordingly.
• You are technologically adept with experience working with CRM and other sales engagement tools or have the aptitude to learn how to use them.
• You have excellent verbal and written communication skills and can articulate complex concepts clearly and concisely.
• You have strong time management skills and can prioritise tasks in a process-oriented way.
• You are coachable and willing to receive and implement feedback; you also focus on continuous improvement.
• You have grit and resilience, enabling you to endure setbacks and never retreat from challenges.
• You are a self-starter and a team player; you can work independently and enjoy collaborating with the sales team and sharing best practices.
• You thrive in a target-driven environment and are motivated by achieving and surpassing goals.

• You have at least 18 months of experience as an SDR or in a similar role, preferably in a B2B enterprise environment.
• Bachelor's degree in business, marketing, or a related field is preferred but not required.
• A proven track record of being able to pitch to C-Suite executives and exceed your quotas
• Experience working for companies selling SaaS/PaaS or DaaS solutions is preferred.
• a knowledge of and/or understanding of the supply chain/textile manufacturing sector would be a huge plus.
• TFluent in English (written, reading and spoken). Fluency in Mandarin would be highly advantageous. (as would other regional languages.

Job Overview:

Our company provides a comprehensive, one-stop solution for Event Marketing and Brand Activation Events. From event planning and organization to design, visual conceptualization, and logistics, we deliver expert services every step of the way. As we continue to grow, we are looking for a dynamic and results-oriented to join our team

Key Responsibilities:

• Identify, target and pursue new business opportunities to expand the company's client base.
• Develop and implement effective sales strategies to achieve revenue targets.
• Build and nurture strong, long-term relationships with corporate clients, event planners and agencies.
• Lead negotiations and secure contracts with clients for event setups, booths, and pop-up installations.
• Prepare detailed cost estimates and manage budgets for client projects.
• Manage client expectations and ensure the timely delivery of services aligned with their requirements.
• Provide ongoing support to clients, ensuring high levels of satisfaction and repeat business.
• Work closely with the operations, design and production teams to ensure seamless execution of projects.
• Develop partnerships with relevant organizations, event venues and vendors to enhance business opportunities.

Qualifications & Skills:

• Minimum 3 years of relevant working experience.
• Proven track record of meeting or exceeding sales targets and driving business growth.
• Strong understanding of the event industry, including event setups, booth design, and pop-up installations.
• Excellent communication, presentation, and negotiation skills.
• Ability to work under pressure and meet tight deadlines in a fast-paced environment.
• Strong organizational and project management skills, with attention to detail.
• Self-motivated, proactive, and able to work both independently and as part of a team.

Job Description

• Industry/Organization Type: Social Media Content Marketing Agency
• Position Title: Senior Business Development Director
• Working Location: Nearest MRT – Outram Park
• Working Hours: Monday – Friday, 9.30 am – 6.30 pm
• Salary Package: Up to $10,000 + VB
• Duration: Permanent

Key Responsibilities

• Generate leads and maintain regular contact with existing prospects through emails, calls, meetings, and other communication methods.
• Present strategic proposals to senior decision-makers within brands and agencies.
• Stay updated with the latest developments in the communications industry and agency market.
• Identify potential areas for expansion and develop strategies for business growth.
• Create and implement a targeted long-term new business strategy.
• Produce weekly/monthly forecasts on revenue/target management and compile end-of-month reports on revenue and market performance.
• Achieve set targets to meet revenue expectations.
• Collaborate closely with the social media team to craft bespoke campaigns for relevant prospects.
• Maximize networking opportunities through regular participation in conferences, events, and trade shows to enhance brand awareness and establish a broader network of contacts.

APPLY NOW!!!

• At least 6 years of experience in Business Development, New Business, or Account Management, particularly within the media, marketing, and communications sectors.
• Degree-level education or equivalent.
• Exceptional communication and presentation skills, both written and face-to-face.
• Proficient in consultative sales techniques.
• Excellent time management skills with the ability to thrive when working autonomously.
• Significant experience in a marketing, agency, or media environment with a deep understanding and passion for the industry.

Kindly apply through ANY of the following methods:

• Submit your application by clicking the APPLY button;
• Email your resume to Job(at)anradus.com.sg. Kindly indicate #68719 on the email subject.

Anradus Application Policy: We value each application and ensure every resume is reviewed. Our process is efficient, typically concluding within 3 working days. If you do not receive communication from us within this timeframe, it's likely that your application has not been shortlisted by our client. In such cases, we recommend continuing your job search to maximize your opportunities.

Anradus Pte Ltd | EA License No. 20C0161 | Norman Wee | EA Reg No.: R23115114

Job Description

• Industry/ Organization Type: F&B
• Position Title: Business Development Executive (Leasing)
• Working Location: Bukit Timah
• Working Hours: 5 days (Monday to Friday 9 AM-6 PM)
• Salary Package: Basic Salary up to $4,800 + Performance Bonus
• Duration: Permanent Role

Key Responsibilities

• Conduct market research to identify new leasing opportunities and emerging trends.
• Analyze competitors and market conditions to stay informed about industry developments.
• Identify potential clients and develop strategies to engage them.
• Build and maintain strong relationships with clients, providing excellent customer service.
• Conduct client meetings and presentations to promote leasing opportunities.
• Negotiate lease terms and conditions with clients to ensure mutually beneficial agreements.
• Prepare and review lease agreements to ensure they are legally sound and meet company standards.
• Coordinate with legal and finance teams to finalize lease agreements.
• Oversee leasing projects from inception to completion, ensuring timely delivery and client satisfaction.
• Coordinate with internal teams such as marketing, legal, and finance to facilitate leasing processes.
• Oversee leasing projects from inception to completion, ensuring timely delivery and client satisfaction.
• Coordinate with internal teams such as marketing, legal, and finance to facilitate leasing processes.
• Any other ad-hoc duties as assigned.

APPLY NOW!!!

• Bachelor’s Degree in Business Administration, Real Estate, Marketing, or related field.
• Minimum 2-4 years of experience in business development, sales, or leasing, preferably in the real estate industry.
• Proficiency in Microsoft Office Suite and CRM software.
• Knowledge of legal and financial aspects of leasing agreements.

Kindly apply through ANY of the following methods:

• Submit your application by clicking the APPLY button;
• Email your resume to Job(at)anradus.com.sg. Kindly indicate #67197 on the email subject.

Anradus Application Policy: We value each application and ensure every resume is reviewed. Our process is efficient, typically concluding within 3 working days. If you do not receive communication from us within this timeframe, it’s likely that your application has not been shortlisted by our client. In such cases, we recommend continuing your job search to maximize your opportunities.

Anradus Pte Ltd | EA License No. 20C0161 | Angel Lim | EA Reg No.: R1769781

We are assisting our client to look for a dedicated and innovative individual to join their corporate learning team. In this role, you will be instrumental in crafting and executing high-impact programs to enhance leadership competencies and nurture a strong pipeline of leaders across the organization.

Key Responsibilities:

• Design and Develop Leadership Curriculum: Create an integrated leadership and people development (LPD) curriculum that aligns with the organization’s strategic goals. This roadmap will guide employees through career milestones, providing targeted training that equips them with the competencies needed for current and future roles.
• Collaborate with Training Consultants: Partner with external training experts to deliver world-class leadership programs. You will ensure that these programs offer maximum knowledge retention and practical application through comprehensive pre- and post-course support.
• Lead Assessments and Leadership Development: Conduct leadership and behavioural assessments. Design customized leadership interventions for senior leaders to address skill gaps and prepare them for future challenges.
• Develop Leadership Content: Work with senior leaders to create engaging leadership content, fostering a ‘leader-as-coach’ culture. This initiative will enhance leadership engagement and promote knowledge sharing across various levels of the organization.
• Review and Improve Learning Programs: Regularly assess and update in-house continuing education programs to ensure they stay aligned with the organization's evolving needs and national workforce initiatives.
• Enhance Onboarding Experience: Ensure new joiners receive an exceptional onboarding experience with a comprehensive orientation program focused on leadership and people development.

Requirements:

• A Bachelor's Degree from a recognized institution
• Minimum 5 years of experience in Learning & Development, particularly in Leadership and People Development or Talent Management
• WSQ Advanced Certificate in Learning & Performance (ACLP) or WSQ Advanced Certificate in Training & Assessment (ACTA) is a MUST
• WSQ Diploma in Design and Development of Learning for Performance (DDDLP) or WSQ Diploma in Adult and Continuing Education (DACE) is an advantage
• Strong presentation, communication, and stakeholder management skills
• Excellent conceptual thinking, analytical, and problem-solving abilities
• Data analysis skills to inform and improve training outcomes

If you are passionate about developing leadership capabilities and driving people development initiatives, we welcome you to apply for this exciting opportunity.

Interested candidates can forward their CVs in MS Word format to [email protected]

Reg No. R1983718

Triton AI Pte Ltd

License no. 21C0661

An exciting opportunity has arrived at The Garcha Group, Singapore’s luxury boutique hotel group with four hotels in Singapore, all of which are franchised under Marriott International—the world’s largest and most prestigious hotel company.

Marriott Hotels:

· Duxton Reserve Singapore, Autograph Collection

· Maxwell Reserve Singapore, Autograph Collection

· The Vagabond Club, a Tribute Portfolio Hotel

· The Serangoon Club, a Tribute Portfolio Hotel

Restaurants & Bars:

· Yellow Pot, Anouska's (Duxton Reserve)

· Shikar, Cultivate Cafe, Isabel Bar, Officers’ Mess Polo Bar (Maxwell Reserve)

· The Whiskey Library & Jazz Club, Sharab aur Kebab (The Vagabond Club)

· GupShup (The Serangoon House)

Garcha Group Benefits:

· As an associate of a Marriott hotel, you, your parents or parents-in-law, children, spouse/domestic partner, and siblings are eligible for discounts on F&B and room rates in 8,700+ hotels worldwide

· As an associate of a Marriott hotel, you have access to the “Global Learning + Development” tool which creates for you personalised learning experiences designed to help you thrive in your Marriott career journey

· Comprehensive health insurance plan with Raffles Insurance with the option to upgrade at subsidised corporate rates

· 2-night yearly staycation including all meals and beverage (incl. alcoholic) in any of the four Garcha Group hotels in Singapore

· 20% off food & beverage at Garcha Group restaurants and bars and all Marriott hotels

Responsibilities include but are not limited to:

- Maintains effective internal communication on learning needs and program to respective stakeholders.

- Effective administrative skills in tracking, record keeping, filing all training records.

- Support hotel audits with essential training records and follow company policy as well as local authority guideline in training related area.

- Ability to create a learning environment and assisting all other HR related activities and programs.

- Effective and coordination with external stakeholders

-Work with stakeholders and handle organisation’s learning and development needs

- Develop organisation’s overall learning plan and conduct learning needs analysis

- In charge of annual training budget

- Source and handle external partners regarding learning and development matters

- Develop and update employee orientation materials

- Conduct employee orientation

- Monitor employee training calendar and coordinate internal and external training programs

- Gather post training feedback and monitor effectiveness of training programs

- Perform additional tasks as needed.

Mechanical Engineer

• Working hours: 5-days (Mon to Fri) / 8 am to 4.30pm
• Location: Jurong Island (Company transport provided near Jurong
• East MRT)
• Salary Range: $4500 - $5500

Maintenance Engineer (Mechanical) reports to the Senior Technical
Manager and whose responsibilities include:
1. Oversee, manage, and supervise Company’s in-house and external Contractors for all mechanical maintenance works related to planning and execution of:
(a) daily maintenance [preventive, corrective, & breakdown
maintenance],
(b) transition maintenance,
(c) turnaround maintenance and
(d) upgrading and improvement related to maintenance
2. Ensure all mechanical maintenance activities are carried out in accordance to the Company’s HSEQ Standards & Maintenance Management System, statutory requirements and best industry practices.

3. Establish, continually improve & execute Company’s maintenance management system in a safe, efficient, and effective way to achieve highest equipment reliability & availability objective.
4. Update and maintain accurate maintenance records in order to provide good maintenance history for data analysis and troubleshooting purposes.
5. Conduct root cause analysis to eliminate equipment/ system defect and take appropriate preventive/ corrective measures.
6. Optimize & manage mechanical maintenance inventory level of critical & non-critical equipment spare parts.

Requirements:

• Degree in Bachelor of Mechanical Engineering
• Familiar with Static and Rotating equipment
• Minimum 3 years of experience in Chemical Process Plant.

WhatsApp: +65 9642 0989 (Han)

Email: [email protected]

Chaw Chiaw Han, Reg No：R22106723

The Supreme HR Advisory Pte Ltd, EA No：14c7279

• Designing, manufacturing, and installing components that fulfill requirements.
• Analyzing problems or deficiencies and developing solutions to resolve them.
• Conducting experiments and evaluations to improve and innovate product designs.
• Creating plans and designs using CAD technology.
• Estimating budgets and time scopes for each project.
• Writing technical documentation for machine operators.
• Ensuring that products meet compliance regulations.
• Collaborating with project managers and other engineers in our team.

SPECIFIC RESPONSIBILITIES:

• ensures all drawings, bills of materials, purchase requisitions and quality checks are completed as per project schedule and ISO 9001 processes.
• conducts Design Reviews to analyze specifications, sketches, drawings, ideas, and related data to assess factors affecting component designs and the procedures and instructions to be followed.
• confers with customer representatives to review specifications and answer questions pertaining to installation of systems.
• supports during manufacturing, assembly, de-bug, and customer buy-off.
• writes technical reports, manuals and technical support documentation
• performs a wide variety of additional functions to meet project schedules and product deliveries
• reads, understands, and acts upon mechanical drawings including piece part and assembly drawings, work instructions, and procedures
• determines manufacturing methods, techniques, and procedures as required to perform tasks as required for to ensure designs perform as required
• designs test fixtures and setups as needs arise
• communicates with vendors to support procurement and to address issues
• Responsible for any other role as assigned by the Operations Manager

Job Description

• Execution of projects and liaison with the client, consultants, contractor and authorities
• Plan and ensure that programme of works is updated to meet the contract deadline based on progress of work
• Prepare method of statement
• Support Quantity Surveyors in conducting site measurement and inspections
• To ensure works are in compliance to quality procedures and within standard workmanship requirements

Requirements

• Possess Degree in Civil Engineering from recognized by Professional Engineering Board
• 1 to 2 years’ working experience /fresh graduates are welcome
• Proficient in MS Office, MS Project, AutoCad

Interested applicant, please send resume and expected salary to: [email protected]

Kindly note that only shortlisted candidates will be notified.

• Good Bonus - AWS + up to 6 month Variable Bonus / Permanent Role

Engineer / Electrical engineer / Project Engineer / Junior & Senior & Engineering can apply
• Entry level / Junior / Senior / No experience welcome apply X 3 Opening
• Full training provided

Responsibilities:

§ Project execution and implementation activities for energy monitoring systems projects.

§ Co-ordinate site staff and plan site activities for ongoing and maintenance projects.

§ Record and maintain proper project documentation record

Requirements:

§ Diploma/Degree in Electrical/ Electronics/ Computer Engineering / Computer Science from a recognised Polytechnic/University

§ Preferably with experience in Energy Monitoring System

§ Our benefits and compensation for permanent position are as follows:

§

§ Salary for experience candidates will be considered based on the years of experience and our internal salary structure

§

§ 1 month AWS

§ Variable Bonus ranging from 1 to 6 months depending on individual and company performance

§ Working hours: 8.00 am to 5.00 pm / 8.30 to 5.30 pm / 9.00 am to 6.00 pm / 9.30 am to 6.30pm / 10.00am to 7.00pm

§ Working days: Monday to Friday (1 day work from home per week)

§ Annual Leave: 14 days up to 17 days for non-executive (Assistant Engineer and below)

§ 18 days up to 21 days for executive (Engineer and above)

§ Medical benefits of $500 per financial year (Benefit is extended to spouse and children (below 21 years old) of married employees)

§ Insurance coverage: Hospital & Surgical (Benefit is extended to spouse and children (below 25 years old) of married male employees and child (below 25 years old) of married female employees)

§ Term Life

§ Personal Accident

§ Maternity Insurance for female employee and spouse of male employee on the birth of their 1st 2 children claimable up to delivery bill of $6,000.00 whichever is lower.

§ Flex Dollars of $500 per financial year

§ Free annual year-end Health Check-Up

§ Monthly Birthday Party Celebration

§ Monthly Sports Activities

§ New Born Gift

§ CSR Initiatives

§ Department Bonding Activities

§ Biennial team building and staff appreciation dinner

§ Gym Corner for employees to exercise

§

§ 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 )

• Good Bonus - AWS + up to 6 month Variable Bonus / Permanent Role

Engineer / Electrical engineer / Project Engineer / Junior & Senior & Engineering can apply
• Entry level / Junior / Senior / No experience welcome apply X 3 Opening
• Full training provided

Responsibilities:

§ Project execution and implementation activities for energy monitoring systems projects.

§ Co-ordinate site staff and plan site activities for ongoing and maintenance projects.

§ Record and maintain proper project documentation record

Requirements:

§ Diploma/Degree in Electrical/ Electronics/ Computer Engineering / Computer Science from a recognised Polytechnic/University

§ Preferably with experience in Energy Monitoring System

§ Our benefits and compensation for permanent position are as follows:

§

§ Salary for experience candidates will be considered based on the years of experience and our internal salary structure

§

§ 1 month AWS

§ Variable Bonus ranging from 1 to 6 months depending on individual and company performance

§ Working hours: 8.00 am to 5.00 pm / 8.30 to 5.30 pm / 9.00 am to 6.00 pm / 9.30 am to 6.30pm / 10.00am to 7.00pm

§ Working days: Monday to Friday (1 day work from home per week)

§ Annual Leave: 14 days up to 17 days for non-executive (Assistant Engineer and below)

§ 18 days up to 21 days for executive (Engineer and above)

§ Medical benefits of $500 per financial year (Benefit is extended to spouse and children (below 21 years old) of married employees)

§ Insurance coverage: Hospital & Surgical (Benefit is extended to spouse and children (below 25 years old) of married male employees and child (below 25 years old) of married female employees)

§ Term Life

§ Personal Accident

§ Maternity Insurance for female employee and spouse of male employee on the birth of their 1st 2 children claimable up to delivery bill of $6,000.00 whichever is lower.

§ Flex Dollars of $500 per financial year

§ Free annual year-end Health Check-Up

§ Monthly Birthday Party Celebration

§ Monthly Sports Activities

§ New Born Gift

§ CSR Initiatives

§ Department Bonding Activities

§ Biennial team building and staff appreciation dinner

§ Gym Corner for employees to exercise

§

§ 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 )

• Good Bonus - AWS + up to 6 month Variable Bonus / Permanent Role

Engineer / Electrical engineer / Project Engineer / Junior & Senior & Engineering can apply

• Entry level / Junior / Senior / No experience welcome apply X 3 Opening

• Full training provided

Responsibilities:

· Planning, coordination, and execution of substation automation projects.

· Design, costing and integration of substation automation systems according to project requirements.

· Installation, testing and troubleshooting of substation automation systems at site.

· Preparation of project documents and drawings.

Requirements:

· Diploma in Electrical Engineering/Computer Engineering

· Knowledge of data communication and Automation Systems for Electrical Network

Our benefits and compensation for permanent position are as follows:

Salary for experience candidates will be considered based on the years of experience and our internal salary structure

1 month AWS

Variable Bonus ranging from 1 to 6 months depending on individual and company performance

Working hours: 8.00 am to 5.00 pm / 8.30 to 5.30 pm / 9.00 am to 6.00 pm / 9.30 am to 6.30pm / 10.00am to 7.00pm

Working days: Monday to Friday (1 day work from home per week)

Annual Leave: 14 days up to 17 days for non-executive (Assistant Engineer and below)

18 days up to 21 days for executive (Engineer and above)

Medical benefits of $500 per financial year (Benefit is extended to spouse and children (below 21 years old) of married employees)

Insurance coverage: Hospital & Surgical (Benefit is extended to spouse and children (below 25 years old) of married male employees and child (below 25 years old) of married female employees)

Term Life

Personal Accident

Maternity Insurance for female employee and spouse of male employee on the birth of their 1st 2 children claimable up to delivery bill of $6,000.00 whichever is lower.

Flex Dollars of $500 per financial year

Free annual year-end Health Check-Up

Monthly Birthday Party Celebration

Monthly Sports Activities

New Born Gift

CSR Initiatives

Department Bonding Activities

Biennial team building and staff appreciation dinner

Gym Corner for employees to exercise

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 )

Responsibilities:

• In charge the day-to-day operations of the warehouse with multiple shipments, to see through completion of delivery including performing local delivery as necessary.
• Handle all incoming shipments.
• Ensure inventory accuracy, Maintain of computerized inventory records, Conduct Cycle count, Cleanness and Tidiness of warehouse.
• Follow established safety procedures and techniques to perform job duties including lifting, operating forklift, etc
• Process receiving, discrepancy, and damage reports as needed and move inventory to various locations manually and by operating mechanical equipment, including forklift, pallet jack.
• Order entry of customer PO into the system, order pick / pack and generating shipping documents and liaise with forwarders and customers on shipping details.
• Support cost-saving initiatives and process improvements, and perform any other assigned ad-hoc responsibilities.

Requirements:

· Experience in warehouse operation and supervising warehouse staff

· Experience in warehouse process improvement or warehouse project

· Proficient in computer skills ie. MS Office, Excel, SAP and WMS

· Possess good communication skills with both internal and external customers.

Qualified or interested candidates, please submit your updated resume in MS format by using the Apply Now Button or email to [email protected]

Candidates are also encouraged to contact our office where our approachable Consultants will address any inquiries and advice you with relation to this job advertisement. Our dedicated HR Consultants will get in touch with shortlisted candidates for a confidential discussion

R23114354 | EA License 16C7883

Key Responsibilities:

• Co-approver for payment and any related tasks necessary to enable timely & accurate payment, including constantly reviewing and improving the process.
• Main approver for journal entries and any other tasks necessary to ensure accurate and timely monthly & quarterly closing, including constantly reviewing and improving for proper and efficient closing processes.
• Main/sub PIC for J-SOX & to ensure smooth completion of J-SOX reporting and compliance, handling internal & external auditors.
• Guide the team as co-approver for payment and main approver for journal entries, including their support to business operations.
• To establish effective communications as well as trust with a partnership with Business/Corporate Divisions to support business development, initiatives and activities while ensuring compliance with internal rules/policies.
• Manage ad-hoc projects for the department independently.

Requirements:

• Minimum Diploma in Accounting
• Minimum 5 years of relevant Accounting or Operational Accounting experience such as in Accounts Payable/Accounts Receivable/General Ledger, preferably with approver/review responsibility
• Strong SAP Experience/knowledge

Interested applicants please send your resume to [email protected] with email subject header "Job Application for Accounting Supervisor (Process Control/J-SOX/GST) - CK".

We regret that only shortlisted candidates will be notified. Other applications will be updated to our database for future job opportunities.

By submitting any resumes or applications to Pasona Singapore Pte Ltd, you are considered to have read and agreed on the terms of our Privacy Policy, and consented to us collecting, using, retaining, disclosing your personal information to the prospective employers for their consideration.

Effective from 1 October 2020 under the new Employment Agencies (EAs) Licence Conditions,

EAs will be required to collect the personal data (e.g. NRIC number number for overseas candidates) of applicants referred to employers for permanent or contract job positions of at least six months with a fixed monthly salary of S$3,300 and above.

PDPA requirements on collection, use, and disclosure of personal data would not be applicable to EAs that are collecting such information as it is a regulatory requirement by Ministry of Manpower.

Please find Privacy Policy Agreement from the below link.

http://www.pasona.com.sg/privacy.html

Koh Siew Xing

EA Registration No: R22104418

Pasona Singapore Pte. Ltd.

EA License No:90C4069

• Apply technical knowledge, hands-on and customer insights to operate and administrate a cloud infrastructure
• Ensure all configuration conforms to high levels of performance, security, scalability, maintainability, and appropriate reusability and reliability upon deployment, aligning to design documentation specifications
• Ability to codify or implement/deploy configurations with the principles of automation by default in new projects with proper documentations will be advantageous
• Ability to codify or maintain cloud systems in an automated fashion using tools like Ansible, CloudFormation, Terraform etc with proper documentation will be advantageous
• Participate in Cloud Migrations for VMs using tools like CloudEndure, Azure Migrate with more than 20 VMs migration or Databases would be preferred
• Collaborate with team members to engage clients in operational meetings, discussions, process betterment and contribute to optimisations for the client’s environment
• Maintain technical skills, certifications and knowledge of market trends and competitive insights; collaborate and share with the technical community specifically in the cloud space
• Ability to resolve issues with proper resolution/documentation technically and SLAs is required for this role

To Apply:

Interested candidates, please click on the following link to begin your job search journey and submit your curriculum vitae (CV) directly through the official PERSOLKELLY job application platform - GO. <https://go.persolkelly.com/job/apply/5569>

We regret to inform that only shortlisted candidates will be notified.

This is in partnership with Employment and Employability Institute Pte Ltd (“e2i”). e2i is the empowering network for workers and employers seeking employment and employability solutions. e2i serves as a bridge between workers and employers, connecting with workers to offer job security through job-matching, career guidance and skills upgrading services, and partnering employers to address their manpower needs through recruitment, training and job redesign solutions. e2i is a tripartite initiative of the National Trades Union Congress set up to support nation-wide manpower and skills upgrading initiatives. By applying for this role, you consent to e2i’s PDPA.

By sending us your personal data and CV, you are deemed to consent to PERSOLKELLY Singapore Pte Ltd and its affiliates to collect, use and disclose your personal data for account creation in GO and the purposes set out in the Privacy Policy https://www.persolkelly.com.sg/policies. You acknowledge that you have read, understood, and agree with GO’s Terms of Use https://go.persolkelly.com/Tac and the Privacy Policy. If you wish to withdraw your consent, please email us at [email protected]. Please feel free to contact us if you have any queries.

PERSOLKELLY Singapore Pte Ltd • RCB No. 200007268E • EA License No. 01C4394• Reg No : R22110511 | Teh Chee Hoong

• Respond and handling of customer requests/queries
• Incident resolution
• Change and Service Request fulfilment
• Problem ticket closure
• Preventive maintenance tasks fulfilment
• Vulnerability assessment
• To assist the Team Lead/Operations Manager to train and guide junior team members
• Develop and enhance NOC team capability

Responsibility

• Analysing, troubleshooting and correcting network problems remotely and on-site
• Responsibility for documenting incident RCA report the configuration of the system and (network) system performance tuning
• Responsibility for security compliance, patching, health check & hardening remediation
• Maintaining and administering perimeter security systems such as firewalls and intrusion detection systems
• Performing standard or project change request as per change window
• Provide on-call 24 x 7 support on a rotating basis
• Responsible for applying operating system updates, patches, and configuration changes
• Perform Preventive Maintenance
• Participate in customer weekly sessions

To Apply:

Interested candidates, please click on the following link to begin your job search journey and submit your curriculum vitae (CV) directly through the official PERSOLKELLY job application platform - GO. <https://go.persolkelly.com/job/apply/7194>

We regret to inform that only shortlisted candidates will be notified.

This is in partnership with Employment and Employability Institute Pte Ltd (“e2i”). e2i is the empowering network for workers and employers seeking employment and employability solutions. e2i serves as a bridge between workers and employers, connecting with workers to offer job security through job-matching, career guidance and skills upgrading services, and partnering employers to address their manpower needs through recruitment, training and job redesign solutions. e2i is a tripartite initiative of the National Trades Union Congress set up to support nation-wide manpower and skills upgrading initiatives. By applying for this role, you consent to e2i’s PDPA.

By sending us your personal data and CV, you are deemed to consent to PERSOLKELLY Singapore Pte Ltd and its affiliates to collect, use and disclose your personal data for account creation in GO and the purposes set out in the Privacy Policy https://www.persolkelly.com.sg/policies. You acknowledge that you have read, understood, and agree with GO’s Terms of Use https://go.persolkelly.com/Tac and the Privacy Policy. If you wish to withdraw your consent, please email us at [email protected]. Please feel free to contact us if you have any queries.

PERSOLKELLY Singapore Pte Ltd • RCB No. 200007268E • EA License No. 01C4394• Reg No : R22110511 | Teh Chee Hoong

Project Engineer

Working day: 5.5 Days Work Week
Working Hour: Monday - Friday (8am - 5pm) | Saturday (8am - 12pm)
Salary: $3,500 - $6,000
Office Location: Woodlands | Project Site discuss during interview

Job Responsibilities:

• Site preparation and co-ordination, preparation of submission documents.
• Coordinate, liaise and manage various project stakeholders including customers, consultants, sub- contractors, vendors, etc. on site to ensure project requirements are met.
• Prepare and create detail work schedule, manpower and resource planning.
• Able to understand Engineering drawings and perform basic engineering calculations, design, etc.
• Coordinate the safety management system on site.
• Follow up and reporting on the project progress.
• Able to understand Singapore standards or Code of Practice.
• All other ad-hoc tasks as assigned by reporting manager.
• Work location Singapore Island wide.

Requirements:

• At least Diploma or Degree in related field of studies.
• Possess 3 to 5 years relevant experience in the local Construction Engineering industry. Including manufacturing plant construction, Data Centre fit-out works, etc.

https://wa.me/6596420989

WhatsApp: +65 9642 0989 (Han)

Email: [email protected]

Chaw Chiaw Han, Reg No：R22106723

The Supreme HR Advisory Pte Ltd, EA No：14c7279

• Basic up to $3.5k + COM+ Transport Allowance
• North area of Singapore
• 5 days
• AWS + VB (depend on performance) + 14 days AL

Job scopes:

• Explain product features and solutions to meet customer needs.
• Build strong relationships with clients and identify new business opportunities.
• Prepare proposals, conduct product demonstrations, and offer training to clients.
• Analyse industry trends and competitors to guide sales strategies.

Job Requirements:

• Diploma/Certification in Engineering relevant courses
• 0-2 years of B2B sales experience
• Valid class 3 license

For consideration, kindly submit your CV by clicking “APPLY NOW” or TEXT +65 8432 3555 for confidential discussion.

*Only shortlisted candidates would be notified**

MTC Consulting Pte Ltd | 15C7752

EA. Registration No.: R24123737 | Lim Jia Le

Working Hours: Monday-Friday 9am-6pm

Location: Kaki Bukit, Enterprise One, S(415934)

Salary: $4000 - $5000 + VB

Requirements:

• Degree in Electrical, Mechanical or Technical Engineering.
• Must be knowledgeable with products and solutions of PAGA, CCTV, PABX, Fire Alarm systems, PLC/DCS systems, Fire & Gas detection and protection systems, Helideck lightings systems, Weather Monitoring systems, Aids to Navigation systems.
• Proficient in AutoCad drawings.
• Relevant work experience in Shipyard, Oil & Gas, Marine, Petrochemical background preferred.

Job Scope:

• Responsible for developing & maintaining customers’ base
• Technical Sales proposals/quotations and clarifications with customers
• Participates in project bidding - both technical & commercial
• Prepares technical drawings and project documentation & scheduling
• Hands-on product integration, troubleshooting, etc.
• Site (eg onboard vessel) survey, installation & support when required
• Involves in sales and marketing efforts

Interested applicants may choose to apply / Contact me your updated resume for our consultant to find you a suitable oppurtunities

Contact Number : +65 90839650

LIM JUN SHENG Reg No: R22104301

The Supreme HR Advisory Pte Ltd EA No: 14c7279

Job Description:

Be part of an exciting FAB Team working on cutting-edge advanced packaging process technologies. Partner and work with various teams in IME, to be the lead in FAB inventory management, logistic planning, and its related operations to always enable smooth operations and develop packaging solutions and taking the solutions from concept to production.

This position is based in Singapore.

Responsibilities:

• Looking for a reliable, agile, resourceful, meticulous and professional individual.
• Lead in plan, sourcing and initiate - raise purchase requests accordingly to day-to-day materials / spare parts requirements to ensure stock adequacies, required to ensure smooth Fab operations.
• Follow through the orders from the start of purchase till delivery and to ensure that goods are delivered are on time (include coordination of shipments etc. with forwarders when required etc.)
• Provide good supports on logistics and inventory movements required to enable smooth FAB cleanroom operations.
• Excellent interpersonal skills and communication skills so to work seamlessly with various stakeholders to ensure inventory adequacy and logistics efficiencies.
• Self-starter with strong ability to work with own initiative under minimal supervision.
• Process strong sense of customer service mind-set and teamwork.
• Strong flexibility and ability to handle multiple requests from across teams.
• Good communication, analytical, problem-solving skills.
• Put-up good initiatives to move forward towards systematic inventory digitalization.
• Ability to work in a multi-task environment and perform other duties assigned by Department Managers.

Experience:

• Education: Diploma in engineering discipline. Preferably in procurement, supply chain logistic/ warehouse operation.
• At least 3 years of related semiconductor engineering experiences; with good wide contacts with semiconductor material suppliers, equipment vendors.
• Relevant experience in analytics or strategic reporting will be an advantage.

Position title : Sales Engineer
Location: Loyang Way
Working Days: Mon - Fri
Working hours : 830 a.m. to 530p.m.
Salary : $3,000 - $4,500 (depends experience)

Position Overview:
We are seeking a motivated and experienced Sales Engineer to join our team. The Sales Engineer will play a critical role in driving sales and delivering technical solutions that meet our clients’ needs. This role requires a blend of technical expertise and sales acumen, as you will work closely with customers to understand their requirements, present tailored solutions, and support the sales process from inception through to implementation.

Key Responsibilities:

1. Customer Engagement and Relationship Management:

• Develop and maintain strong relationships with key customers and stakeholders.
• Conduct needs assessments to understand customer requirements and challenges.
• Provide technical consultation to customers, offering solutions that align with their operational goals.

2. Sales Support:

• Scout, develop and obtain leads with new customers to develop sales in your assigned territory.
• Prepare and deliver compelling presentations and product demonstrations to potential clients.
• Develop detailed quotes and proposals, addressing customer needs and specifying technical requirements.

3. Service Support:

• Liaise with customers, end-users and purchasers to introduce the company’s service capabilities.
• Drive the sales of services to existing and new customers with equipment sold by the company.
• Coordinate with the engineering and service teams to ensure seamless project execution and delivery.
• Act as a point of contact for post-sales support, troubleshooting and sales of service.

4. Market and Product Knowledge:

• Stay up-to-date with industry trends, emerging technologies, and competitive landscape.
• Continuously enhance product knowledge and understand advancements in equipment and service offerings.
• Share insights, feedback and customer requirements with the product development and marketing teams to drive innovation.
• Participate in all company-participated trade shows and seminars in Singapore and abroad.

5. Training and Support:

• Educate customers on equipment features, benefits, and maintenance requirements.
• Conduct training sessions for customers and internal teams to ensure proper usage and understanding of products.
• Assist management with any other ad-hoc tasks and duties as and where required.

Requirements

• Education: Bachelor’s degree in Engineering, Mechanical Engineering, Electrical Engineering preferred or related technical field, Minimum Diploma in related technical field.
• Experience: Minimum of 3 years of experience in a sales engineering role, preferably within the equipment sales and service industry.
• Technical Skills: Strong understanding of vacuum pump technology or other technical equipment. Proficiency in technical sales and solution design.
• Sales Skills: Proven track record in achieving sales targets and managing customer relationships.
• Travel: Required to support regional customers in Southeast Asia (30-40%).

✅The Supreme HR Advisory Pte Ltd EA No: 14c7279

✅SAMUEL SIAW Reg No: R24124745

• Work Location: Tampines Industrial Avenue 5
• Work Day: Monday to Friday (8.30am to 5.30pm)

Responsibilities:

• To lead a team of Associate Engineers / Technicians to carry out all the Test related activities for Server & Rack products for the production
• To support & implement PXE Server configuration for the products
• Perform & maintain the Server & Rack run-in test process
• Perform & maintain the burn-in & power test process
• To liaise with customer & HQ / factory on the test program implementation and maintenance
• To test and analyze all failures in the production products and work back with customer & HQ / factory for improvement
• Participate in the Kaizen activities
• To update the test program master list & tracking
• To prepare and update Working Instruction
• To provide training over W/I to production
• To support the NPI Process
• To support production on the mass run
• Participate in ISO activities (implementation & maintenance)

Requirements:-

• Min. Diploma in Engineering discipline with min 3 years relevant experience in Server / Rack/ Manufacturing environment
• Ability to work with the customer, HQ / factory, Peers / Subordinate and Superiors
• SAP & Linux knowledge
• Able to multi-task & work under pressure
• Good understanding of test methods and concepts
• Knowledge of programming and debugging skills
• Compliance with RBA standards

To Apply, kindly click on the "APPLY NOW" button and job details. We regret that only shortlisted candidates will be notified.

Daniel Lim | Registration Number: R24124455 | AlwaysHired Pte Ltd

EA Licence No: 24C2293

COMPANY DESCRIPTION

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

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

RESPONSIBILITIES

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Skills listed below this line are preferred but not required:

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

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

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

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

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

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

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

#LI-JN2

COMPANY DESCRIPTION

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

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

RESPONSIBILITIES

Work done will be at the direction of the PI, and where relevant, the Industry Director and Centre Director. As the Programme is interdisciplinary and multidisciplinary by nature, you will be expected to convey your domain 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 prototypes for government and industry partners in the areas of computable contracts and "rules as code". Experience in requirements 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 multiple use cases so that we can abstract across them and develop generalized, reusable infrastructure. We will work with 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 be expected to actively participate in team meetings and text-based communications. You will be expected to be active 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 through community 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 Engineering

Internet Unix TCP/IP HTTP(S) XML JSON Schemas YAML Git Github Technical Writing Developer Relations and Evangelism

Parsers, Compilers, and Programming Language Theory

Lex/YACC alex/happy Bison CFGs EBNF BNFC

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

Programming Languages and Frameworks:

Preferred: Haskell or OCaml. Python.

Possible alternatives: Common Lisp Racket Scheme Javascript / Typescript / Node.

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

Formal Verification and Specification Languages

Some 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 (Template etc) OCaml Elm Isabelle/HOL StrangeLoop Pony

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

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

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

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 Flora-2 Datalog Answer-Set Programming 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