Summary:

The Project Engineer is responsible for providing general direction towards the successful completion of a project, ensuring all disciplines follow the quality standards set by the company. The role involves identifying critical aspects of project execution and addressing them before they manifest as problems, as well as verifying and managing man-hour consumption of different disciplines during project execution.

The Role:

• Plan, schedule, conduct, and coordinate the technical aspects of projects.
• Maintain regular contact with assigned project clients to ensure smooth project implementation.
• Participate in client meetings and resolve project issues.
• Ensure projects align with strategies and objectives through various phases, including feasibility studies, FEED, detailed design, construction, commissioning, start-up, and handover.
• Ensure projects meet safety, cost, schedule, and quality standards.

The Requirements:

• Bachelor’s degree in Mechanical Engineering or other Engineering disciplines with 3-5 years of experience.
• Good knowledge of all disciplines, including Process Technical knowledge.
• Proficiency in Basic Design and P&ID.
• Knowledge of project management fundamentals, front-end engineering, and relevant project planning and scheduling tools.
• Solid track record in EPC Project Management in the Oil & Gas and Petrochemical Industry.
• Effective team player with good communication and interpersonal skills.
• Strong presentation, technical, analytical, and troubleshooting abilities.
• Self-motivated, with the ability to initiate plans and carry out assignments professionally and diligently in accordance with established company procedures.
• Proven leadership and management skills.
• Proven interpersonal and relationship-building skills.

Additional Requirement:

• Must have EPC experience in the Oil & Gas and Petrochemical Industry.

To Apply:

Please send your latest CV in word file to [email protected]

Kindly indicate your availability, current and expected remuneration package.

We regret that only shortlisted candidates will be notified.

For more job opportunities, please visit our career page: http://quinnox-solutions.com/c...

Quinnox Solutions Pte Ltd (License Number: 06C3126)

Registered EA Personnel (Reg. No.R21103082)

Key Duties

• The Mechanical Inspector shall be capable of performing the following duties on his own:
• Check installations of static equipment, coating, painting, piping etc
• Review installation to ensure compliance with construction drawings
• Ensure installation has adequate space with operation and maintenance considerations
• Inspect pressure vessels, storage tanks etc and ensure safety devices are properly installed
• Active role in technical discussions with contractors and equipment suppliers
• Witness the commissioning of rotating and non-rotating equipment
• Proper record keeping of all inspection/witness activities carried out
• Perform inspection for defects clearing.
• Ensure defects are cleared before signing off
• Carry out other inspection/witness activities as assigned.

Requirements

• He should possess a diploma in Engineering from the polytechnics or other instituations. Other similar qualifications would be considered.
• He is preferred to have at least ten (10) years of inspection works in power plant, petrochemical plant or other heavy industries.
• Experience in handling EPC contractors and equipment suppliers will be an advantage.
• Experience with inspection of coating, painting, welding etc will be an advantage.
• Possession of other relevant qualifications and trainings would be favorable considered.

Find Your Dream Job With Us

WE ARE HIRING !! Apply now and make a difference.

Job Title: Cyber Defence Engineer

Job Requisition Number: JR29081

Job Level: Minimum 6-10 years of relevant experience (L3/L4)

Location: Singapore

Job Description

The Security engineer will support the day-to-day Security application administration, operations and development activities of the bank security suite of products with key objective to maintain, develop and enhance the detection, prevention, response and monitoring capabilities of GSOC using SIEM Security Analytics platform and solutions.

Key Responsibilities:

· Provide administration and operations end to end support to SIEM Security Analytics Platform and other security solutions related infrastructure deployed within the bank.

· Onboarding new log sources, enabling new use cases and supporting all existing use cases.

· Develop and support case management workflow, reports and dashboards.

· Manage and support the log management environment.

· Monitor SIEM internal logs to identify and resolve potential performance issues.

· Drive upgrades and migration to ensure solutions and or related platform are maintained in tip-top working conditions with proper documentation and RCA.

· Test and manage application functionalities, system and infrastructure changes, upgrades, enhancements, patches and troubleshooting.

· Work within established practices and handling guidelines to triage device outages.

· Available to respond to any requests and assist with troubleshooting activities along with proper documentation.

· Ability to understand of data generated by infrastructure and application across bank.

· Integrate data feeds into SIEM Solutions from on premise and cloud deployed devices and applications

· Automation development on existing data feed and contextual data so we get different data from various log feeds to one location.

· Manage and coordinate change & Incident process engagement with regards to current security solutions.

· Communicate effectively with a variety of internal teams and external contacts including technical and executive contacts.

Others:

· Normalization/Parsing the data/logs

· Experience with any insider threat tools

· Follow MIRTE ATT&CK framework and NIST methodology

Conduct regression testing on existing use cases and future enhancement by adding more new use cases to protect the bank from sophisticated Cyber-attacks

Requirements:

· Overall experience 8+ years of experience.

· 5+ years of relevant experience in the area for managing SIEM preferably Splunk/ArcSight

· Hands on experience in Advanced SIEM, Security Analytics solution, Linux and database (MySQL, Oracle/SQL)

· Very strong troubleshooting skills.

· Strong in providing operational support to any SIEM and other security platforms

· Strong knowledge in Syslog log management platform

· Experience in understanding end to end data flow

· Strong knowledge in understanding OS, Proxy, Network and other main-stream Infrastructure, Application, Access and Cloud logs.

· Strong Knowledge in developing custom parsers (regex) required for data ingestion for any infrastructure or application-based data feeds.

· Strong knowledge of optimizing performance and outages related to SIEM Solutions.

· Experience in normalize and data preparation to clean the data

· Experience in Data/Device Integration and provide the data back to another platform.

· Knowledge of the SOAR platform is an added advantage.

· Experience in Automation using any scripting languages like Python and Shell.

· Knowledge and hands-on experience on implementing Use Cases would be add-on.

Soft Skills

· Good written and verbal communication skills

· Process and procedure adherence.

· Strong analytical and problem-solving skills

· Effective time management and organizational skills.

Other Requirements

Willingness to perform on-call duties.

Please forward your resume in MS word format to [email protected] and [email protected]

Please refer your friends for any IT openings as we have various positions.

Please do not send PDF Format Resume . Send the following details

1. Notice period

2. Current Salary

3. Expected Salary

4. Visa Status in Singapore

5. Current Location

Role: Senior Network Engineer (Design & Implementation)

Location: Singapore, Tuas

Employement Type: Perm

The Senior Network Engineer ensures the availability, performance, and stability of IT infrastructure to support strategic goals. This role involves working within a team of system administrators and engineers to provide business support.

Responsibilities

• Support existing and future enterprise systems, optimizing IT infrastructure and providing strategic input for network planning.
• Design, install, evaluate, and troubleshoot wired and wireless network infrastructure, ensuring high performance and availability.
• Adhere to IT security policies, procedures, best practices, and change management processes.
• Create and maintain comprehensive documentation and diagrams for network projects, ensuring disaster recovery readiness.
• Implement and maintain network hardware, keeping infrastructure up to date with current technologies and coordinating upgrades.

Requirements

• Over 10 years of experience in large enterprise network environments, including multi-protocol networks, problem resolution, OSI model expertise, and Arista Network hardware familiarity, along with network management and proactive monitoring.
• Proficiency with various network monitoring tools and methodologies.
• In-depth understanding of advanced networking technologies such as MPLS, virtual route forwarding, policy-based routing, ether-channel, traffic-shaping, load balancing, VPN tunnels, WAN optimization, firewalls, VLANs, STP, Spine and Leaf architecture.
• Strong knowledge of structured cabling systems, network facilities, electrical requirements, and UPS.
• This role may be required to travel internationally.

EA License Number: 11C3017

EA Personnel Number: R21100713

We are looking for a Sales Executive/Engineer to drive the sales of electronic components for our client a leading regional Electronics Components distributor. You will manage existing client relationships while expanding our customer base from multinational corporations to small and medium enterprises.

Key Responsibilities:

• Deliver compelling technical presentations on our products and services to customers.
• Collaborate with sales teams to assess customer requirements and provide effective sales support.
• Generate high-quality sales leads, follow up on initial contacts, secure and renew orders, negotiate pricing, and coordinate deliveries.
• Research and recommend products that align with customer needs.
• Gather and analyze client feedback to develop targeted sales and marketing strategies.
• Identify areas for improvement and communicate these insights, along with potential solutions, to management.
• Prepare detailed quotations and submit technical and sales reports.
• Set and achieve ambitious sales goals and quotas.
• Travel regionally for business as needed.

Requirements:

• A degree in engineering, marketing, business administration, or a related field is preferred.
• Minimum of 2-3 years of experience in sales within the electronics or semiconductor components industry, ideally with semiconductor distribution.
• Strong understanding of the local and regional electronics market, from multinational companies to SMEs.
• A personable demeanor with a patient approach to customer interactions.
• Excellent interpersonal, communication, customer service, and sales skills.
• Ability to convey technical information to non-technical audiences effectively.
• Confident negotiation and presentation skills.
• Strong work ethic with a commitment to meeting company goals.
• Demonstrated leadership and teamwork abilities.

To apply online kindly use the 'apply' function, alternatively you may send your resume to [email protected]

EA Licence No: 10C3426, EAP Reg. No: R1103531

✅ 5 Days

✅ 9am - 6pm

✅ Taiseng

Responsibilities:

• Design, develop and maintain device drivers for Windows Operation Systems
• Perform WHQL testing and certification of drivers and device frameworks
• Design, develop and maintain user libraries and DLLs
• Participate in all phases of SDLC and prepare corresponding documentation
• Porting and maintain existing drivers to new frameworks and OS
• Resolve any defects reported by customers
• Collaborate with USB host and device firmware development teams

Requirements:

• Minimum Degree or above in Computer Science/ Engineering
• Minimum 3-5 year of experience in Device Driver Development (USB)
• Proficient in C Programming, WDM & KMDF framework and Multi-Threading & DLLs
• Participation or experienced in SQA processes

You may “Using Apply Now Button” to send in your updated resume.

For more information, please reach us at 9138 5316

*Only shortlisted candidates would be notified*

Choek Wei Qi Joel

Registration Number: R1877109

Workstone Pte Ltd

EA License Number:19C9998

JOB SUMMARY

We are seeking a highly skilled and experienced Senior Building Operation Engineer to join our team as a key leader in our engineering department. The successful candidate will play a pivotal role in overseeing the daily operations of building systems, with a primary focus on M&E and Air Conditioning and Mechanical Ventilation (ACMV) systems. The individual will be responsible for managing a team of shift leads and technicians, ensuring the seamless functioning of our facility.

ESSENTIAL DUTIES AND RESPONSIBILITIES

• Technical Expertise: Demonstrate in-depth technical knowledge of Building General M&E, ACMV systems, and Process Utility Systems(CDA, UPW, PCW, PVAC, Scrubber, etc.).

• Team Management: Lead and manage a team of shift leads and technicians to ensure optimal performance and efficiency.

• System Oversight: Oversee the operation, maintenance, and troubleshooting of building systems to ensure reliability and compliance with industry standards.

• Preventive Maintenance: Develop and implement preventive maintenance programs to minimize downtime and extend the lifespan of equipment.

• Emergency Response: Respond promptly to emergency situations, coordinate with relevant teams, and implement corrective actions to resolve issues efficiently.

• Documentation: Maintain accurate records of equipment, maintenance activities, and compliance documentation.

• Collaboration: Collaborate with other departments to ensure a coordinated and integrated approach to facility management.

SUPERVISORY RESPONSIBILITIES

Supervises technical shift team who support the site on a 24 x 7 basis. Responsible for ensuring shift coverage and delivery of planned and preventative maintenance works. Provide coaching, assistance such as technical guidance and training to co-workers. Coordinate site works and assign tasks. Foster a collaborative and positive work environment.

QUALIFICATIONS

• Proven experience as a Building Operation Engineer or similar role.

• In-depth knowledge of Building General M&E, ACMV systems, and Process Utility Systems.

• Strong leadership and team management skills.

• Excellent problem-solving and decision-making abilities.

• Ability to work effectively in a fast-paced and dynamic environment.

EDUCATION and EXPERIENCE

• Bachelor's degree or Diploma in Facility Management, Mechanical or Electrical Engineering or a related field.

• Knowledge and understanding of all applicable good practices and techniques, laws, project controls and environmental regulations to include safety regulations.

• Previous experience in a supervisory or managerial role is preferred.

CERTIFICATES and/or LICENSES

Universal CFC certification preferred. Additional certification in one or more of the following: electrical, mechanical, HVAC and refrigeration systems, process controls, mechanical power transmissions, painting, plumbing, carpentry or engine repair. Certifications/licenses as may be required by local jurisdictions.

COMMUNICATION SKILLS

Ability to comprehend, analyse, and interpret the complex business documents. Ability to respond effectively to the most sensitive issues. Ability to write reports, manuals, speeches and articles using distinctive style. Ability to make effective and persuasive presentations on complex topics to employees, clients, top management and/or public groups. Ability to motivate and negotiate effectively with key employees, top management, and client groups to take desired action.

FINANCIAL KNOWLEDGE

• Understanding of budgeting and cost management related to building operations.

• Ability to contribute to financial planning and decision-making.

REASONING ABILITY

Ability to solve advanced problems and deal with a variety of options in complex situations.

Analytical mindset with the ability to assess situations and make sound decisions. Strong problem-solving skills.

OTHER SKILLS and/or ABILITIES

• Proficient in the use of computerized maintenance management systems (CMMS).

• Familiarity with relevant safety codes and regulations.

• Proficiency in Microsoft Office Suite.

• Ability to adapt to changing priorities and manage multiple tasks simultaneously.

• Strong interpersonal skills for effective collaboration with internal and external stakeholders.

The primary focus of Applications Engineer is to support the sale and deployment of Synopsys Emulation & Prototyping solution - including functional verification & validation, debugging, FPGA synthesis & partitioning, and embedded software bring-up on emulation/prototyping system. The candidate is expected to work directly with customers & Synopsys R&D to deliver technical solutions, product demonstrations, resolve technical issues and conduct product training. This will include pre-sales consultation and working with customer to validate their SoC design with Synopsys Emulation & Prototyping solution. He/She will also participate in account planning and work with the sales team to develop account strategy to grow Synopsys Emulation & Prototyping solution.

We are looking for a self-motivated and dependable individual with following technical skills:

• Strong knowledge and experience on design validation with Emulation or FPGA prototyping system from RTL design and experience in compiling/ design bring-up on a FPGA emulation/prototyping platform. SoC /architectural design with RTL coding or design verification using Xilinx/Altera FPGA.
• Knowledge on Xilinx Virtex 7/UltraScale Architecture and hands-on experience on ISE/Vivado Design Suite/Place & Route.
• Experience in Synopsys Emulation or Prototyping Solution will be an added advantage.
• Proficiency in Verilog/VHDL/SystemVerilog programming or scripting language.
• Knowledge on Simulation/VCS, Assertions(SVA) Coverage, Low Power verification with UPF is a plus.
• Good knowledge in Simulation flows, Assertion, DPI and transactors/ transaction based verification.
• Sharp debugging and problem solving skills on FPGA designs, hardware system and RTL design is desirable.
• Good understanding of SW/HW debug methodologies with prior experience in any of standard SW/HW debug tools (Identify, ChipScope, SignalTap, Logic Analyzer etc.)
• Experience in SoC bus/high speed protocols including following but not limited to AMBA, AXI, USB PCIE will be an advantage.
• Good critical thinking and problem-solving skills. Experience in project execution from start to completion.
• Pleasant personality with good interpersonal and communication skills.
• Some travel within South East Asia region up to 2 weeks per trip and occasional travel to USA are expected
• Master in CS/EE/other Engineer field with 10+ years of experiences.

Inclusion and Diversity are important to us. Synopsys considers all applicants for employment without regard to race, color, religion, national origin, gender, sexual orientation, gender identity, age, military veteran status, or disability.

Role Purpose

To safely plan and load cargo onto the vessels operated in Swire Projects Fleet.

Role Accountabilities

• Assisting in cargo transport and engineering for any types of cargo on various vessels.
• Providing transport engineering solutions in areas such as heavy lifting, sea-fastening, ship stability and structural analysis.
• Preparing and updating cargo stowage, lifting, sea-fastening and other relevant operational plans.
• Providing technical support, advice, and solutions to the commercial and chartering teams in transport cargo projects tenders and enquiries.
• Planning and developing optimal operational and transport engineering solutions, which are safe and cost-effective cargo operations together with the commercial and operations teams, and cargo superintendents.
• Coordinating and managing cargo operations and projects.
• Attending technical and operations meetings with clients and various stakeholders.
• Assisting and ensuring all operations, i.e., loading and discharging, are conducted in accordance with the latest plans, relevant policies, procedures, agreements, and legislative requirements.
• Conducting pre-inspection of cargo and attending pre-operations meetings to ensure smooth and safe cargo - loading and discharging – operation.
• Supervising and assisting as Cargo Superintendent (CSI) on board during all loading and discharging operation.
• Monitoring and reporting of daily operations on board.
• Preparing detailed reports on the loading / discharge operations.
• Ensuring that all HSE company standards are maintained all the time by the vessel crew, stevedores, sub-contractor and third party on board during the ship’s port calls.

Safety

• Take responsibility for the safety of myself and those around me by displaying safety leadership principles (i.e. Safety I’s & Accountability ladder).
• Challenging and stopping unsafe acts and behaviours or unsafe conditions.
• Comply with the Global Safety Standards, Policies and Operating Procedures.

Key Qualifications & Skills

Qualifications & Technical Skills

• Minimum Bachelor’s degree in Naval Architecture, Ocean Engineering, Structural Engineering or equivalent.
• Knowledge and experience in Finite Element Analysis and relevant design standards, motion response, calculations such as stability, structural and strength verification, and structural design and drawings for Classification Society approvals.
• Demonstrated knowledge of Class Societies, Ship Classification Rules, and IMO Rules.
• Skills in AutoCAD and FEA software such as Ansys etc, are required.

Professional Skills

• Preferably having more than 5 years of related experience with cargo planning, structural analysis, and project management.
• Preferably having more than 5 years of related experience as Cargo Superintendent (CSI).
• Proven ability to interpret technical drawings, produce solutions and operate with an eye for detail.
• Self-starter and a committed team player with good interpersonal skills and an analytical mind.
• Well-developed communication and team skills with a dedicated approach to meeting customer requirements.
• Ability to multi-task in a fast-paced working environment.

By submitting your CV, you are deemed to have agreed and consent to the collection, use and/or disclosure of your personal data to the Company for the purposes of recruitment and employment only in accordance with the Company's Recruitment Data Privacy Policy on our website.

Swire Shipping is committed to ensuring equal equitable access and participation for persons who experience disability. SSL is committed to treating persons with disability in a way that allows them to maintain their dignity and independence. Reasonable adjustments can be made upon request based on understanding of those accommodations.

Across Swire Shipping, we seek to create a supportive and inclusive environment that embraces individuality and recognise the benefits that these differences make. We do this by ensuring that all individuals are treated with respect and understanding and actively promote Equal Employment Opportunity (EEO) and do not tolerate discrimination, harassment, bullying, retaliation or intimidation of any kind. We are committed to driving the strategy, policies and accountability to build and sustain a diverse global workforce, through equitable processes and systems where everyone can contribute their very best.

Field Application Engineer(Contract role)

The Field Applications Engineer will be responsible for providing technical support to customers, resolving technical issues, developing solutions to meet customer needs, and identifying and developing new business opportunities. As a field application Engineer, you will be responsible for a range of tasks related to the implementation, installation, and maintenance of hardware and software systems

Job scope:

• On-site Implementation: Conduct site surveys, mark and label areas, and install necessary shelves for equipment placement.
• Equipment Installation: Unpack and install equipment, perform equipment debugging, and conduct product testing.
• Deployment and Integration: Deploy software components, conduct system integration, and liaise with customers to ensure alignment with project requirements.
• Project Delivery: Participate in project management and risk assessment, report and troubleshoot issues, and facilitate the final delivery and acceptance of projects.
• Post-sale Maintenance: Perform preliminary troubleshooting and feedback for hardware and software issues, diagnose and resolve problems.
• Maintenance Services: Replace spare parts, conduct inspections and maintenance, track and report issues, and provide service feedback.
• Any Other Ad hoc projects

Qualification & qualities:

• Bachelor or higher degree in computer software, electronic communication, automation, or other related fields.
• Experiences in software, testing, automation or robotics would be a plus
• Highly motivated self-starter, able to work independently under pressure
• Candidates who can start immediately or with short notice is a plus

Salary Ranges from $5500-$7000

Interested applicants please send your resume in MS Words format to [email protected] and attn it to Alvis Ho (R1325239)

Short listed candidates will be notified

www.ambition.com.sg

EA Registration Number: R1325239

Data provided is for recruitment purposes only

Business Registration Number: 200611680D. Licence Number: 10C5117

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

The first set of tasks will involve the following specific assignments:

• Expressing decision logic using DMN/FEEL
• Evaluating the rule engine API
• Encoding existing materials in L4 for open source distribution
• Building interactive UIs using HTML, CSS, JavaScript and Python

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

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

Minimum qualifications:

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

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

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

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

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

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

Preferred qualifications:

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

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

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

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

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

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

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

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

#LI-JN2

COMPANY DESCRIPTION

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

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

RESPONSIBILITIES

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

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

We are on the lookout for a Junior to Mid-level Data Scientist - Machine Learning Engineer who will play a key role in enhancing our Machine Learning capabilities, focusing on innovative solutions for insight generation and analytics. As a burgeoning hedge fund startup with a clear vision and commitment to the Asian market. This role is not just about technical expertise but also about aligning with our forward-thinking vision and being at the forefront of shaping our AI strategy.

Data Analysis & Modeling:

○ Develop, implement, and maintain predictive models using traditional machine learning and deep learning techniques.

○ Conduct thorough data analysis to extract actionable insights and perform time series analysis.

ETL & Data Management:

○ Design and develop efficient ETL pipelines to process and manage large volumes of financial data.

○ Ensure data integrity and accuracy across various data sources.

Cloud Computing:

○ Utilize Cloud services to deploy and manage machine learning models in a scalable and reliable manner.

○ Optimize Cloud resources for performance and cost-effectiveness.

End-to-End Solution Development:

○ Engage in the complete lifecycle of model development, from data collection and preprocessing to model deployment and monitoring.

○ Collaborate with cross-functional teams to integrate machine learning solutions into existing systems.

Innovation & Creativity:

○ Explore and implement innovative techniques to solve complex financial problems.

○ Stay current with the latest advancements in machine learning and data science to continually improve and innovate.

Result-Oriented Approach:

○ Focus on delivering high-impact results.

○ Communicate findings and recommendations effectively to stakeholders.

Qualifications:

● Bachelor’s or Master’s degree in Computer Science, Data Science, Statistics, Mathematics, or a related field.

● 3-5 years of hands-on experience in data science and machine learning.

● Proficiency in Python and relevant libraries (e.g., scikit-learn, TensorFlow, PyTorch).

● Experience with AWS/GCP/Azure services (e.g., S3, EC2, Lambda, SageMaker, Vertex AI, BigQuery).

● Strong understanding of ETL processes and tools.

● Demonstrated expertise in traditional machine learning algorithms and deep learning techniques.

● Solid experience with time series processing and analysis.

● Excellent problem-solving skills and a creative mindset.

● Strong communication and collaboration skills.

Job Responsibilities:

- Seek new sales opportunities by prospecting potential clients.

- Respond to customer Request-For-Quotation (RFQ) and Request-For-Proposal (RFP).

- Handle technical and other inquiries from customers, suppliers, and agents.

- Attend sales, supplier visits, and technical and commercial meetings.

- Prepare sales forecasts and plans.

- Primarily focus on the Oil & Gas, Marine, Petrochemical, Pharmaceutical, and Water Treatment industries.

- Play a key role in growing sales by engaging with assigned customers and staying updated on new product developments.

- Continuously improve relationships with existing accounts by understanding their requirements and expectations.

- Perform other duties as assigned.

Requirements

- Must possess at least a Professional Certificate/NiTEC, Diploma, or equivalent.

- Have a minimum of 2 years of sales experience.

- Good understanding of valves, fittings, and related products and their applications is an advantage.

- Service-oriented with strong communication, interpersonal, and presentation skills.

- Good team player, self-driven, and able to work under pressure.

- Proficient in Microsoft Office.

- Experience with ERP systems like Salesforce.

- Must own a vehicle.

- Mandarin speaking is a plus

Please be informed that if you are interested in applying for a position, please email your resume in either Word or PDF format to [email protected]. In your resume, kindly include the following details:

• Current Salary:
• Expected Salary:
• Availability:
• Reason for leaving your current job:

Thank you for your application. Please note that only shortlisted candidates will be contacted for further consideration.

By submitting your application or resume, you hereby acknowledge and consent to the collection, use, retention, and disclosure of your personal information by us to potential employers through our services.

EA (23S1595/R23116355)

• Be part of a renowned company providing scientific & medical instruments.
• Attractive Benefits

Job Description

• Provide after-sales service support, installation, commissioning and repair of laboratory/ research/ analytical equipment
• Provide technical consultation to customers
• To respond to customers’ requests by troubleshooting problems and take corrective actions within targeted timeline
• To prepare service reports

REQUIREMENTS

• ITE/Higher NITEC/Diploma/Degree in Electronics, Electrical, Mechanical Engineering or equivalent
• Able to work independently and a team player
• Excellent communication and interpersonal skills
• Self-motivated, results-oriented individual with good business acumen
• Minimum 2 years of related work experience in service / maintenance
• Experience in Diagnostic Imaging and IT will be an advantage
• Valid Class 3 driving license and personal vehicle will be an added advantage

BENEFITS

• Attractive remuneration package
• Career development opportunities
• Five-day work week
• Medical benefits

**Responsibilities:**

• Based in Singapore, report to the Regional Sales Manager, collaborating closely on all activities and sales performance.
• Represent the brand and build strong customer relationships through in-person visits, phone, and video calls.
• Present and promote products and services effectively to customers.
• Develop and manage relationships with both existing and new customers in Singapore, excelling in sales pitches and canvassing.
• Handle direct customers, maintaining and expanding the customer profile in Singapore through strategic planning.
• Track and report sales performance and metrics on a weekly, quarterly, and yearly basis.
• Assist with challenging customer requests or issue escalations as needed.
• Prepare sales quotations for all customers.
• Preferred knowledge in linear motion technology.
• Perform any other sales duties as assigned.
• Occasional overseas travel required.

**Qualifications:**

• Preferably holds an engineering or business diploma/degree with 3 to 5 years of experience in industrial sales in Singapore, with a strong mechanical background.
• In-depth knowledge of the linear motion industry and the local competitive landscape.
• Extensive experience in selling to customers in Singapore, with a proven track record of meeting sales targets.
• Effective oral presenter, proficient in PowerPoint presentations.
• Self-motivated with a strong sense of initiative, meticulous, and results-oriented.
• Strong communicator, independent, driven, and a team player.
• Intellectual curiosity and excellent customer relationship skills
• Proficient in English, with a second language preferred.

Please be informed that if you are interested in applying for a position, please email your resume in either Word or PDF format to [email protected]. In your resume, kindly include the following details:

• Current Salary:
• Expected Salary:
• Availability:
• Reason for leaving your current job:

Thank you for your application. Please note that only shortlisted candidates will be contacted for further consideration.

By submitting your application or resume, you hereby acknowledge and consent to the collection, use, retention, and disclosure of your personal information by us to potential employers through our services.

EA (23S1595/R23116355)

Role:Data centre Operation

Job Description & Requirements

Responsibilities

Rack, Build, cable, configure, and provision Intel and AMD Servers

Rack, cable, and deploy Cisco Layer 2 networking equipment

Troubleshoot, test, quality assurance of Server hardware

Professionally resolve hardware issues via trouble ticket

Desired Experience:

1 to 3 Years of experience

Experience in PC Hardware and Server Hardware (on Job training provided)

Operating System Installation - Windows Server, Linux, Unix

PC Assembly and HW troubleshooting

Understanding of basic hardware troubleshooting and applying logical methods of resolution

Basic Networking Knowledge

Rack, cable, and deploy Cisco Layer 2 networking equipment a plus

Experience with RAID levels is a plus

Role:Desktop Support Engineer

Job description

• Install,upgrade, support and troubleshoot Windows 7 ,Windows 8.1, Windows 10 and Microsoft Office
• Dealing with hardware and application support queries and issues reported to the support desk and escalated to the Desktop Support Engineers
• Provide user data and application recovery
• Use diagnostic tools to troubleshoot problems associated with network connectivity, and workstation hardware/software
• Use tools and methodologies to load, copy and customize operating system configurations for deployment
• Responsible for tracking hardware and software inventory
• Familiarize end users on basic software, hardware and peripheral device operation
• Take ownership and responsibility of queries, issues and problems assigned to the Desktop Support Engineers
• Works with vendor support contacts to resolve technical issues within the desktop environment
• Escalate issues and involve experts wherever required in order to resolve issues as quickly as possible and any other authorised desktop applications & Microsoft or related security patches/Policies
• Install,upgrade, support and troubleshoot for printers, computer hardware and any other authorised peripheral equipment
• Performs general preventative maintenance tasks on computers, laptops, printers and any other authorised peripheral equipment
• Performs remedial repairs on computers, laptops, printers and any other authorised peripheral equipment
• Customize desktop hardware to meet user specifications and site standards
• Provide VIP support
• Resolve and update incidents with in SLA and also update stakeholders for P1 cases
• Update KB with solution provided

Roles & Responsibilities

Job Description

· Deliver network projects. Engineer is required to implement network infrastructure including LAN/WAN, Firewalls, PC setup, wireless solutions and others.

· Responsible for network design, development, implementation, testing, troubleshooting, meeting and preparing completion document.

· Gather the technical requirement, develop high- & low-level design, implementation and user acceptance plan and so on to customer.

· Primary handle PC setup. Other products include FortiGate, Juniper, Ruckus, Palo Alto etc, it would be variable depends on the requirement from customer

· Work with vendors and suppliers/principals to deliver the projects.

· Project Management role such as prepare work breakdown structure (WBS), issue management list, meeting minutes etc.

· Support maintenance team to perform corrective maintenance when required.

Requirements

• Bachelor's degree or Diploma in Computer Science, Information Technology, or a related field
• Proven track record of at least 2 years in a similar post-sales engineering role.
• Strong understanding of network infrastructure and telecommunications technologies
• Excellent problem-solving and analytical skills
• Exceptional communication and interpersonal skills
• Ability to prioritize and manage multiple tasks efficiently

We are looking for a dynamic and eager Systems & Network Engineer to join us. As part of the team behind our global CDN infrastructure, you will gain valuable experience across networks at a massive scale. If you excel at problem-solving, thrive in a fast-paced environment, and are keen to expand your technical skills, we would love to hear from you.

Roles & Responsibilities

Network and Infrastructure Management:

• Deeply involve in design and planning our global network infrastructure
• Provision and manage systems and servers across our worldwide infrastructure
• Manage the inventory of servers and network devices
• Create and maintain documentation related to network configurations, policies, procedures, and service records
• Relocate servers and switches within data centres as needed

IT Operations and Support:

• Provide network operation support, including problem determination and troubleshooting network incidents
• Coordinate with partners and vendors to handle incidents and optimize performance
• Participate in standby rotation when needed
• Ensure IT operations run smoothly for Singapore office

Desirable Skills / Qualities:

• Strong analytical and problem-solving skills
• Meticulous record-keeping and documentation abilities
• Excellent interpersonal and communication skills
• Willingness to learn new technical skills, adapt to change, and thrive in a fast-paced environment
• Self-motivated and capable of working independently, while also being a strong team player with a collaborative mindset

Requirements:

• Diploma or bachelor’s degree in Computer Engineering or related disciplines
• Minimum of 3 years’ working experience
• Fresh graduates with a strong foundation and eagerness to learn are welcome to apply
• Candidates with network-related certifications such as CCNA/CCNP will have an advantage
• Proficiency in data centre network:

1. Data centre architecture and operations
2. Network technologies and monitoring protocols such as (TCP/IP, BGP, EVPN, VXLAN and MPLS)
3. In-depth knowledge and experience at server hardware layer

• Hands-on experience in systems administration:

1. Linux system administration and hypervisor architecture
2. Automation tools such as Ansible and Puppet
3. LDAP and Microsoft 365 administration

• Strong foundational knowledge in cyber security is a plus
• Fluent in English and Mandarin, ensuring clear and effective communication both verbally and in writing

Main Responsibilities:

• Assist in designing control systems and programming code to meet budget and timeline expectations set by the Project Manager.
• Modify control designs and other documents in accordance with Mikron Processes & Standards and comply with industry standards as per customer User Requirement Specifications (URS).
• Develop specific programs tailored to customer and project requirements based on Mikron Coding Standards.
• Participate in control and validation activities, including testing, debugging, internal buy-off, Factory Acceptance Testing (FAT), and Site Acceptance Testing (SAT).
• Collaborate with Customers, Project Managers, Assistant Project Managers, Process Managers, Design Engineers, and other team members as necessary.
• Communicate with customers as required by project needs.
• Coordinate with suppliers as needed.
• Update Project Control Tools (PCT) and task completion records accordingly.

Requirements:

• Education: Bachelor’s degree or diploma in Engineering, or equivalent combination of education and experience; or at least 5 years of related experience and/or training.
• Minimum of 3 years of relevant work experience.
• Willingness to travel as required.
• Availability for overtime, off-shift hours, and holidays as needed.
• Ability to make informed decisions, work both independently and within a team structure.
• Comfortable functioning in a fast-paced work environment.
• Highly organized and respectful of project deadlines.
• Clear and effective communication skills with customers, peers, and management at all levels.
• Proficiency in programming with Allen Bradley and Siemens S7 systems.
• Flexible, confidential, and organized approach to handling diverse responsibilities.
• Positive attitude with a focus on achieving targets and results.

Please be informed that if you are interested in applying for a position, please email your resume in either Word or PDF format to [email protected]. In your resume, kindly include the following details:

1. Current Salary:
2. Expected Salary:
3. Availability:
4. Reason for leaving your current job:

Thank you for your application. Please note that only shortlisted candidates will be contacted for further consideration.

By submitting your application or resume, you hereby acknowledge and consent to the collection, use, retention, and disclosure of your personal information by us to potential employers through our services.

EA (23S1595/R23116355)