• Singapore Based (Changi South - Between Tanah Merah / Simei / Expo MRT)
• 5 Working Days, 9am-6pm
• Salary: $6,000 - $10,000 + 15 Days AL + Bonus
• Degree or diploma and aptitude relevant to Broadcast Engineering; Minimum 3-8 years of work experience in Outside Broadcast Environment
• Career Progression Opportunities

Job Scopes: (Before , During & After Project)

• Assist the Engineering Manager with all technical tasks to ensure smooth running of daily engineering operations.
• Review the operations of the Engineering Department to ensure the quality of broadcast operations meet industry standards.
• Remain up-to-date with outdoor broadcast technology and equipment.
• Guide the Assistant / Trainee Engineers to read technical (Auto CAD) engineering drawings and plan for their training where needed.
• Ensure procedure for video equipment testing and preparation is in place.
• Ensure adequate processes are in place for communication / escalation of technical related problems that arise during a project.
• Keep Engineering environment (Warehouse, Engineering Room and desks) clean, functional, safe and presentable.
• Ensure compliance of engineering procedures with Health & Safety guidelines.
• Work with Head of Engineering to improve and test system designs.
• Supervise and schedule maintenance of specific categories of broadcast equipment to ensure the equipment are fully functional and well maintained (internally and externally clean/dust-free).
• Monitor physical and technical quality and appearance of broadcast equipment. Prepare the maintenance & improvement report.
• Plan and maintain a list of specific categories of broadcast equipment which require scheduled maintenance.

Requirements:

• Degree or diploma and aptitude relevant to Broadcast Engineering (specializing in Broadcast Engineering / Audio Engineering / IT or any other related area).
• Safety Knowledge: Good knowledge of the principles of safety at work as applied in the TV industry.
• Understanding of OB Systems: Understanding of Outside Broadcast systems and environment.
• Knowledge and experience of operating and troubleshooting a range of OB equipment in sound, communication, IP, etc.
• Minimum 3-8 years of work experience in Outside Broadcast Environment.
• Event Experience: Experience with large scale events is necessary.

Kylen Seah Reg No: R24124248

The Supreme HR Advisory Pte Ltd EA No: 14C7279

• Location: Tanjong Penjuru
• Working hours: Mon to Fri from 7:30am to 5pm
• Salary: $3,500 - $4,000

Responsibilities:

• Organize, monitor and ensure manufacturing processes operated with minimize manufacturing costs through effective utilization of manpower, equipment, facilities, materials, and capital.
• Initiates, implements, and manages the processes improvement program based on best practices in the metal drum making industry, with an emphasis on productivity and product quality.
• Ensure all manufacturing processes are adhering to all Regulatory and Statutory Requirement.
• Work with the HR Department and assure that employee grievances are addressed in a timely fashion.
• Conducts employee performance reviews based on job descriptions to determine competency, knowledge, and contribution of the maintenance technicians and engineering staff.
• Maintain and ensure work safety and practice. Also continually improve safety records by addressing both physical safety issues and employee safety attitudes.
• Maintain and improve housekeeping in all areas
• Evaluate, train and maintain individual skills (including work performance) are keeping up to date with best engineering management concepts and practices.
• Ensure on time submission of overtime record to HR Dept for computation of monthly salary
• Establish and prepare process documentation such as work instruction, process specifications and assist on the quality plan.
• Prepares reports, analyzes data, and makes recommendations for improving plant operations and solving production-related problems.
• Ensures that subordinates are adequately trained, equipped, and motivated so that the maintenance program can be accomplished in a safe, timely, and cost-effective manner.
• Conducts employee performance reviews based on job descriptions to determine competency, knowledge, and contribution of the staff.
• Communicate regularly with all production and maintenance teams, both individually and as a group, to ensure good two-way communication concerning production and maintenance issues.
• Assist in the hiring of production personnel.
• Maintain and update operating manuals for all the manufacturing equipment and facilities.
• Maintain and update operating training manuals for all manufacturing processes.
• Perform any other ad-hoc projects or tasks to be assigned by the HOD / Management from time to time.

Requirements:

• Min 5 years working experience in manufacturing environment.
• Able to supervise and lead the subordinates.
• Computer literate.
• Knowledge in ISO is an advantage.
• Diploma or Degree in Manufacturing / Electrical /Mechanical / Engineering discipline

If you are interested to apply, kindly WhatsApp me your updated resume in DOC file and allow our Consultant to match you with our Clients.

Whatsapp: +65 8525 2419

Email: [email protected]

Tan Man Ee Reg No: R22108289

The Supreme Hr Advisory Pte Ltd EA No: 14C7279

- 3 to 4 years experiences in Security fields like SIEM, Firewall, Threat Monitoring
- Able to setup security SIEM, Firewall and also configure security policies
- Support and troubleshoot security incidents
- Support security products after deployment
- Able to advise customer on security issues
- Good knowledge in conducting security patching, incident response process are required
- Be on routine standby to support 24×7 maintenance support calls.
- A team member player and able to work with other team members

Qualification
- Diploma/Degree Holder in Information Technology, Computing, Cybersecurity
- Possess industry recongised certificates will be bonus

Drop us a email at [email protected] if you are keen to apply.

We regret that only shortlisted candidates will be notified.

Technical Support Engineer

Location: Henderson Road

Working Hour: 5 Days work Week 9AM – 6PM

Salary: $4,500 - $5,000

Job Scope

• Be the primary technical contact for customers and in house repair jobs
• Assist customers in the repair and maintenance activities, but also with Providing spare parts and associate services
• Identify and translate customers’ requests ;
• Handle technical incidents and establish reports (troubleshooting, expertise, gathering useful information for analysis
• Guarantee, when necessary, the proper processing of offers : spare parts, onsite interventions and repairs.
• Coordinate onsite interventions actions and ensure an ongoing communication to the customer.
• Provide technical assistance to the Repairs Department and Field Service Technicians + Business Centers ;
• Occasionally promote to customers, technical training sessions and sales of spare parts and repairs ;
• Initiate, together with the appropriate stakeholders, the implementation of corrective actions that arose from customer complaints/claims.
• Be the technical interface within the departments, such as Engineering, Purchasing, Sales, Production, Global Service and customers
• Identify potential sales opportunities and forward the information to the sales teams.
• Identify the spare parts needed for Sales team to quote to customer
• Recommend spare parts needed for regular maintenance/during troubleshooting
• Acts as last form of technical checks to make sure the spares quoted is according to customer’s requirement
• curb warranty costs.
• Be responsible for the collection of outstanding payments for the Customer Service department
• Maintain proper records of interaction with customers within the CRM tool
• Control offers and order confirmation as per applicable procedures

Requirements

• Have 3 to 5 years of experience in Mechanical Engineering. Marine engineering with mechanical knowledge will also be considered.
• Degree in Mechanical Engineering
• With hands on experience on compressors, turbines and pumps mechanically
• Be willing to travel if needed.

WhatsApp: +65 9837 8400

Lim Jun Yao Reg No.: R1989028

The Supreme HR Advisory Pte Ltd EA No.: 14C7279

Job Responsibilities:

· Administer and configure infrastructure systems and applications (e.g. Active Directory Services, Data Centre, video conferencing, audio system, telephony, server storage, backup, etc.), network devices (Firewall, routers, VPN, internet proxy, wireless, etc.), desktop, mobile devices and other remote devices.

· Ensure systems are backed up automatically, recovery plans and disaster recovery plans and patches are carried out successfully and monitor the systems’ resources usage closely.

· Liaise with external vendors to ensure Service Level Agreements (SLA) are met.

· Draft and update technical documentation such as administration & user guides.

· Provide technical support to both Local and Overseas branches’ users over the LAN and WAN without compromising security.

· Source for products/solutions and vendors/suppliers for required projects.

· Provide L1/L2 support and participate as a team lead or member in projects.

Job Requirements:

· Diploma or Degree in Computer Science, Information Technology, OR/AND Certification in CCNA

· Minimum of one year of relevant experience

· Proficient in enterprise networking, including WAN, LAN, and VPN optimization implementation and support

· Skilled in administering Microsoft Server 2012 and later, Microsoft 365, and Google Suite products/services

· Familiar with internet architecture designs such as TCP/IP, DNS, DHCP, Proxy and Firewall

· Familiar with devices like Alcatel PABX, FortiGate Devices, Cisco and Unifi Wireless AP Controller

· Strong knowledge of CyberRisk and CyberSecurity; familiarity with PDPA is highly preferred

· Experience with Veeam, VMware, and UNIX/Linux is an added advantage

· Experience in API/Web Programming and Database Administration is an added advantage

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

Job Description & Requirements

Roles & Responsibilities: In building construction field

• Assist Project Manager in planning, execution and completion of ACMV Project.
• Excellent project management skills, including the ability to manage timelines, budgets, and resources effectively.
• Supervise and liaise with relevant authorities / subcontractors / workers at site and ensure work performed on-site complies with local authorities’ requirements.
• Analyze, manage and track project costs against budget.
• Any other tasks assigned by the management.

Job requirements:

• Degree/Diploma in Mechanical Engineering or its equivalent
• Candidate with Specialist Diploma in Construction Productivity (SDCP) is an added advantage
• Work experience in ACMV or Mechanical Engineering in the construction industry.
• Good technical knowledge of ACMV system for Commercial Project.
• Good communication, interpersonal and problem-solving skills
• Possess a Class 3 license.

*Salary is commensurate to working experience.

Please indicate the below information in your resume:

o Current & expected salary

o Reason(s) for Leaving

o Availability to commence work

We regret that only shortlisted candidates will be contacted.

• 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

• Location: Loyang Industrial Estate
• Working Days: Mon - Fri
• Working hours : 830 a.m. to 530p.m.
• Salary : $3,000 - $4,500

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%).

Leong Jia Qi Reg No. : R24124746

The Supreme HR Advisory Pte Ltd EA No. : 14C7279

• Cooling Equipment, Chiller
• Basic up to $5000
• High Variable bonus + Mobile Allowance + Other Allowance
• Work-Life Balance
• Yearly appraisals salary adjustment（Based on performance)
• Singlife Medical Insurance Benefits

Responsibilities:

• Oversee and manage the projects assigned to ensure on track as per requirement
• Work closely with customers, engineers and contractors to assess equipment needs, and to determine system requirements.
• Prepare project document, drawing submissions and support other team members in execution and coordination
• Attend meeting with customer, team members and contractors where required
• Coordinate and schedule submission, delivery and T&C schedule with clients and contractors
• Performing quality control tasks on equipment, budgets, schedules, plans, and personnel performance and reporting on the project's status
• Ensuring the project's compliance with the applicable codes, safety practices, policies, performance standards, and specifications.
• Perform site survey to ensure that equipment is delivered and installed in proper manner as per requirement
• Perform and lead the T&C of equipment as per the timeline provided by clients
• Troubleshooting of equipment with RCA reports where required

Requirements:

• Diploma / Degree in Mechanical/Electrical Engineering or related field
• Flexibility to travel at any given time
• Prefer candidate with Class 3 driving license.

*Only shortlisted candidates would be notified**

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.

* Overall responsible for all operations components of the department to ensure efficiency and effectiveness of operations

* Responsible for the development and implementation of Company annual business plan and short term strategies, as well as establishing key performance objectives to ensure that meet business targets and drives sustainable, profitable growth

* Make well-informed decisions that would lead to growth opportunities & success for the business. Acting decisively & making prompt decisions would help you evaluate the company’s aim & provide solutions to potential problems.

* Ensure that operational standards are met in regard to Construction requirements, safety regulations, operation licences and loss prevention

* Maintain and develop high standards of operations in restaurant by ensuring all SOPs are relevant, up to date, trained effectively and operationally delivered.

* Make well-informed decisions that would lead to growth opportunities & success for the business. Acting decisively & making prompt decisions would help you evaluate the company’s aim & provide solutions to potential problems.

Job Requirements:

· Minimum 8 years’ related experience in Construction Trade

· Strong leadership skills, Management skills & Planning capability

· Able to work under pressure & fast pace environment

· Excellent communication & interpersonal abilities

As part of IME Integrated Circuit Design and System Department, we are seeking a candidate with relevant experience in analog integrated circuit design. This candidate will contribute to developing analog circuit blocks e.g. low-power operational amplifiers, voltage/current references, and voltage regulators based on thorough topology analysis. This candidate will work closely with other team members for the circuit design, test verification, as well as system integration and validation for a broad range of innovative sensor systems.

Role & Responsibilities

• Circuit schematic design and simulation, layout supervision, pre-tapeout design verification, test plan development and chip measurement
• Work together with teams to investigate novel circuit/system solutions to create new inventions

Requirements

• Bachelor’s / Master’s degree in Electronic Engineering
• Good understanding of CMOS analog IC design methodologies
• Familiar with analog IC design and verification flow
• Industry experience would be a plus
• Familiar with the IC test equipment such as oscilloscope, spectrum analyzer, etc.
• Able to generate high-quality scientific publications and patents
• Team player, quick learner and self-driven

Job Description

• Support start-up, contract maintenance and other service activities with emphasis on safety and protection.
• Perform routine preventive maintenance, logging, corrective maintenance works and to carry out warranty repairs.
• Participate in service and repair of products, safety activities, emergency response, breakdown calls and ad hoc projects.
• Manage all orders efficiently until fulfilment stage, by working closely with Service team.
• Liaison with relevant parties such as customers, service supervisor, coordinators and logistic pertaining to queries, technical issues, status and deliveries.
• Ensure equipment turnaround and breakdown responses are achieved at optimal level of efficiency.
• To provide support to other service activities that may be assigned in the course of work.

Requirement

• NTC2 or Diploma in Electrical/Process Instrumentation / /Mechatronics Engineering.
• Preferably 1-3 years’ experience in service/engineering position in oil & gas, process industry.
• Candidates without prior experience can be considered (have to possess a valid class 3/3A license)

Interested applicants please send your resume to [email protected] for express processing.

To help process your application, please visit www.gmprecruit.com to upload your resume on our website.

Thank you.

GMP Technologies (S) Pte. Ltd. | EA License: 11C3793

Kyle Hui | EA Personnel Registration: R1333144

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

Our client is a well-established MNC, market leader in the 3PL Logistics industry. Due to their current expansion plan, they are looking for Engineering Manager to join their Engineering team, in hopes of developing the current high performing team. They are located in the East - easily assessible.

Responsibilities of Engineering Manager:

• Design and implement effective warehouse layouts and storage solutions.
• Lead and oversee warehouse projects from planning to execution.
• Select and manage the appropriate equipment for operational efficiency.
• Collaborate to optimize space utilization, streamline processes, and reduce costs.
• Analyze data to develop logistics strategies and improve productivity.
• Identify and validate storage solutions to boost capacity.
• Provide coaching and support to operational teams.
• Present and demonstrate process improvements to stakeholders.

Requirements:

• Min Degree in Engineering
• Min 2 years of warehouse automation experience in managerial level
• Strong communication and interpersonal skills required.
• Proficient in Microsoft Office and AutoCad

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: [email protected]

Recruitpedia Pte. Ltd.

EA License No. 19C9682

EA Reg. No. R2198636 (Oh Puey Xin)

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

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

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

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

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

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

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

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

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

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

Skills listed below this line are preferred but not required:

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

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

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

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

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

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

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

#LI-JN2

COMPANY DESCRIPTION

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

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

RESPONSIBILITIES

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Skills listed below this line are preferred but not required:

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

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

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

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

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

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

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

#LI-JN2

COMPANY DESCRIPTION

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

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

RESPONSIBILITIES

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

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

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

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

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

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

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

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

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

Minimum qualifications:

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

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

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

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

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

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

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

Skills listed below this line are preferred but not required:

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

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

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

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

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

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

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

#LI-JN2

Our Client is a leader in the Manufacturing MNC. Due to their current expansion plan, they are looking for a Manufacturing Engineer (Production) to join their team, in hopes of developing the current high performing team. They are located in the West.

Responsibility:

• Responsible in production planning and control processes
• Handle manpower allocation/planning and participate in HR-related activities.
• Manage order processing and related documentation tasks.
• Work closely with Sales and Quality departments to resolve production issues.
• Track and monitor production schedules to meet delivery timelines.
• Prepare and submit detailed monthly production reports.
• Involve in process improvement initiatives.
• Any other ad-hoc duties as assigned.

Requirement:

• Minimum Diploma in Engineering related studies or equivalent
• Minimum 2 years relevant experience
• Proficient in Microsoft Office application

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

EA Reg. No. R23115553 (Lai Hor Yan)

COMPANY DESCRIPTION

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

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

RESPONSIBILITIES

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

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

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

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

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

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

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

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

Minimum qualifications:

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

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

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

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

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

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

Preferred qualifications:

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

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

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

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

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

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

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

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

#LI-JN2

COMPANY DESCRIPTION

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

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

RESPONSIBILITIES

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

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

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

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

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

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

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

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

Minimum qualifications:

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

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

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

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

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

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

Preferred qualifications:

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

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

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

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

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

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

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

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

#LI-JN2

COMPANY DESCRIPTION

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

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

RESPONSIBILITIES

Work done will be at the direction of the PI, and where relevant, the Industry Director and Centre Director. As the Programme is interdisciplinary and multidisciplinary by nature, you will be expected to convey 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